新闻中心 
-
11-28DeepSeek-Math-V2— DeepSeek开源的数学推理模型DeepSeek-Math-V2是什么DeepSeek-Math-V2是由DeepSeek团队开发的一款开源数学推理模型，具备自我验证能力，专注于提升数学问题解...
-
09-12K2-Think— 开源AI推理模型，数学和代码领域表现出色K2-Think是什么K2-Think是由阿联酋穆罕默德·本·扎耶德人工智能大学（MBZUAI）与G42共同研发的一款开源推理大模型，具备320亿参数规模，在数...
-
02-25仅靠逻辑题，AI数学竞赛能力飙升！微软、九坤投资：7B小模型也能逼近o3-mini仅靠逻辑益智题，竟能让AI数学竞赛水平大幅提升？DeepSeekR1的秘密武器继中国大模型在技术领域取得突破后，国内团队再次带来惊喜！这项研究揭秘了DeepSe...
-
12-19GPT-4o数学能力跑分直掉50%，上海AI Lab开始给大模型重新出题了大型语言模型（LLM）在数学竞赛基准测试中表现出色，得分动辄80%甚至90%以上，但在实际应用中却往往表现不佳。对此，上海人工智能实验室司南OpenCompas...
-
07-29陶哲轩点评谷歌AlphaProof：AI在数学竞赛中展现「超凡智慧」在奥数问题面前，AI的「智商」往往不太够用。不过，这已经是过去式了。谷歌DeepMind用AI做出了今年国际数学奥林匹克竞赛IMO的真题，并且距拿金牌仅一步之遥...
-
共1页 5条
