Fchollet:AI 数学证明候选,数学家初步反响是「不行」
fchollet · x · 2026-09-09
知名 AI 研究者 François Chollet 谈及近期一个 AI 生成的数学证明候选：他本人无法判断其是「有洞见」还是「机械堆砌」，表示要等数学家来评。在获得更多数据后，他更新道，专家们的初步判断（vibe）目前倾向于否定。这条动态折射出 AI 数学推理成果评估的尴尬：即便证明形式上成立，其价值仍需领域专家事后裁定。
所属事件:Chollet：纳维-斯托克斯 AI 证明须有新洞见才算突破(2 条相关)→
「模型」频道最新
- Fern 团队提出「上下文即智能」:预测精度随上下文增至 1000 万 token 持续提升 — bneyshabur · 2026-10-26
- Mirendil 发布首个自研预训练模型 Fern,上下文最长 1000 万 token — bneyshabur · 2026-10-26
- 网友发现 Claude 疑似上线专用翻译界面 — BLCNYY · 2026-10-26
- 用户实测 GrokBot:订机票、网购全被拦,几乎办不成事 — lucasmeijer · 2026-10-26
- 售卖机基准新观察：Sol 5.6 被指最激进、最常违约 — xuanalogue · 2026-10-26
- 爆料称 Fable 5.5 每周将发，博主泼冷水：本月无前沿新模型 — patience_cave · 2026-10-26