加载中…
加载中…
Techub News 消息，AI 数学验证初创公司 Axiom Math 宣布，已成功对大型开源数学参考项目 Stacks Project 完成形式化验证。该项目包含约 7654 页数学内容，被转化为约 1600 万行可由计算机检查的 Lean 代码，旨在为 AI 代理编写软件乃至进行科学研究提供可靠的数学基础。 Axiom Math 的 AI 代理团队在并行工作中保持了 Stacks Project 中定理与定义之间复杂的相互关联性。公司 CEO Carina Hong 表示，此举是为了确保数学基础的严谨性，避免出现矛盾或悖论。 Axiom Math 成立于 2025 年 3 月，今年 3 月完成了由 Menlo Ventures 领投的 2 亿美元 A 轮融资，估值达 16 亿美元。公司表示，已验证的成果将成为构建模块，填补形式化数学在代数几何领域的巨大空白。（TechCrunch）
如您认为本页面（或本平台）内容存在侵权或违规情形，请您在发现之日起尽快与我们联系，并提供：权利人姓名/名称及联系方式、被侵权作品名称及权属证明、具体侵权链接及情况说明。我们在核实后将及时处理相关内容。
联系方式：creator@techub.news
商务合作：contacting@techub.news
点击链接下载 Techub News App，获取最新讯息：
https://www.techub.news/download
（或扫描下方二维码下载）
本网站所提供的所有信息仅供参考之用。
本网站不保证信息的准确性、有效性、及时性和完整性。
任何依赖于本网站所提供信息的行为，均由用户自行承担风险。
Techub News 消息，AI 数学验证初创公司 Axiom Math 宣布，已成功对大型开源数学参考项目 Stacks Project 完成形式化验证。该项目包含约 7654 页数学内容，被转化为约 1600 万行可由计算机检查的 Lean 代码，旨在为 AI 代理编写软件乃至进行科学研究提供可靠的数学基础。 Axiom Math 的 AI 代理团队在并行工作中保持了 Stacks Project 中定理与定义之间复杂的相互关联性。公司 CEO Carina Hong 表示，此举是为了确保数学基础的严谨性，避免出现矛盾或悖论。 Axiom Math 成立于 2025 年 3 月，今年 3 月完成了由 Menlo Ventures 领投的 2 亿美元 A 轮融资，估值达 16 亿美元。公司表示，已验证的成果将成为构建模块，填补形式化数学在代数几何领域的巨大空白。（TechCrunch）
如您认为本页面（或本平台）内容存在侵权或违规情形，请您在发现之日起尽快与我们联系，并提供：权利人姓名/名称及联系方式、被侵权作品名称及权属证明、具体侵权链接及情况说明。我们在核实后将及时处理相关内容。
联系方式：creator@techub.news
商务合作：contacting@techub.news
点击链接下载 Techub News App，获取最新讯息：
https://www.techub.news/download
（或扫描下方二维码下载）
本网站所提供的所有信息仅供参考之用。本网站不保证信息的准确性、有效性、及时性和完整性。任何依赖于本网站所提供信息的行为，均由用户自行承担风险。
