媒体报道 · AI 辅助摘要
Axiom Math 用 AI 智能体完成 Stacks 项目形式化验证
报道日期 · 本站整理
据TechCrunch报道，估值16亿美元的初创公司 Axiom Math 宣布，其 AI 智能体集群将约7654页的 Stacks 项目翻译成约1600万行 Lean 代码，完成了这一人类最大数学文献之一的形式化验证。公司自研数学专用模型，并让智能体并行自主认领任务。Axiom 认为，经过验证的数学成果可为 AI 智能体编写代码和从事科研提供可复用的基础。
来源与说明
本快讯依据所链接媒体的报道进行 AI 辅助整理，并非官方公告或 YYSI 独立调查；请查阅原报道及其证据。