AI-generated math is exploding: counterexamples to open conjectures and the road to an Artificial Grothendieck
burny_tech · x · 2026-09-27
Burning through his article on the "explosion of AI generated mathematics," the author argues mathematics is being transformed by AI-generated results, especially many counterexamples to open conjectures, with two biggest highlights discussed.
He raises a deeper question: is mathematics largely convergent — would any sufficiently advanced intelligence (aliens, AI trained without human data) rediscover roughly the same structures like primes, reals, groups, matrices, computation, and category theory — or is human math a restricted path shaped by having hands, living in three dimensions, and needing to survive?
His position: partially convergent but not fully, so future AIs will likely discover many "alien structures," and he wants to map the vast diversity of mathematics both humans and machines can explore.
More from AGI Musings
- Study: AI access drops people's willingness to say "I don't know" from 44% to 3% — The Decoder · 2026-09-27
- Commenter Claims AI Leaders Use Fear to Push Protectionist Regulation — DavidLinthicum · 2026-09-27
- Blanche Minerva's five-step pipeline shows why "just next-token prediction" no longer fits LLMs — BlancheMinerva · 2026-09-27
- Shopify CEO Tobi Lütke on pruning, AI at Shopify, and whether CEOs will be replaced — yacineMTB · 2026-09-27
- User says Opus 5.5 is the first model to pass their personal Turing test — Charuru · 2026-09-27
- Top mathematician Boaz Barak: hand-crafted proofs are over, embrace AI-era math — mattturck · 2026-09-27