The Brave New World of Mathematics

Bartosz Naskręcki on Twitter / X

Congrats to @LechMazur for the solution and to Terence Tao for the digestion and storytelling. You see the trend. Mathematicians are still needed if we want to make any sense of the formal proofs. For now... Maybe the next gen LLMs will simply read allthe blogs of Terry and… https://t.co/yXiISCrNAF— Bartosz Naskręcki (@nasqret) August 13, 2026

What sort of maths are LLMs good at?

For the sake of anyone who might read this blog post in the distant future (a month from now, say), let me mention that I am writing it a few days after OpenAI announced that it had solved ten majo…

Ten advances in mathematics and theoretical computer science

OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.

Thoughts about the Leiden Declaration

Last September I went to a workshop at the Lorentz Centre in Leiden to discuss mathematics and AI with historians, philosophers, computer scientists, AI researchers, and mathematicians of several d…

The Technological Turn in Mathematics

Quickly evolving technologies, such as Interactive Theorem Provers (ITPs), Automated Theorem Provers (ATPs), and Large Language Models (LLMs), all falling under the general heading 'AI for...

What it Means to Be a Mathematician When AI Does the Math

Researchers debate motivation, purpose, and the field’s future

Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools

Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools. By Jarod Alper

Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazine

Mathematicians have started to prepare for a profound shift in what it means to do mathematics.

The AI Revolution in Math Has Arrived | Quanta Magazine

AI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning.

Knowledge Collapse

AI companies are racing to mechanize mathematics. Where does that leave human understanding?