高质量的数学推理监督需要多样化的推理风格、长链条轨迹和有效的工具集成，而现有数据集在这些方面提供有限。现有数学推理数据集大多由单一模式推理模型生成，产出的解决方案风格相对统一，推理深度和工具使用的变化有限。同时，许多工作主要聚焦于 ...

由中国计算机学会(CCF)形式化方法专委会主办的首届“定理证明竞赛”，将于11月29日正式开幕。CertiK作为赛事独家赞助方，为推动形式化验证人才培养和科研生态建设提供技术支持。 CCF中国软件大会是中国计算机学会主办的软件领域年度盛会，是国内软件科学与 ...

纽约, Oct. 13, 2025 (GLOBE NEWSWIRE) -- Shentu 链宣布正式推出OpenMath平台，这是全球首个聚焦数学领域的去中心化科学（DeSci）平台。该平台由 Shentu 链 与 CertiK 联合研发，CertiK作为全球最大的 Web3 安全公司与形式化验证领域的国际领军者，为该平台提供数学领域的技术 ...

PANews 10月13日消息，Shentu 链今日宣布正式推出全球首个聚焦数学领域的 DeSci平台 OpenMath。该平台由 Shentu 链与全球最大的 Web3 安全公司、形式化验证领域的领军者 CertiK 战略合作开发。 OpenMath 致力于构建以“可验证的数学真理”为核心的 DeSci 生态，研究者与验证 ...

这次在参数高达671B的满血DeepSeek-R1-0528蒸馏，在5M的数学、代码和科学推理轨迹上训练。 这次的模型不仅仅进行token预测，还 ...

在 AI 的世界里，数学推理一直是个让人又爱又恨的难题。为啥呢？因为它不仅需要理解抽象的概念，还得精准地进行多步逻辑推理。以前的语言模型，虽然生成文本很流畅，但遇到复杂的数学问题，就像让一个文科生去解奥数题，常常无从下手。不过，最近 ...

IT之家4 月 28 日消息，Chiphell 论坛用户 panzerlied 昨日宣称，英伟达未来将推出 GeForce RTX 5080/5070 SUPER 显卡。 这两个新型号将采用 24Gb (3GB) 容量的 GDDR7 显存颗粒，从而在位宽不变的情况下将显存容量提升 50%，分别达到 24GB 和 18GB。但这位消息人士也表示，相关产品 ...

英伟达正式开源了其不久前在 AI 数学奥林匹克竞赛（AIMO，AI Mathematical Olympiad）中斩获冠军的核心模型系列。 在本届 AIMO-2 Kaggle 竞赛中，超过 2,200 支参赛队伍提交了 AI 模型，挑战在 5 小时内解决 50 道国家奥林匹克级别的复杂数学问题。英伟达的 7 人团队 ...

近日，英伟达在人工智能领域的又一创新引起了业界的广泛关注。公司推出了两款全新的AI模型——OpenMath-Nemotron-32B和OpenMath-Nemotron-14B-Kaggle，旨在应对历来令AI技术头疼的复杂数学推理问题。长久以来，尽管传统语言模型在生成自然语言文本时展现了卓越的表现 ...

英伟达近期在数学推理领域迈出了重要一步，推出了两款专为解决复杂数学问题设计的先进AI模型——OpenMath-Nemotron-32B和OpenMath-Nemotron-14B-Kaggle。 长久以来，数学推理一直是AI技术难以攻克的难题。尽管传统的语言模型在生成自然语言文本方面表现出色，但在面对 ...

科技媒体marktechpost报道，英伟达专为数学推理领域推出OpenMath-Nemotron-32B与OpenMath-Nemotron-14B-Kaggle两款AI模型。传统语言模型在解决复杂数学问题时表现不佳，而这两款模型通过深度微调OpenMathReasoning数据集，大幅提升了推理能力。 其中，OpenMath-Nemotron-32B作为旗舰 ...