Beyond human mathematics: what kind of AI can even ask new questions?
teortaxesTex · x · 2026-09-19
Reacting to a chart of "Hilbert problems solved over time," the author argues he's more interested in what lies beyond all human mathematics than in whether humans + AIs can solve every posed problem in his lifetime: will we simply complete meaningful, knowable math—and what kind of AI could even ask new questions?
More from AGI Musings
- Torn Between How Awesome Our Machines Are and How Dangerous They'll Be — tszzl · 2026-09-19
- Google's ScientistTwo agent runs the full AI research discovery loop unsupervised — dair_ai · 2026-09-19
- Ranked: Universal WoW Income Beats Both Doom and 4% GDP Growth — a_musingcat · 2026-09-19
- AI agents through a Confucian lens: virtue by default, incentives for robustness — kvallier · 2026-09-19
- Jeff Ladish: Aligning superintelligence makes sense, controlling it doesn't — JeffLadish · 2026-09-19
- The flip side of AI slop: every human word will now be read by machines — yeastsplainer · 2026-09-19