行业动态普通
Axiom 宣布完成对 Stacks Project 的形式化验证
原始标题:Axiom Math wants to keep AI slop out of mathematics
内容摘要
估值 16 亿美元的 AxiomMath 宣布正式验证 Stacks Project,将其约 7,654 页内容转化为约 1600 万行经计算机逐行检查的 Lean 代码。
内容分类人工智能行业动态
内容层级普通情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源TechCrunch:AI(RSS)
站内情报编号intel-385a93d15557b34954904e82