用 LLM 攻关 800+ 图论猜想：已产出 30 多个完整证明
marc_lelarge · x · 2026-09-20
INRIA 研究者 Emanuele Natale 团队用 LLM（Fable）系统攻击 800 多个图论公开猜想，并把全部结果开源在 GitHub 仓库 Graph-Theory-LLM-Proofs 上。
- 已有 30 多个猜想获得完整证明或显式反例
- 部分结果已由数学家人工核查，少数已在 Rocq（原 Coq）中形式化验证
- 仓库按「已审阅 / 待审阅」分类管理结果，明文邀请数学界通过 issue 或邮件参与审阅
- 相关猜想来自配套的 graph-conjectures 猜想目录，作者呼吁还有 Fable 额度的研究者继续参与攻击
这是 LLM 用于数学发现的一次规模化实证：不是单点演示，而是数百个开放问题的批量验证，并配有人工审查与形式化验证流程。
「编程与Agent」频道最新
- 把 Agent 花费分为 Capex 与 Opex:别让 AI 反复解决同一个问题 — njyx · 2026-09-20
- Gemini CLI 修复沙箱下文件夹信任不保存问题 — 21vedansh · 2026-09-20
- 开发者自制 Apple Silicon 推理引擎,注意力显存砍掉 128 倍 — Accomplished_Row1433 · 2026-09-20
- Reddit 热议:别把 Agent 做小了,该造的是「持久化 AI 组织」 — Druss_ · 2026-09-20
- 不用买产品：一位业余玩家自建 Agent 长期记忆系统的方法论 — GrungeWerX · 2026-09-20
- AI 工程师忠告:没有 evals,构建应用等于盲飞 — antoine_chaffin · 2026-09-20