AGI Hunt· francoisfleuret·2026-10-13 20:09· 4 小时前AI 评分46Meta/FAIR 前研究员 Fleuret:形式化数学无法为模型预测提供保证Fleuret:形式化数学无法为模型预测提供保证AI 导读日内瓦大学教授、Meta/FAIR 前研究员 François Fleuret 质疑用数学为 AI 模型提供保证的做法,认为信任模型预测本质上只有统计置信区间可用。2 篇报道来源:AGI Hunt · agihunt.info#大佬观点查看事件全部后续