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

美国弗吉尼亚大学数学系讲席教授小野健（Ken Ono）今年57岁，学术声誉卓著。但前不久他刚辞去教职，加入了一家成立仅4个月的AI创业公司Axiom Math。 公司的创始人是他曾经的学生洪乐潼，今年24岁。 12月3日，Axiom Math宣布：其“AI数学家”在无人干预的情况下，攻克了困扰数学界数十年的两道埃尔德什难题。同一天，洪乐潼收到了入选“福布斯30岁以下30人”榜单的消息。 洪乐潼形容 ...

我们提出 V-Thinker，一个面向视觉交互推理的多模态推理框架。通过冷启动监督微调与强化学习相结合的训练，使模型能够在推理过程中自主生成代码并与图像交互，从而实现「边画边思考」的视觉推理方式。

因此，在AI时代，博士生必须全面提升提问能力、想象能力和阅读能力。与此同时，切不可认为AI的应用弱化科研工作者原本具备的核心能力与素养。可以说，勤奋、博闻强记与细心这“老三样”依然是博士生需要保持的能力与素养。 首先，勤奋在AI时代不仅依然成立，更是放之四海而皆准的黄金法则。因为勤奋是人机协作的基础，虽然AI降低了科研门槛，但无法替代博士生在研究中的核心投入。

新发布的模型DeepSeek-Math-V2DeepSeek-Math-V2是一个基于DeepSeek-V3.2-Exp-Base的垂类模型，主攻是的数学，数学推理与证明能力很强：在 IMO 2025 与 CMO 2024 上获得金牌水平成绩，并在 Putnam 2024 上通过扩展测试时计算取得几乎满分的 118/120。

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