数十个AI智能体24天将1.5万页数学证明转为4300万行验证代码
热点事件历史事件
数十个AI智能体24天将1.5万页数学证明转为4300万行验证代码
1 篇报道1 个报道来源13 天前更新
先了解这件事
AI 综述
数十个AI智能体用24天时间，把多位数学家耗时数十年写下的1.5万页数学证明，转化成4300多万行可由计算机逐步验证的代码。在检查过程中，AI还发现了一个存在近40年的论证漏洞。 这项工作被报道称为人类数学史上最庞大的形式化工程之一，核心意义在于将人工证明转为机器可逐步校验的形式，从而提高证明的可信度；同时暴露出长期未被察觉的论证漏洞。
一句话影响开发者：可参考多智能体协作做大规模数学形式化验证的流水线思路。投资者：AI形式化验证和自动证明工具或成为数学基础设施的产业方向。
- 待核实数十个智能体、24天、4300万行代码及发现40年漏洞等说法仅来自机器之心单一报道，尚无官方文件或第三方证实。
AI 根据报道生成 · 13 天前更新
最新进展10月28日 13:31
数十个AI智能体24天把1.5万页数学证明转成可验证代码报道时间线
沿着报道，了解事件的不同侧面。
10月28日
- 机器之心精选数十个AI智能体24天把1.5万页数学证明转成可验证代码
数十个AI智能体用24天，把多位数学家耗费数十年写下的1.5万页证明，转成4300多万行可由计算机逐步验证的代码。AI在检查这些证明时还发现了一个存在近40年的论证漏洞。