初创公司 Axiom Math 由 24 岁的 Carina Hong 创立，致力于开发能够自主验证逻辑正确性的“AI 数学家”。该公司在 2025 年获得 6400 万美元融资，核心团队汇聚了来自 Meta 和 Google 的顶尖人才以及知名数学家。与主流大模型不同，其系统通过 Lean 编程语言确保推理过程的每一步都可追溯、可检查，解决了 AI 产出结果难以验收的信任难题。通过在 ...

这项由NVIDIA公司Wei Du、Shubham Toshniwal等研究团队开展的突破性研究于2025年12月发表在arXiv预印本平台，论文编号为arXiv:2512.15489v1。该研究构建了迄今为止最大规模的数学推理数据集Nemotron-Math，包含高达7500万条数学解题推理轨迹，让AI模型在数学竞赛中达到了前所未有的100%满分成绩。

洪乐潼受访者供图本报讯（记者王兆昱）日前，记者从初创公司AxiomMath联合创始人洪乐潼（CarinaHong）处获悉，该公司开发的AxiomProver系统使用可验证的Lean语言，完成了埃尔德什问题集中第124题和第481题的形式化证明，分别用 ...