Konstantin Kakaes at Quanta:
Mathematicians who had dismissed AI models as too error-prone to be useful started playing around with them. Those early adopters found, to their surprise, not only that the models were good at puzzles, but that they could help break genuinely new ground. Soon, mathematicians were using AI to discover and prove new results, accomplishing in a day what would have once taken them weeks or months. “2025 was the year when AI really started being useful for many different tasks,” said Terence Tao(opens a new tab), a prominent mathematician at the University of California, Los Angeles.
While no single new result is a world-beating breakthrough, some of them are on par with discoveries published in professional mathematical journals. In some cases, algorithms formulate a conjecture, prove it, and verify the proof with minimal human intervention. In others, extensive chats with large language models such as ChatGPT, Claude, or Gemini lead to novel proof strategies.
More here.
Enjoying the content on 3QD? Help keep us going by donating now.