TAG:DeepSeek-Math-V2
IMO金牌成AI试金石？DeepSeek-Math-V2的突破，让学术界重新审视AI极限
DeepSeek正式发布DeepSeek-Math-V2开源数学推理模型，这款6850亿参数的MoE模型成为全球首个达到国际数学奥林匹克金牌水平的开源AI。模型采用创新的‘生成-验证’双模型闭环机制，通过实时逻辑审查和自我修正实现真正的可自我验证能力。在2025年IMO竞赛中取得83.3%正确率获得金牌，在普特南数学竞赛中更是取得118/120的近乎满分成绩，全面超越此前所有公开模型。
4 
0 
我国2025年人形机器人产品发布超330款
2026-01-21
0 浏览
工信部将发布人形机器人与具身智能标准化建设指南
2026-01-21
0 浏览
马斯克重启特斯拉Dojo3芯片项目，瞄准太空AI发展
2026-01-21
0 浏览
人形机器人为何难以突破灵巧手技术难关
2026-01-21
0 浏览
中国AI厂商加速拓展国际市场，全球份额持续攀升
2026-01-21
0 浏览
Block推出开源AI编程助手Goose，应对Claude Code痛点
2026-01-21
0 浏览
工信部：新能源汽车与光伏等行业竞争环境持续优化
2026-01-21
0 浏览
清华两名室友联手打造吸金超2亿元的机器人
2026-01-21
0 浏览
江苏企业获批牵头建设农业农村部智能采收机器人重点实验室
2026-01-21
0 浏览
政策产业共振推升机器人股 微创机器人盘中大涨16%
2026-01-21
0 浏览
