A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working ...

Systems like OpenAI’s GPT-5 are accelerating research in math, biology and chemistry. But there is a debate over whether it ...

AI now seems to be helping mathematicians produce novel and useful research with regularity. In a significant milestone for ...

GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...

A decades-old geometry puzzle has finally been solved by a young mathematician in South Korea. Hidden behind a simple hallway ...

A South Korean mathematician has solved a geometry puzzle that baffled experts in the field for nearly six decades.

According to Greg Brockman (@gdb), GPT-5 is accelerating scientific progress by assisting human mathematicians in solving previously unsolved mathematical problems. As outlined on the official OpenAI ...

One of the most controversial debates in mathematics could be settled with the aid of a computer, potentially ending a bitter argument about a complex proof that has raged for more than a decade. The ...

Researchers at OpenAI sparked a backlash on social media this past weekend after prematurely celebrating a major mathematical breakthrough for GPT-5. In a series of now-deleted posts on X, several ...

The New York State Education Department is pushing new math guidelines, including a recommendation that teachers stop giving timed quizzes — because it stresses students out. The new guidelines also ...