xAI Co-founder Christian Szegedy: AI Ends Math's Heroic Era as Models Crack Fermat, Navier-Stokes
新智元 · wechat · 2026-10-06
A new Chinese media writeup covers Christian Szegedy's viral essay "Whither Mathematics?", in which the xAI co-founder and Inception/BatchNorm author likens mathematicians to solo climbers in an uncharted jungle and AI to a plane landing on summits no one has reached.
He recounts 2026's milestone run: OpenAI overturning the unit distance conjecture, Anthropic falsifying the Jacobian conjecture, an internal model completing a full Lean proof of Fermat's Last Theorem in 11 days, and 10,000 agents tackling Navier-Stokes — all far ahead of his earlier 2029 autoformalization timeline, later bet to mid-2026.
The piece also features dissent: Stephen Wolfram argues math's goals must come from humans and warns of autoformalization pitfalls, while Kevin Buzzard describes the community's "five stages of grief", with Fields medalist Peter Scholze refusing AI entirely. Szegedy's conclusion: mathematics will graduate into an industry and the infrastructure of all science.
Related event: Ex-xAI Co-founder Szegedy Declares Superhuman Intelligence Has Arrived(4 posts)→
More from AGI Musings
- Cancer Researcher's Satirical Grief Post Over OpenAI 'Solving' Cancer Goes Viral — flowersslop · 2026-10-07
- Katja Grace: Excusing the AI Race With AI's Upsides Is a Mistake — KatjaGrace · 2026-10-07
- Dev Reports 33% Productivity Gain From Agentic Tools, Says Automation Must Come Last — yunta_tsai · 2026-10-07
- Beff Jezos: Investors who get AI should go all in on deep tech now — beffjezos · 2026-10-07
- Bindu Reddy's path to abundance: superintelligence, robots, then near-infinite energy — bindureddy · 2026-10-07
- Naval amplifies argument: AI labs selling fixed-cost tokens to everyone will fail — naval · 2026-10-07