OpenAI's GPT-5.4 Pro has solved an open math problem unsolved since 2019, with Epoch AI independently verifying the first AI ...

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 ...

A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working on with my student N. Alpay. Not an Erdős problem, but original research.

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 ...

(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 ...