Melissa Heikkilä / Financial Times:
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
Posted from: this blog via Microsoft Power Automate.