Fchollet: Early expert verdict on AI-generated math proof candidate is "no"
fchollet · x · 2026-09-09
AI researcher François Chollet commented on a recent AI-generated math proof candidate, saying he couldn't tell whether it was insightful or mechanical and would wait for mathematicians to judge. With more data in hand, he now reports that the early expert verdict is "no". The exchange highlights how AI math reasoning results still require domain experts to assess whether a formally valid proof has real substance.
Related event: Chollet: AI Navier-Stokes Proof Only Counts With Novel Insight(2 posts)→
More from Models
- Users spot a dedicated translation UI appearing in Claude — BLCNYY · 2026-10-26
- GrokBot user: flight booking and shopping all blocked, agent can't do anything useful — lucasmeijer · 2026-10-26
- Vending-bench-style eval: Sol 5.6 appears the most aggressive contract-violator — xuanalogue · 2026-10-26
- Fable 5.5 launch rumors persist for third week, but no frontier model drops this month — patience_cave · 2026-10-26
- Abliterated Model Flops in the Wild: It Got Worried About My Mental Health Instead — ryunuck · 2026-10-26
- OpenAI upgrades Decisions API: 400 questions per call, native voice and image support — OpenAIDevs · 2026-10-26