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
- NVIDIA Ships Qwen 3.8 27B NVFP4 Quantized Model on Hugging Face — TheZachMueller · 2026-09-09
- Hands-on: ChatGPT Images 2.5 shows precise local editing of infographics — xiaohu · 2026-09-09
- Early user: GPT-6 Astra's video understanding identifies everything 'with 100% accuracy' — imjustnewatai · 2026-09-09
- Should AI agents pause to think in game benchmarks? Latency vs. decision-making — imjustnewatai · 2026-09-09
- OpenAI Launches GPT-Image 2.5 With Better Multi-Turn Editing and Reference Preservation — Simon Willison · 2026-09-09
- Is over-RL making models over-literal? A case on 'caveman speak' in CoT — mike64_t · 2026-09-09