5 篇 AI 生成的数学论文被接收！00 后创始人洪乐潼融资 14 个亿
中文摘要
AI 数学初创公司 Axiom Math 提交的 8 篇论文中，有 5 篇由其 AI 系统 AxiomProver 生成的数学论文被学术期刊接收。创始人洪乐潼已为公司融资 2 亿美元。
English Summary
AI math startup Axiom Math had 5 of its 8 AI-generated math papers accepted by academic journals. Founder Hong Letong raised $200 million for the company.
原文节选
📌 一句话摘要 AI 初创公司 Axiom Math 提交的 8 篇数学论文中有 5 篇被学术期刊接收，其 AI 系统 AxiomProver 能生成形式化证明，创始人洪乐潼已为公司融资 2 亿美元。 📝 详细摘要 本文报道了 AI 数学初创公司 Axiom Math 的最新进展。该公司由 2001 年出生的 MIT 天才洪乐潼创立，其 AI 系统 AxiomProver 能够将自然语言数学问题转化为 Lean 形式化...