GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...
Mathematicians sometimes think of their research as a garden and unsolved problems as seeds waiting to sprout. Some problems are analogous to tulip bulbs. As mathematicians work to solve them, they ...
That’s how Meta’s chief AI scientist Yann LeCun described the blowback after OpenAI researchers did a victory lap over GPT-5’s supposed math breakthroughs. Google DeepMind CEO Demis Hassabis added, ...
OpenAI's GPT-5.2 Pro has solved multiple decades-old Erdős math problems, but Fields Medalist Terence Tao says the wins ...
Professional mathematicians have been stunned by the progress amateurs have made in solving long-standing problems with the ...
A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working ...
Since the release of GPT 5.2, AI tools have become inescapable in high-level mathematics.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results