数十个 Agent 用 24 天将 1.5 万页数学证明转为 4300 多万行可验证代码

机器之心报道，数十个Agent用24天把100多位数学家数十年写成的1.5万页证明，转成4300多万行可由计算机逐步验证的代码。报道还称，AI在检查这些证明时发现了一个存在近40年的论证漏洞。