Fleuret：除了基本统计与集中不等式，形式化数学给不了模型保证

日内瓦大学教授、前 Meta/FAIR 的 François Fleuret 认为，目前能为模型提供保证的只有基础统计学和集中不等式（concentration bounds），仅此而已。他直言，指望 Lean 或其他花哨的数学工具为模型行为提供有意义的保证毫无道理，这是对当前形式化验证 AI 安全路线的直接否定。