AI资讯新闻榜单内容搜索-AIME

关键词: DeepSeek,大模型评测,AI数学,人工智能

DeepSeek放大招！新模型专注数学定理证明，大幅刷新多项高难基准测试。在普特南测试上，新模型DeepSeek-Prover-V2直接把记录刷新到49道。目前的第一名在657道题中只做出10道题，为Kimi与AIME2024冠军团队Numina合作成果Kimina-Prover。

关键词: AI,PromptCoT,模型训练,人工智能

大模型架构研究进展太快，数据却快要不够用了，其中问题数据又尤其缺乏。

关键词: AI,deepseek,DeepSeek-R1,模型训练

仅需简单提示，满血版DeepSeek-R1美国数学邀请赛AIME分数再提高。

关键词: DeepSeek-R1,o3-mini,AIME,AI数学

就在刚刚，AIME 2025 I数学竞赛的大模型参赛结果出炉，o3-mini取得78%的最好成绩，DeepSeek R1拿到了65%，取得第四名。然而一位教授却发现，某些1.5B小模型竟也能拿到50%，莫非真的存在数据集污染？