Mathematician Kontorovich admits he was wrong about AI autonomously formalizing math
AlexKontorovich · x · 2026-10-03
Rutgers mathematician Alex Kontorovich says he once thought claims that future AI systems could autonomously formalize mathematics were nuts — and now concedes he was wrong. He still argues, however, that hand-formalization remains useful (and addictively fun) for mathematicians to learn.
More from AGI Musings
- Robin Hanson and David Krueger debate: Will AI Destroy Humanity? — DavidSKrueger · 2026-10-03
- Cryptographer Matthew Green calls for a serious debate on AI consciousness — matthew_d_green · 2026-10-03
- Inside a Day With AI Tutor Rocky: Socratic Dialogue, Whiteboards and Spaced Repetition — RachelVT42 · 2026-10-03
- If a vector can make an LLM suffer, could another make it feel good? — rickasaurus · 2026-10-03
- One .NET job posting draws 500+ applications, almost all AI-generated spam — unixterminal · 2026-10-03
- 'AI Doomsday': Why Big Tech Wants You Scared, per Android Headlines — Nexusyak · 2026-10-03