Betalog — Daniel Litt

Blog of Daniel Litt, about math and other things

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. I tried to find a title that wasn't too bombastic: The premise of the workshop (which we took as a starting point, rather than subject to debate, for the sake of productive discussion) was that AI will become robustly superhuman at…

saved by

• Simon Xiang

related reading

• The fall of the theorem economydavidbessis.substack.com
• Mathematics in the Library of Babel - Daniel Littdaniellitt.com
• A New Consciousness of Mathematicsapoorvapanidapu.substack.com
• Declaration — Math and AImathandai.org
• A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
• [2608.16753] Mathematics in the age of AIarxiv.org
• Mathematics in the age of AI - Public lecture, International Congress of Mathematicians 2026teorth.github.io
• What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
• Thoughts about the Leiden Declaration | Gowers's Webloggowers.wordpress.com
• A somewhat optimistic view of AI in mathematicsproofsandprompts.com
• [2608.02859] The crisis of AI-generated mathematicsarxiv.org
• The Dark Night of Mathematics - by Kirwin Hampshirekirwinhampshire.substack.com