AI Claimed Solution to ETH Problem Faces Verification Doubts
Doubts have emerged over claims that AI solved the ETH problem, as mismatches between the textual proof and its Lean formalization suggest verification could take a long time. Commentators note this does not mean the solution is wrong, but the cleanup work may create new tasks for mathematicians.
2026-10-27 ~ 2026-10-27 · 2 related posts
- Episode 1: OpenAI Claims Three Major AI-Generated Scientific Discoveries, Including a Refutation of ETH(2026-10-27, 69 posts)
- Episode 2: Brockman on AI math hype: P probably still doesn't equal NP(2026-10-27, 6 posts)
- Episode 3: Claims That ETH Has Been Refuted Stir Theoretical CS Community(2026-10-27, 4 posts)
- Episode 4: AI Claimed Solution to ETH Problem Faces Verification Doubts(2026-10-27, 2 posts)
- Lean–text proof mismatch means AI math claims need long human verification — srchvrs · 2026-10-27
- Lean-vs-text proof mismatches don't mean wrong answers — AI is creating new work for mathematicians — srchvrs · 2026-10-27