Daron Acemoglu on Twitter / X

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

“And what those stories teach us about how AI will revolutionize math”

Crowdsourcing a list of general resources on AI and mathematics

Given current events, I think it is worthwhile to start collecting useful online resources with regards to AI and mathematics in general. I will start a list below, but ask contributors to contribu…

Mathematicians are grappling with the possibility that AI might eclipse them

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

Ale×ey on Twitter / X

Funniest possible outcome of new ai math proofs publications would be that explosive progress cannot be delivered through individual genius and singular products but only through contextualized human understanding and embedding of knowledge.— Ale×ey (@EqualParallel) October 7, 2026

AI co-mathematician: Accelerating mathematicians with agentic AI

We introduce the AI co-mathematician, a workbench for mathematicians to interactively leverage AI agents to pursue open-ended research. The AI co-mathematician is optimized to provide holistic support for the exploratory and iterative reality of mathematical workflows, including ideation, literature search, computational exploration, theorem proving and theory building. By providing an asynchronous, stateful workspace that manages uncertainty, refines user intent, tracks failed hypotheses, and outputs native mathematical artifacts, the system mirrors human collaborative workflows. In early tests, the AI co-mathematician helped researchers solve open problems, identify new research directions, and uncover overlooked literature references. Besides demonstrating a highly interactive paradigm for AI-assisted mathematical discovery, the AI co-mathematician also achieves state of the art results on hard problem-solving benchmarks, including scoring 48% on FrontierMath Tier 4, a new high score among all AI systems evaluated.

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

Questioning AI Resource List

Excellent summary of major problems with companies’ focus on AI written by expert in machine learning: https://ludic.mataroa.blog/blog/i-will-fucking-piledrive-you-if-you-mention-ai-again/ Another good summary piece that includes many examples (in general Ed Zitron’s work is a great resource): ...

Talia Ringer 🕊🪬 on Twitter / X

Poured my heart and soul into advocating for formal proof with AI assistance in a mathematical setting because of the large collaborations I thought it could empower. (1/3)— Talia Ringer 🕊🪬 (@TaliaRinger) September 10, 2026

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.

The Edge of Mathematics

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

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

Simon on Twitter / X

Can AI help connect theorems humans write in papers to proofs computers can check?We just released TheoremGraph (https://t.co/PQ8FcFQGat), and I made a 3Blue1Brown style video overview of the idea.This project was my first real research experience, and it meant a lot. Start… pic.twitter.com/yMUA0QziXM— Simon (@waskaja) June 29, 2026

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 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.