新闻中心 
-
11-28DeepSeek-Math-V2— DeepSeek开源的数学推理模型DeepSeek-Math-V2是什么DeepSeek-Math-V2是由DeepSeek团队开发的一款开源数学推理模型，具备自我验证能力，专注于提升数学问题解...
-
09-01孙颖莎的荣誉簿有多少 孙颖莎的荣誉簿合集孙颖莎获得奥运会、世锦赛、世界杯等多项冠军，包括2020年东京奥运会女团金牌、2024年巴黎奥运会混双金牌与女团金牌、女单银牌；2021年世乒赛女双与混双冠军、...
-
07-11Grok 4— 马斯克旗下xAI推出的新一代大模型Grok4简介Grok4是由xAI发布的最新人工智能大模型，其推理能力较上一代提升了10倍。该模型拥有出色的推理表现，在SAT、GRE等高难度考试中接近满分，并...
-
04-27OpenMath-Nemotron— 英伟达开源的数学推理系列模型OpenMath-Nemotron是由英伟达推出的一系列开源数学推理模型，专门用于解决从基础到奥林匹克级别的复杂数学问题。这些模型通过大规模数据集OpenMat...
-
04-06OlympicArena— 上海交大联合 AI Lab 等推出的多学科认知推理基准测试框架OlympicArena：一个多学科认知推理基准测试框架OlympicArena是由上海交通大学、上海AILab、苏州大学和上海交通大学生成式人工智能实验室（G...
-
03-03多元推理刷新「人类的最后考试」记录，o3-mini(high)准确率最高飙升到37％近期，DeepSeekR1推理模型在全球社交媒体引发热议，其类人的深度思考能力令人瞩目。然而，DeepSeekR1、OpenAIo1和o3等模型在一些高难度基准...
