DeepSeek 领跑 AI 数学，阿里重磅开源 Qwen3，小米首秀 MiMo-7B！ AI Weekly 4.28-5.4 下午2时 2025/05/04 作者 AI信息Gap 数学证明模型 Prover-V2 ：MiniF2F-test 达 88.9% 通过率，刷新最高纪录，
一图一3D世界，视频还可交互，昆仑万维「空间智能」开年首秀来了 下午12时 2025/02/14 作者 机器之心 在大家纷纷将目光投向智能体的同时，另一个 AI 领域也可能迎来它的「ChatGPT 时刻」。 这个春
Deepseek 和 OpenAI 对某美元基金《关于Deepseek的几点思考》的回应 下午2时 2025/01/27 作者 硅谷科技评论 深度求索（DeepSeek）是一家由浙大校友梁文峰创立的中国领先人工智能公司，其前身是对冲基金幻方的
