西北大学与Google、谷歌DeepM...
DeepSeek-Prover-V2的发布标...
随着大模型如ChatGPT的快速发...
阿里通义千问Qwen发布了最新...
上海AI Lab针对大语言模型在...
近期,AIME 2025 I数学竞赛中...
微软亚研院的全华人团队提出...
清华大学NLP实验室联合上海AI...
近期,AI在数学领域的应用取...