







Mathematicians and computer scientists made big progress in number theory, graph theory, machine learning and quantum computing, even as they reexamined our fundamental understanding of mathematics…
When did Computer Science Theory Get so Hard?
I posted on When did Math get so hard? a commenter pointed out that one can also ask When did Computer Science Theory Get so Hard? For t...
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.

Terence Tao – Kepler, Newton, and the true nature of mathematical discovery
“And what those stories teach us about how AI will revolutionize math”

‘Breathtaking,’ ‘Devastating’: Mathematics Reels After New OpenAI Release
Hundreds of new A.I.-generated findings moved the frontiers of higher math in a single day — dispelling any doubt that the field is forever changed.

Tony Feng on Twitter / X
I am a mathematician but I avoided commenting on this because the problems are (far) outside my domain. Even if I sat down to read the technical details (which I have not), it would be hard to appreciate the context of prior work, etc. But I've gotten enough sense of things… https://t.co/VZzosBYFto— Tony Feng (@tonylfeng) August 5, 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.”


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.

We’re gonna need a lot more mathematicians
[This is a guest post by Amit Sahai. This blog post was initially written in a different file format and converted using AI. — T.] When I was an undergraduate student, I remember talking with…
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.

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.

When A.I. Comes for Your Purpose in Life
In the span of just a few months, A.I. systems have solved some of the biggest outstanding problems in math — adding mathematicians to the list of those terrified of losing their job to the technology.

Humanities in the Machine - Blain Smith
There is something quietly remarkable about the people who built the foundations of modern computing. Not their technical achievements, though those are extraordinary. What is remarkable is where they came from before they ever touched a machine.
zach lieberman on Twitter / X
Today I was able to weave a line from Myron Krueger in a talk I gave : Computation is the medium of our lifetimes - it’s not just a technical medium but a cultural medium as well. We should explore the culture of computation.— zach lieberman (@zachlieberman) April 10, 2024
Applied Pure Mathematics
Some thoughts about mathematics as a cultural and social technology.

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.
