François Fleuret: AI math proofs will go from crude to splendid
francoisfleuret · x · 2026-10-09
Former Meta research scientist François Fleuret pushes back on the claim that LLM proofs are too poor to serve as training data. Training a model to produce elegant proofs starting from models that produce atrocious-but-valid proofs will be "infinitely simpler," he argues — and urges people to brace for AI's math to become splendid.
More from Models
- Users complain model got 'nerfed' again after 5.6 Sol, video tops 12,000 views — PressPlayPlease7 · 2026-10-09
- Leaked: X to bundle Grok and Cursor into XPass subscriptions from $8 to $200/month — alexcovo_eth · 2026-10-09
- Theorist Lance Fortnow: Claude Writes Math Better, Rewrites Unique Games Paper — fortnow · 2026-10-09
- Developer Hails Claude Opus 5.5 Plus 6.1 Sol as a Dream Coding Combo — himanshustwts · 2026-10-09
- ChatGPT removes model picker — which model is actually behind it now? — py-net · 2026-10-09
- minchoi Puts Grok Bot Through Its Paces: Handles Most Tasks, Learns From Misses — minchoi · 2026-10-09