不久前，57岁的美国弗吉尼亚大学数学系讲席教授小野健（Ken Ono）辞去教职，加入了一家成立仅4个月的人工智能（AI）创业公司Axiom Math。公司的创始人是他曾经的学生洪乐潼，24岁。

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

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

美国Reveal Math系列数学教材包含Course 1-3，Algebra 1-2，Geometry美国课本《数学代数几何》中学六至十二年级 Reveal Math Course 1 2 3, Algebra 1 2 Geometry 是 McGraw-Hill 推出的数学课程，强调通过探索、讨论和反思来培养学生的数学能力。 返回搜狐，查看更多 平台声明：该文 ...

包括必考English、science、reading和math四部分，不含可选的写作返回搜狐，查看更多 平台声明：该文观点仅代表作者本人，搜狐号系信息发布平台，搜狐仅提供信息存储空间服务。

IT之家4 月 14 日消息，MUSA SDK 是一个摩尔线程 GPU 并行计算开发 SDK 的集合，它包含了 MUSAToolkits（内置运行时、编译器、GPU 加速计算库、迁移和优化工具）及计算库、神经网络加速库、通信库等一系列开发工具，方便开发者一站式安装 MUSA 应用开发环境。借助 MUSA ...

IT之家3 月 6 日消息，“零一万物 01AI”官方公众号今晚发文宣布开源 Yi-9B 模型，官方称其为 Yi 系列模型中的“理科状元”——Yi-9B 是目前 Yi 系列模型中代码和数学能力最强的模型，实际参数为 8.8B，默认上下文长度为 4K tokens。 该模型是在 Yi-6B （使用了 3.1T ...