Erdős猜想

5篇AI生成的数学论文被接收！00后创始人洪乐潼融资14个亿

量子位 · 8.7 分

Axiom Math的AI系统AxiomProver生成并形式化证明的8篇数学论文中，5篇已通过同行评审发表；其核心是“自然语言问题→Lean形式化→机器验证”闭环，00后创始人洪乐潼带队完成14亿人民币融资，估值达16亿美元。

The Month AI Conquered Math: The Full Story

The Algorithmic Bridge · 8.5 分

2026年AI在数学领域取得突破性进展，解决多个数学猜想但引发数学界激烈争议，揭示AI与人类数学家的协作边界。