Math, Inc.
Current AI models already solve mathematical problems over short-horizons. These skills would have astonished the experts of a few years ago. This next year will birth agents that can collaborate and work continually over far longer time horizons. In 18 months we will see the first wave of breakthroughs in a rising sea of mathematics.
Solve math, solve everything. — Math, Inc. Math, Inc. Back Home A new dawn. Those who are paying close attention can sense the dawning of a new Golden Age in mathematics. Current AI models already solve mathematical problems over short-horizons. These skills would have astonished the experts of a few years ago. This next year will birth agents that can collaborate and work continually over far longer time horizons. In 18 months we will see the first wave of breakthroughs in a rising sea of mathematics. Over the past decade, online crowdsourced 'polymath' projects pushed the boundary of large-s
Explore this link on the map →saved by
related reading
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- Mathematicians in the Age of AI1footnote 11footnote 1I am grateful to Johan Commelin, Sidharth Hariharan, Bryna Kra, Emily Riehl, and Akshay Venkatesh for comments, corrections, and suggestions.arxiv.org
- AI 2027ai-2027.com
- [2603.26524] Mathematical methods and human thought in the age of AIarxiv.org
- Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazinequantamagazine.org
- Artificial Intelligence and the Structure of Mathematicsarxiv.org
- Knowledge Collapse - Boston Reviewbostonreview.net
- Mathematical methods and human thought in the age of AIarxiv.org
- When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io
- Notes from the front - by Michael Harris - Silicon Reckonersiliconreckoner.substack.com
- 6th MATH-AI Workshop at NeurIPS'26 - Math-AImathai-2026.github.io
- Xena | Mathematicians learning Lean by doing.xenaproject.wordpress.com