多智能体协同耗资十万美元完成数学教材自动形式化

一项新研究展示了大语言模型在自动形式化领域的突破性进展。研究利用多个 Claude Code 智能体协同工作，耗资 10 万美元成功将一本 500 页的数学教材完全形式化。专家指出，这种底层形式化能力的不断完善，将为硬件、操作系统和数据库等领域构建共享基础设施，并推动数学研究向依赖定理证明链的范式发生深刻转变。

2026-07-31 ~ 2026-07-31 · 2 条相关