Axiom Math宣布完成Stacks项目形式化验证
热点事件持续更新
Axiom Math宣布完成Stacks项目形式化验证
1 篇报道1 个报道来源22 小时前更新
先了解这件事
AI 综述
Axiom Math 宣布已对 Stacks Project 完成形式化验证：其 AI 智能体团队把这部约 7654 页的数学文献翻译成约 1600 万行 Lean 代码，并称这些代码经 Lean 证明助手逐行检查。 Stacks Project 是代数几何领域的大型协作数学文献。Axiom Math 的估值约为 16 亿美元。上述完成验证的说法来自该公司自身，报道未给出独立第三方核验结果。
AI 根据报道生成 · 21 小时前更新
最新进展11月6日 00:16
Axiom Math 完成 Stacks 项目形式化验证，AI 智能体生成 1600 万行 Lean 代码报道时间线
沿着报道，了解事件的不同侧面。
11月6日
- TechCrunch · AIAxiom Math 完成 Stacks 项目形式化验证，AI 智能体生成 1600 万行 Lean 代码
估值 16 亿美元的 Axiom Math 宣布已对 Stacks 项目完成形式化验证，其 AI 智能体团队把这部约 7654 页的数学文献翻译成约 1600 万行经 Lean 证明助手逐行检查的代码。
本事件热度走势
- 可比范围当前
- 5
- 可比范围峰值
- 1011月6日 01:00
- 近 24 小时变化
- –
02.557.510
06:0012:0018:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。