AI日报 – 2025-05-01(下)
微软发布 Phi-4 系列小型推理模型: 微软推出了 Phi-4 系列模型，包括 14B 参数的 Phi-4-reasoning 和 Phi-4-reasoning-plus（后者加入了少量 RL）。这些模型在推理和通用基准测试中表现出色，体积小巧但性能强大。Phi-4-reasoning 在 AIME25 基准上甚至击败了参数量大得多的 DeepSeek-R1 (671B)，凸显了高质量训练数据
AI日报 – 2025-05-01(上)
DeepSeek发布数学推理大模型DeepSeek-Prover-V2：DeepSeek发布了专为形式化数学证明与复杂逻辑推理设计的DeepSeek-Prover-V2系列模型，包括671B和7B版本。该模型基于DeepSeek V3 MoE架构，在数学推理、代码生成、法律文书处理等领域进行了微调。官方数据显示，671B版本解决了近90%的miniF2F问题，显著提升了PutnamBench上的S
AI日报 – 2025-04-30(下)
Meta AI 独立应用发布，整合社交生态挑战 ChatGPT: Meta 在 LlamaCon 大会上发布了独立 AI 应用 Meta AI，基于 Llama 4 模型，深度整合 Facebook、Instagram 等社交平台数据，提供高度个性化的交互体验。该应用重视语音交互，支持后台运行和跨设备同步（包括 Ray-Ban Meta 眼镜），并内置“发现”社区促进用户分享和互动。同时，Meta
AI日报 – 2025-04-30(上)
阿里发布Qwen3系列模型，登顶开源模型榜首: 阿里巴巴发布并开源了Qwen3系列大型语言模型，包含0.6B至235B参数的8款模型（6款密集模型，2款MoE模型），采用Apache 2.0许可。旗舰模型Qwen3-235B-A22B在代码、数学、通用能力等基准测试中表现优异，可与DeepSeek-R1、o1、o3-mini等顶级模型媲美。Qwen3支持119种语言，增强了Agent能力和MCP支
AI日报 – 2025-04-29(下)
Qwen3系列模型发布并开源: 阿里巴巴发布并开源了新一代通义千问模型Qwen3系列，包含0.6B至235B参数的8款模型（2款MoE，6款Dense）。旗舰模型Qwen3-235B-A22B在性能上超越DeepSeek-R1及OpenAI o1，登顶全球开源模型。Qwen3是国内首个混合推理模型，集成快慢思考模式，大幅节省算力，部署成本仅为同级模型1/3。模型原生支持MCP协议和强大的工具调用能
AI日报 – 2025-04-29(上)
阿里发布 Qwen3 系列模型，涵盖0.6B至235B参数: 阿里云正式开源 Qwen3 系列，包含 Qwen3-0.6B 至 Qwen3-32B 的6个稠密模型和 Qwen3-30B-A3B (3B激活)、Qwen3-235B-A22B (22B激活) 两个 MoE 模型。Qwen3 系列基于 36T tokens 训练，支持119种语言，引入了可在推理时切换的“思考模式”以处理复杂任务，并支持
AI日报 – 2025-04-28(下)
OpenAI GPT-4.5核心开发者Kai Chen绿卡被拒，引发美国AI人才危机担忧: 加拿大籍AI研究员Kai Chen，在美国居住12年后绿卡申请遭拒，面临被迫离境。Chen是OpenAI GPT-4.5的核心开发者之一，其遭遇引发了科技界对美国移民政策损害其AI领先地位的广泛担忧。近期，美国对包括AI研究员在内的国际学生和H-1B签证的审查趋严，已有1700多名学生签证受影响。Natur
AI日报 – 2025-04-28(上)
DeepSeek R1 引发全球关注与讨论: DeepSeek R1模型发布后引发广泛关注。该模型展示了其“思考过程”，成本效益高，并采取开放策略。尽管OpenAI等西方实验室曾认为后来者难以居上，且面临芯片限制，DeepSeek通过一系列技术创新（如专家混合路由优化、GRPO训练方法、多头潜在注意力机制等）实现了性能追赶。纪录片探讨了创始人梁文峰的背景、从量化对冲基金到AI研究的转变、对开源和创
AI日报 – 2025-04-27(下)
通用 Agent 竞赛升温：字节、百度入局追赶 Manus: 继明星创业公司 Manus AI 引爆通用 Agent 概念并快速获得高额融资后，字节跳动（扣子空间）和百度（心响）等国内大厂迅速跟进，推出各自的 Agent 产品。字节聚焦于将 Agent 融入工作流以提升生产力，而百度则面向 C 端用户，试图降低使用门槛并融入日常生活场景。尽管两者路径不同，但目标一致：借助 AI Agent 盘活现