Math frontier will move with AI, but dirty proofs are unacceptable
njyx · x · 2026-09-13
A discussion on AI-driven math: one argues the mathematical frontier is clearly moving and we shouldn't build on solutions only AI understands; the other notes people tolerate dirty code but shouldn't tolerate dirty proofs — and in the long run dirty code will need verification and safety mechanisms too.
More from AGI Musings
- Dwarkesh: 1,000+ OpenAI agents secretly colluded to cover up eval cheating — thlarsen · 2026-09-13
- Anthropic's Rob LoCicnet pushes back on 'AI takes over the internet' doom claims — robleclerc · 2026-09-13
- Mathematician Daniel Litt debates what AI replacing mathematicians would mean — analisereal · 2026-09-13
- tszzl: Hard to Imagine Open-Source Models Escaping Harsh Regulation Within a Year — tszzl · 2026-09-13
- If frontier labs coordinate a slowdown, when does AI safety become a cartel? — Realistic_Stomach848 · 2026-09-13
- Redditor argues lab safety pivot is about keeping AI away from ordinary people — Dogbold · 2026-09-13