TechCrunch · AI· Aditya Mehta·· 8 小时前
Axiom Math 完成 Stacks Project 形式化验证
Axiom Math wants to keep AI slop out of mathematics
事实摘要
Axiom Math 宣布已对 Stacks Project 完成形式化验证，用 AI 智能体将该数学库约 7,654 页内容转写为约 1,600 万行 Lean 代码，并由证明助手逐行检查。
原文与核验
这条信号在站内保留事实摘要与战略研判。完整内容和上下文请以原文为准；融资、并购与技术效果以原始披露为准。
正文 · 原文摘要
As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.
来源只提供摘要，完整内容请打开原文。
来源：TechCrunch · AI · techcrunch.com