Fchollet:AI 数学证明候选,数学家初步反响是「不行」
fchollet · x · 2026-09-09
知名 AI 研究者 François Chollet 谈及近期一个 AI 生成的数学证明候选：他本人无法判断其是「有洞见」还是「机械堆砌」，表示要等数学家来评。在获得更多数据后，他更新道，专家们的初步判断（vibe）目前倾向于否定。这条动态折射出 AI 数学推理成果评估的尴尬：即便证明形式上成立，其价值仍需领域专家事后裁定。
所属事件:Chollet：纳维-斯托克斯 AI 证明须有新洞见才算突破(2 条相关)→
「模型」频道最新
- 用户实测：GPT-6 Astra 视频理解「100% 准确」，逐帧指认所有物体 — imjustnewatai · 2026-09-09
- Agent 打 Minecraft 该不该暂停思考？延迟或污染评测结果 — imjustnewatai · 2026-09-09
- OpenAI 发布图像模型 2.5：多轮指令与参考图保留更强 — Simon Willison · 2026-09-09
- 过度 RL 让模型变得字面化？CoT「粗人语」损害推理连贯性 — mike64_t · 2026-09-09
- 实测 Astra 玩约 30 款冷门解谜游戏,ARC-AGI-3 得分或被低估 — burny_tech · 2026-09-09
- Muse Spark 1.3 登 CursorBench:67.9 分仅 $1.31,性价比碾压 — shuyanzh36 · 2026-09-09