**数十 Agent 24 天攻克数学巨作并发现 40 年漏洞**

_数十agent，24天挑战数学界巨型工程，还揪出40年前漏洞_

> AI 仅需 24 天便将人类顶尖数学家耗时数十年、长达 1.5 万页的数学证明转化为可验证代码，并在此过程中发现了一个存在近 40 年的论证漏洞。

**来源信息**
- **来源**：机器之心：文章库（API）
- **分类**：ai-models
- **发布时间**：2026-10-28 13:31（北京时间）
- **原文**：[打开原文](https://www.jiqizhixin.com/articles/2026-10-28-6)