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
OpenAI, Google DeepMind and Anthropic seek to use advanced maths to show how capable AI models really are