跳到正文
热点事件持续更新

Axiom Math 称用 AI 完成 Stacks Project 形式化验证

1 篇报道1 个报道来源3 小时前更新

先了解这件事

AI 综述

Axiom Math 宣布，已用 AI 智能体将约 7,654 页的 Stacks Project 翻译成约 1,600 万行 Lean 代码，并完成形式化验证。该公司称，Stacks Project 是人类写过的最大规模数学文献之一。 Axiom Math 由 25 岁的 Carina Hong 于 2025 年 3 月创立，今年 3 月完成由 Menlo Ventures 领投的 2 亿美元 A 轮融资，估值 16 亿美元。上述验证结果目前来自公司自身声明。

AI 根据报道生成 · 2 小时前更新

最新进展11月6日 00:16
Axiom Math 用 AI 智能体形式化验证 Stacks Project，防止数学被 AI 垃圾污染

报道时间线

沿着报道，了解事件的不同侧面。

11月6日
  1. TechCrunch · AI
    Axiom Math 用 AI 智能体形式化验证 Stacks Project，防止数学被 AI 垃圾污染

    Axiom Math 宣布已用 AI 智能体将约 7,654 页的 Stacks Project 翻译成约 1,600 万行 Lean 代码并完成形式化验证。这家估值 16 亿美元的初创公司由 25 岁的 Carina Hong 于 2025 年 3 月创立，今年 3 月完成由 Menlo Ventures 领投的 2 亿美元 A 轮融资。

本事件热度走势

可比范围当前
9
可比范围峰值
1011月6日 01:00
近 24 小时变化
–

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。