Top AI researchers argue that AI is now more useful for mathematics thanks to the latest “reasoning” models, as math becomes a key way to test AI progress
'The world's leading artificial intelligence companies are turning to advanced mathematical problems as a measure of progress, using unsolved questions to test their systems in the competitive race to build more capable AI models.'