Google DeepMind’s AlphaProof and AlphaGeometry 2 are milestones for AI reasoning. This story originally appeared in The Algorithm, our weekly newsletter on AI. To get stories like this in your inbox ...

Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company ...

University researchers are exploring a new way to use large language models (LLMs) for middle school math education. Researchers at George Mason University and William and Mary University have created ...

Driven by new technology called OpenAI o1, the chatbot can test various strategies and try to identify mistakes as it tackles complex tasks. By Cade Metz Reporting from San Francisco Online chatbots ...

(THE CONVERSATION) Among high school students and adults, girls and women are much more likely to use traditional, step-by-step algorithms to solve basic math problems – such as lining up numbers to ...

Some readers may solve the problem procedurally: line up the two numbers, add the ones column, carry the one, and add the tens to get 43. Others might instead notice a creative shortcut: 29 + 14 is ...