







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
Terence Tao – Kepler, Newton, and the true nature of mathematical discovery
“And what those stories teach us about how AI will revolutionize math”

Mathematicians are grappling with the possibility that AI might eclipse them
I talked to 20 mathematicians about rapid AI progress in their field.

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): ...
The Edge of Mathematics
Terence Tao, the legendary mathematician, explains the promise of generative AI.
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.

Is there something it is like to be an AI?
Posted on Wednesday 2 Jul 2025. 1,593 words, 6 links. By Matt Webb.

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

We Asked the ‘Future of Truth’ Author to Explain How He Used AI. It Didn’t Go Well
A book about how AI shapes perceptions of reality came under fire for using AI-generated quotes. Its problems go beyond that.

Itai Sher on Twitter / X
I think there should be a norm that when a set of AI solutions to mathematical problems is released, the set of all problems attempted be released alongside.When trying to understand AI capabilities, it is problematic to selectively report only positive results. https://t.co/ywcWCnFojS— Itai Sher (@itaisher) August 1, 2026
Saw this metaphor by Terence Tao floating around about one of the drawbacks of using AI to solve hard math problems, and kind of have the same feeling for “vibe science” or “fully automated science” line of research in #AI4Science. theatlantic.com/technology/2026/02/ai-math-te… #ScAISci

AIが科学的発見→「自己改善で進化」に現実味 暴走リスクの加速も:朝日新聞
Leiden Declaration on Artificial Intelligence and Mathematics

AI Engineer Claims to Have Deciphered Linear A - GreekReporter.com
Here are 58 words of prompts to GPT-5.6 Pro that got the model to discover that the long-standing Dinitz-Garg-Goemans conjecture is false…

Check out this chat
the Dinitz-Garg-Goemans conjecture, a graph theory problem that’s gone unsolved for 30 years, was solved with this prompt