AI狂潮再升级：它刚刚“学会”了人类都难以企及的新技能 2025年4月30日，中国AI企业DeepSeek悄然发布的Prover-V2-671B模型，在数学界掀起轩然大波。这个拥有6710亿参数的“数学大脑”，不仅能在国际数学奥林匹克（IMO）竞赛中取得金牌级成绩，更在黎曼猜想的部分验证中展现出人类数学家难以企及的 模型 智能体 量子力学 伦理 qllm 2025-05-02 06:28 4