用 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」频道最新
- Plurai 发布 Agent Simulation:给 AI 智能体造「数字孪生」测试环境 — HeyNayeem · 2026-11-12
- 美联航将禁止个人AI代理代客预订机票 — Polymarket · 2026-11-12
- Agentic Search 图解：4 次搜索的循环成本约为单次搜索的 5 倍 — adnan_hashmi · 2026-11-12
- AWS 自曝：AWS Emulator 每行代码均由自主 AI Agent 编写 — SumitGup · 2026-11-12
- freeCodeCamp 上线 2 小时 Codex 智能体编码免费课 — adnan_hashmi · 2026-11-12
- 被严重低估的资源：跨模型跨厂商的工具调用可靠性实测 — ricklamers · 2026-11-12