Axiom 发布 1600 万行 Lean 形式化的 Stacks Project
Axiom 把整个 Stacks Project 转成了 1600 万行 Lean 可验证代码，代数几何的地基现在机器能查了，搞数学形式化的人可以看看。
#Stacks Project
共 3 条 · 7 天 3 条 · 30 天 3 条
信息流里打上「Stacks Project」标签的资讯、产品与论文，按刊登时间排，新的在上。
11月5日
Axiom 用 AI 智能体把 Stacks Project 形式化为 Lean
Axiom 把代数几何的 Stacks Project 整个搬进了 Lean，由 AI 智能体协作完成，每个证明都能机器验证，数学圈的人应该看看。
Axiom Math 将 Stacks 项目形式化为 Lean 机器校验的开源库
Axiom Math 用一队 AI 智能体把整个 Stacks Project 改写成 Lean 代码，机器逐行验证证明，现在免费开源，做数学的人可以直接复用。
