Axiom Math宣布用AI形式化验证Stacks Project
热点事件持续更新
Axiom Math宣布用AI形式化验证Stacks Project
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
估值16亿美元的Axiom Math宣布，已用AI智能体完成对Stacks Project的形式化验证：把这部约7654页的数学文献翻译成约1600万行Lean代码，并逐行通过Lean证明助手检查。 Stacks Project是篇幅极大的数学文献集合。Axiom Math称，这是迄今被形式化验证的最大规模数学内容之一。该结论目前来自公司自身的宣布。
AI 根据报道生成 · 2 小时前更新
最新进展11月6日 00:16
Axiom Math 将 Stacks Project 形式化为 1600 万行 Lean 代码报道时间线
沿着报道，了解事件的不同侧面。
11月6日
- TechCrunch · AIAxiom Math 将 Stacks Project 形式化为 1600 万行 Lean 代码
估值 16 亿美元的 Axiom Math 宣布已完成对 Stacks Project 的形式化验证，用 AI 智能体把这部约 7654 页的数学文献翻译成约 1600 万行经 Lean 证明助手逐行检查的代码。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。