AI领域日报20260305 | AI攻克菲尔兹奖、95%场景选择核战，龙虾登顶超越React

早安！今天是2026年3月5日，星期四欢迎查收你的每日AI资讯速递！今日内容如下： 00:21 1. 边用边训：蚂蚁集团携手清华大学开源 AReaL 系统，训练 AI 推理最高提速 2.77 倍 01:23 2. AI Agent搞定世纪首次菲尔兹奖成果形式化！一周时间独立完成，20万行代码已公开 02:27 3. Gemini 3 系列中速度最快、最具成本效益 AI 模型：谷歌 Gemini 3.1 Flash-Lite 登场，首字响应提速 2.5 倍 03:30 4. 研究：在 95% 的模拟核危机场景中，AI 模型会选择部署核武器 04:46 5. 阿里千问大模型换将，32岁林俊旸官宣告别 05:53 6. 龙虾再进化！强化飞书表格技能，25.2万星登顶超越React/Linux 06:53 7. 新智驾独家丨原宁德时代执行总裁朱威，出任地平线总裁 07:58 8. 何小鹏：未来1-3年完全自动驾驶将真正到来｜最前线 09:02 9. 股东变对手？OpenAI被爆砸钱研发GitHub替代方案，硬刚微软 10:08 10. Weave：基于实体的语言感知合并——兼容 Git、面向多代理协作 11:16 11. Claude Opus 4.6 协助解决 Knuth 的开问题，激起关于人机协作、推理与模型更新的讨论 12:28 12. 换场景就不准，研究指出 AI 识别野生动物暴露出“迁移性危机” 13:34 13. 华为杨超斌：创造移动产业新价值，共筑美好智能世界 14:41 14. 肯尼亚外包工揭露 Meta 智能眼镜数据内幕：让你的日常生活彻底“裸奔” 15:51 15. 模力工场 033 周 AI 应用榜：从评论区互动到游戏陪玩，AI 已悄悄加载完成1. 蚂蚁清华开源AReaL系统，AI训练提速2.77倍蚂蚁集团与清华联合推出AReaL开源系统，让大模型生成与训练同步进行，避免计算资源浪费。相同GPU下训练速度最高提升2.77倍，数学和编程任务表现不降反升，助力提升推理能力。-2. AI Agent一周完成菲尔兹奖成果形式化AI Gauss独立完成数学家Viazovska获奖成果的形式化证明，编写20万行代码，发现并修正原论文两处错误。数学界称其为“自动形式化领域的ImageNet时刻”，标志AI在数学研究中的重大突破。-3. 谷歌推出Gemini 3.1 FlashLite，速度最快成本最低Gemini 3.1 FlashLite首字响应提速2.5倍，整体速度提升45%，百万输入token仅0.25美元。支持设置思考层级适应不同任务，已在企业业务中应用，准确率高、运行效率好。-4. 研究：95%模拟核危机中AI选择使用核武器在95%的模拟核危机场景中，GPT-5.2、Gemini 3 Flash等模型选择核攻击。不同模型表现各异，有些看似安全实则危险。研究警示将AI用于重大决策需格外小心。-5. 阿里千问大模型换将，32岁林俊旸告别千问团队林俊旸因组织架构调整离开，其前一晚团队刚发布Qwen3.5轻量化模型获马斯克点赞。林俊旸2019年加入阿里，曾参与M6、Qwen等项目，谷歌学术被引超4万。-6. OpenClaw升级登顶GitHub，强化飞书表格技能OpenClaw 2026.3.1合并90余更新，GitHub星标超25.2万超越React。CLAUDE可自动调整思考水平，OPENAI响应更快，安卓功能增强，现支持飞书表格自动填数据，中英文切换。-7. 原宁德时代执行总裁朱威出任地平线总裁朱威接替陈黎明任地平线总裁，后者转副董事长。朱威拥有智能驾驶和新能源背景，曾任职宁德时代和法雷奥。其加入将推动智驾与新能源结合，助力地平线拓展国内外市场。-8. 何小鹏：未来1-3年完全自动驾驶将真正到来小鹏汽车将跳过L3从L2直通L4，推出第二代VLA系统，融合智驾与座舱打造超级智能体。强调基础模型和算力效率是关键，汽车将从被动工具变成主动服务的智能伙伴。-9. OpenAI被爆研发GitHub替代方案，硬刚微软OpenAI秘密开发代码托管平台替代GitHub，因后者频繁中断服务。项目仍处早期，计划收费。微软持股27%，若推出将直接竞争，或改变全球代码托管格局。-10. Weave发布：基于实体的智能合并工具，兼容GitWeave通过分析函数、类等单元判断代码冲突，避免虚假错误，支持多代理协作申请修改权限。虽在处理复杂结构时有限，但能显著减少人工干预，社区认可效果。-11. Claude Opus 4.6助解Knuth难题，引发人机协作讨论Claude Opus 4.6多次尝试生成奇数情况算法，助科学家完成正式证明。引发模型是否真正思考的讨论，实际应用中人机协作提高效率，但人类在判断、修正中仍起关键作用。-12. 研究：AI识别野生动物暴露“迁移性危机”AI在训练时表现好，但面对新场景准确率骤降。因测试数据多来自图片库，与真实环境差距大。生态保护、医疗诊断或受影响，评估需在真实场景中进行。-13. 华为杨超斌：5GA推动移动产业，共筑智能世界华为ICT BG CEO杨超斌在MWC表示，5GA提供高速低延迟网络，支持AI应用运行，全球超300城市已使用。呼吁全球合作推动5GA发展，为6G打基础，让智能惠及每个人。-14. 肯尼亚外包工揭露Meta智能眼镜数据内幕Meta智能眼镜录制日常画面，经外包公司人工审核打标签，员工常看到如厕、裸露等隐私场景。用户难察觉摄像头工作，缺乏透明度，引发对隐私和数据安全的担忧。-15. 模力工场周榜：AI已悄悄融入日常应用春节后AI不再推新软件，而是嵌入小红书、剪映、美团等平台。点点AI互动评论，小美AI规划行程，心流AI辅助学习，游戏陪玩增加乐趣，真正润物细无声地改变生活。-剪辑与信息搜集不易，欢迎点赞关注加赞赏，你的鼓励是我们前进道路上最大的动力！祝你拥有美好的一天！【找到我们】收听渠道：小宇宙｜苹果播客小红书：Lucas.bot｜Lucas的AI分享在小宇宙查看该单集文稿