Fleuret: beyond basic statistics, fancy math like Lean offers nothing for model guarantees
francoisfleuret · x · 2026-10-12
François Fleuret argues that when it comes to mathematical guarantees about models, you have basic statistics and concentration bounds — and that's it. In his view, the idea that Lean or fancy mathematics could help in any way "makes no sense," a direct pushback against formal-methods approaches to AI safety guarantees.
Related event: Fleuret: Formal Math Offers No Model Guarantees Beyond Basic Statistics(2 posts)→
More from AGI Musings
- Luddites Were the First to Attack AI: The Punch-Card Loom Was Computing's Ancestor — soumitrashukla9 · 2026-10-12
- Everyone Wants to Play the Meta Level: Why Self-Improvement Always Beats Doing the Thing — louisvarge · 2026-10-12
- Hinton's 2016 radiologist prediction flopped a decade later — same hype now targets mathematicians — jasondeanlee · 2026-10-12
- Defending the 30-day 8000-sqft wet lab: engineer pushes back on biotech gatekeeping — kenbwork · 2026-10-12
- Hamel Husain: no single role wins the AI era, breadth beats moats — HamelHusain · 2026-10-12
- As mathematicians protest AI, a 1950 Wiener classic on human obsolescence resurfaces — soumitrashukla9 · 2026-10-12