Hugging Face Co-founder Thom Wolf Argues AI Math Isn't Solved: Counterexamples Over Full Proofs
Thom_Wolf · x · 2026-09-09
Hugging Face co-founder Thom Wolf explains why he doesn't think math is (yet) "solved" by AI, in the wake of the NS result:
- He's hugely impressed — a clear case of AI being far more powerful than the human mind in some respects, and he hopes for a technical report.
- But the pattern repeats: the NS problem was "won" by option C proving the conjecture false — a counterexample, not a full proof.
- He sees this pattern across recent frontier AI results, and argues open-endedness remains fertile ground for AI research, even in math where machines seem to be racing ahead. Kenneth Stanley endorsed the explanation.
More from AGI Musings
- In favor of (some) anthropomorphization of AI systems, from a leading AI researcher — manoelribeiro · 2026-09-09
- Terry Tao Warns AI-Era Scooping Could Push Math and Science Into Silence — windx0303 · 2026-09-09
- Reviewer finds AI-written peer reviews rampant at ARR, calls for benchmarks of AI reviews — ChenhaoTan · 2026-09-09
- The Question Everyone Ignored in Social Media: Who Owns Your Data in the Personal Agent Wars? — MartinGTobias · 2026-09-09
- Ethan Mollick: with AI advancing fast, some hard research is better left for later — emollick · 2026-09-09
- Instead of pausing AI, build auditable alignment agents to watch other agents, argues founder — benfielding · 2026-09-09