Mathematician rebuts "end of mathematics" hype: superhuman proofs ≠ proof abundance ≠ math without humans
Ognifedefingo · x · 2026-08-23
In the debate sparked by Daniel Litt's "The End of Mathematics," mathematician @Ognifedefingo lays out a stepwise rebuttal: the data only support "AI will be superhuman at certain types of proofs." Huge gaps separate that from "proof abundance," from proof abundance to "AI superhuman at all of math," and yet another immense leap to "mathematics without humans" — yet many famous names have been extrapolating very freely from the data for months.
In the same thread, Litt defends that his post said the opposite of "close up shop" and challenges anyone to name a person making that claim; Jacob's position, as Litt reads it, is merely that the parts of math academia Jacob personally enjoys will soon be done cheaply by models — very different from the field shutting down. The mathematician adds that while young mathematicians feeling disheartened is understandable, the community's contribution to society is not just new results, but existing as rigorous, curious, anti-rhetorical, slow-paced thinkers.
Related event: Mathematicians Debate Whether AI Signals the End of Their Field(3 posts)→
More from AGI Musings
- Post-singularity humans will be celebrities to quadrillions of future beings — EigenGender · 2026-08-24
- Hollywood to be history in 10 years; China masters human preference data — bingxu_ · 2026-08-24
- Sam Altman admits he was wrong on AI's timeline; economic inertia is stronger than expected — danielrock · 2026-08-24
- Society's weird evidence standards: LLM utility is obvious yet denied — NathanpmYoung · 2026-08-24
- Sam Altman on the AI dilemma: trade-offs between loss of control and power centralization — r0ck3t23 · 2026-08-24
- Guardian podcast revisits Hinton: from brain nerd to AI sorcerer — nordicinst · 2026-08-24