初创公司 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%满分成绩。

本文共同第一作者为北京邮电大学博士生乔润祺与硕士生谭秋纳，主要研究方向为多模态推理，其共同完成的工作主要有 We-Math、We-Math 2.0，并曾在 CVPR、ACL、ICLR、AAAI、ACM MM 等多个顶会中有论文发表。本文的通讯作者为博士生导师张洪刚与微信视觉技术中心李琛。

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

因此，在AI时代，博士生必须全面提升提问能力、想象能力和阅读能力。与此同时，切不可认为AI的应用弱化科研工作者原本具备的核心能力与素养。可以说，勤奋、博闻强记与细心这“老三样”依然是博士生需要保持的能力与素养。