Axiom Math 的 AI 生成数学论文被接受；融资 2 亿美元

由 2001 年出生的数学家洪乐彤创立的初创公司 Axiom Math 取得了一项重大里程碑，其五篇由 AI 生成的数学论文已被学术期刊接受发表。该公司的 AI 系统 AxiomProver 生成了可机器验证的正式证明，补充了人类在问题陈述和解释方面的数学专业知识。这种方法旨在解决 AI 的幻觉问题，并吸引了大量资金，Axiom Math 最近以 16 亿美元的估值获得了 2 亿美元的 A 轮融资。 AI

影响 展示了 AI 生成可验证证明的能力，有可能加速研究并减少复杂领域的错误。

排序理由 初创公司宣布重要的融资轮和 AI 生成的研究论文发表。 [lever_c_demoted from significant: ic=1 ai=1.0]

在 量子位 (QbitAI) 阅读 →

• Annals of Acad. Rom. Sci.
• Axiom Math
• AxiomProver
• Harvard Business School
• Hong Letong
• Ken Ono
• Meta
• MIT
• Robert Aumann
• Scott Duke Kominers
• Shubho Sengupta
• Stanford University

• 论文
• 模型发布
• 融资

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →