archived 18 Mar 2026 15:24:41 UTC
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
Przemek Chojecki | PC on Twitter / X
The Growing Map of Open Mathematical Problems.We mapped 15,000+ conjectures from UnsolvedMath to show potential links between concepts.It also shows how under formalized the frontier is (less than 10%). pic.twitter.com/nm0PCpXVPf— Przemek Chojecki | PC (@prz_chojecki) August 28, 2026
Iconic Math
As an introduction to a forthcoming book (late 2025), this page links to three narrated videos about unary boundary logic:
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.
Bartosz Naskręcki on Twitter / X
Congrats to @LechMazur for the solution and to Terence Tao for the digestion and storytelling. You see the trend. Mathematicians are still needed if we want to make any sense of the formal proofs. For now... Maybe the next gen LLMs will simply read allthe blogs of Terry and… https://t.co/yXiISCrNAF— Bartosz Naskręcki (@nasqret) August 13, 2026
Kill Math
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.
Volume 384 Issue 2320 | Philosophical Transactions of the Royal Society A | The Royal Society
Influential themed journal issues across the physical mathematical and engineering sciences.
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.
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.
Using spaced repetition systems to see through a piece of mathematics
By Michael Nielsen, January 2019
Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools
Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools. By Jarod Alper
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
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.
