Terence Tao – Kepler, Newton, and the true nature of mathematical discovery

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.

The Edge of Mathematics

Terence Tao, the legendary mathematician, explains the promise of generative AI.

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.

Terence Tao: AI companies are harming mathematics | New Scientist

AI firms are making new mathematical discoveries at a rapid pace, but not sticking around to help unpick the new proofs. That is not the way to advance our understanding, says mathematician Terence Tao

Daron Acemoglu on Twitter / X

I recommend Columbia mathematician Michael Harris’s wide-ranging, informative and thought-provoking essay in Boston Review on AI and mathematics:https://t.co/txwAd8ri4xHarris rightly worries about the possible negative effects of AI-generated proofs and mathematics on…— Daron Acemoglu (@DAcemogluMIT) June 16, 2026

Is AI the End of Math As We Know It? | Quanta Magazine

Mathematicians are facing the sudden shift with grief, anger, and a desperate search for fresh ideas: “If we don’t adapt, there’s just no more math in 50 years.”

I’ll write romance novels if AI solves all maths, Chinese Fields winner jokes

As AI models prove they can push the boundaries, mathematicians are grappling with the threat that they could become obsolete.

Mathematicians are grappling with the possibility that AI might eclipse them

I talked to 20 mathematicians about rapid AI progress in their field.

Mathematics in the age of AI

An essay, based on a public lecture delivered at the 2026 International Congress of Mathematicians, on how the mathematical community might respond to the arrival of artificial intelligence tools that are capable of performing research-level mathematical tasks. Rather than debating the capabilities of such tools, we condition on the hypothesis that these capabilities will arrive, and examine instead a question that is orthogonal to it: what the goals and values of mathematical research actually are. The problem-solving component of mathematics is used as a case study.

Can AI replace mathematicians? Vienna researchers weigh in

In September, OpenAI announced that some 10,000 AI agents partially 'solved' the Navier–Stokes problem, one of the most prestigious open challenges in mathematics. University of Vienna mathematicians Nathanaël Berestycki and Vera Fischer agree that the field will never be the same, but argue that maths is far more than producing proofs at speed.

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

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

Thomas Wolf on Twitter / X

Very thoughtful piece from Kevin Buzzard (perfect IMO score, number theorist, pioneer of formal maths in Lean)if math is not just about “human understanding,” then what is it about?and if ai capabilities keep growing exponentially what happens since “mathematics is infinite”? https://t.co/h7yYmZS01T pic.twitter.com/wFp2fec52Q— Thomas Wolf (@Thom_Wolf) October 2, 2026

Mathematical discovery in the age of artificial intelligence

In this comment, we consider how artificial intelligence tools are reshaping the way mathematical research is conducted and discuss how future developments of this technology will transform mathematical practice.

Terence Tao: AI companies are harming mathematics | New Scientist

archived 9 Sep 2026 16:47:49 UTC

The fall of the theorem economy

How AI could destroy mathematics and barely touch it