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

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

AI领域迎来了一则重磅消息——DeepSeek正式开源了其最新数学推理大模型DeepSeek-Prover-V2-671B！这款拥有6710亿参数的“数学大脑”究竟有多强？它又将如何改变数学研究、教育甚至整个AI行业？让我们一探究竟！ 一、数学推理领域的“AlphaGo时刻” DeepSeek-Prover-V2-671B ...

在 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作为旗舰 ...