The power to understand and predict the quantities of the world should not be restricted to those with a freakish knack for manipulating abstract symbols.
Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools
Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools. By Jarod Alper
Mathematicians still don’t know the fastest way to multiply numbers
A 23-year-old student overturned an ancient conjecture about one of math’s simplest operations
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
The End of Mathematics — Daniel Litt
I'm currently returning to Toronto from a summit on the future of mathematics, at OpenAI. Sebastian Bubeck asked me to talk a bit about the future we'd all like to avoid, where humans are mathematically disempowered. Jacob Tsimerman advised us to try to prioritize detail over correctness, and I have no doubt that I succeeded in deprioritizing correctness.
Terence Tao – Kepler, Newton, and the true nature of mathematical discovery
“And what those stories teach us about how AI will revolutionize math”
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
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 end of the age of heroes
AI will soon be better at math than any human. What does that mean?
Mathematicians warn of AI threats to profession as industry encroaches
International Mathematical Union endorses warning about tech industry influence.
Mathematics in the Library of Babel — Daniel Litt
Mathematics isn't only about saying true things. It's about asking the right questions, being confused, stumbling about, getting distracted, being wrong, recognizing when you're wrong, being stuck. Mostly being stuck. It's about clinging to a giant edifice and feeling it out until you understand som
Thoughtful and relevant outside math. A partial summary: Gowers thinks it’s important to sustain a human mathematical culture, but is unconvinced by the Leiden Declaration’s attempt to do that by reaffirming human ownership of specific *discoveries*.
tachikoma
an interesting blog post by Timothy Gowers on the Leiden declaration (on AI and Math), on why he didn't sign. it gets to a subtler aspect of control over AI and our future.
What should we make of recent language model advancements in mathematics? In my new post, I reflect on long-standing cognitive debates about symbols and neural networks in light of this progress. infinitefaculty.substack.com/p/symbols-neural-networks-and…
Symbols, neural networks, and mathematical intelligence
infinitefaculty.substack.com
