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

IT之家 4 月 25 日消息，科技媒体 marktechpost 今天（4 月 25 日）发布博文，报道称英伟达专为数学推理设计，发布 OpenMath-Nemotron-32B 和 OpenMath-Nemotron-14B-Kaggle 两款先进 AI 模型。 数学推理一直是 AI 领域的巨大挑战。传统的语言模型擅长生成流畅文本，却在解决复杂 ...

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

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