François Fleuret：AI 数学证明将从粗糙走向优雅
francoisfleuret · x · 2026-10-09
前 Meta 研究科学家 François Fleuret 回应「LLM 证明太差、不适合做训练数据」的质疑。他认为，与其直接训练模型产出优秀证明，不如先从「糟糕但有效」的证明出发训练模型做出优雅证明——这条路径要简单得多。他断言 AI 的数学能力即将变得出色（"Brace for AI's math to be splendid"）。
「模型」频道最新
- 理论计算机科学家 Fortnow：Claude 写数学论文比 OpenAI 更胜一筹 — fortnow · 2026-10-09
- 开发者盛赞 Claude Opus 5.5 与 6.1 Sol 组合编程体验 — himanshustwts · 2026-10-09
- ChatGPT 不再让用户自选模型,背后到底跑的是哪一个? — py-net · 2026-10-09
- minchoi 实测 Grok Bot:扔难题给它，不会的还能学 — minchoi · 2026-10-09
- Anthropic 开源扫描器用 Claude 找出 2.9 万个漏洞,人工仅能复核 6000 个 — npinto · 2026-10-09
- Claude Opus 5.5 讨厌测试集里有坏样本，每轮都会吐槽 — rickasaurus · 2026-10-09