Recursive self-improvement, which is underway will crush anything that is verifiable. The only place people have for now is non-verifiable work which is harder to find in maths than other domains.