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.

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

Mathematicians are grappling with the possibility that AI might eclipse them

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

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

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

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.

The fall of the theorem economy

How AI could destroy mathematics and barely touch it

The fall of the theorem economy

How AI could destroy mathematics and barely touch it

AI That Evolves in the Wild | Edge.org

I’m interested not in domesticated AI—the stuff that people are trying to sell. I'm interested in wild AI—AI that evolves in the wild. I’m a naturalist, so that’s the interesting thing to me. Thirty-four years ago there was a meeting just like this in which Stanislaw Ulam said to everybody in the room—they’re all mathematicians—"What makes you so sure that mathematical logic corresponds to the way we think?" It’s a higher-level symptom. It’s not how the brain works. All those guys knew fully well that the brain was not fundamentally logical.

The Periodic Table of Cognition

I’ve been studying the early history of electricity’s discovery as a map for our current discovery of artificial intelligence. The smartest people alive back then, including Isaac Newton, who may have been the smartest person who ever lived, had confident … Continue reading →

The Crooked Timber of AI

The philosophical perils of conflating discoveries and inventions, and how to overcome them

The end of the age of heroes

AI will soon be better at math than any human. What does that mean?

Artificial intelligence in mathematics education: The good, the bad, and the ugly

Integrating Artificial Intelligence [AI] into mathematics education offers promising advancements and potential pitfalls. Striking a balance between AI-driven developments and preserving core pedagogical principles is critical in the teaching and learning environment. AI has emerged as a transformative force in various fields, including education. In the realm of mathematics education, AI technologies offer a spectrum of potential benefits (including personalize instruction, adaptive assessment, interactive learning environments, and real-time feedback, among others) and challenges (such as lack of creativity and problem-solving skills, inability to explain reasoning, bias in data and algorithms, absence of emotional intelligence and data privacy and security concern etc). This conceptual study used autoethnography as the methodology and qualitative content approach to analyze data. The study discussed historical background of AI and considered ethical issues around AI. It was concluded that the journey to harness the full potential of AI in mathematics education requires careful navigation of the good, the bad, and the ugly aspects inherent in this technological evolution.

Mathematical methods and human thought in the age of AI

Artificial intelligence (AI) is the name popularly given to a broad spectrum of computer tools designed to perform increasingly complex cognitive tasks, including many that used to solely be the...