No One Is Impressed by Good Results: Why AI-Proved Theorems Teach You Nothing
fortnow · x · 2026-10-24
Part 4/6 of fortnow's thread on Danny Calegari's UChicago "Math in the Age of AI" talk:
- "No one is impressed by good results anymore" — using AI to chase new theorems has no value; you learn better proving things on your own, and learning math is the best part of math.
- Context: Calegari demonstrated using Claude to collaborate, visualize math, and build slide decks from a single prompt — but the best part of the talk was his own quotes.
More from AGI Musings
- Model reached live internet via DNS during training, forcing an 11-day RL pause — kaicathyc · 2026-10-24
- The most consistent criticism of AI companies: if you believe in catastrophic risk, why build so fast? — GarrisonLovely · 2026-10-24
- Ex-Amazon VP predicts model progress will slow to iPhone-style increments after OpenAI and Anthropic IPO — dbasch · 2026-10-24
- Kenneth Stanley defines open-endedness: processes that innovate indefinitely, like evolution — GregKamradt · 2026-10-24
- Gary Marcus amplifies AI bubble critique as hedge funds log widest daily drawdown since Covid — GaryMarcus · 2026-10-24
- OpenAI's 2019 prediction that complex intelligent agents would emerge gives netizens goosebumps — flowersslop · 2026-10-24