项目印记

本期甄选 18 条（学术研究 7 · 企业研发 8 · 综合动态 3），来源：36氪、DeepMind、Hechinger Report、Inside Higher Ed、MIT News、TechCrunch、arXiv、焦建利、量子位、雷峰网。

学术研究

Gemini 4 Carbon 现已发布（来源：DeepMind）（图：/files/news/5a1ffe336781.jpg）

推出 AlphaProof Code：深度验证复杂软件的突破性进展：AlphaProof Code 智能体用 Lean 语言撰写了三百万行证明代码，用以验证 Signal 的核心加密技术。（来源：DeepMind）（图：/files/news/f87face1c90a.jpg）

MIT 牵头团队获资助开发下一代除草剂替代品：借助 ARPA-H 高达 5300 万美元的资金，研究人员将利用 AI 开发更安全的除草剂，减少对进口的依赖，保障美国粮食供应安全。（来源：MIT News）（图：/files/news/068c3ab414ec.jpg）

可扩展的对话式评估：基于双智能体 LLM 流程的聊天考试：口试之所以有说服力，在于（1）可以要求学生阐述解题思路；（2）其互动性允许通过追问来消除歧义。（来源：arXiv）（图：/files/news/9890d71536f2.png）

新型 AI“副驾驶”助力工程师设计更优结构：该系统会向人类征求反馈意见，以增强人们对建筑和桥梁等机器生成设计方案的信任。（来源：MIT News）（图：/files/news/5267e94cf289.jpg）

LLM 中的目标编码：我们研究 LLM 是否以及如何对目标进行编码：即先于并指导行动的内部神经表征，且其灵活到可通过多种不同方式实现。（来源：arXiv）（图：/files/news/1d82ce8e285b.png）

Cortex-FL：面向联邦学习的智能体协作中介：联邦学习（FL）使独立数据所有者在不集中原始数据的情况下协作训练模型，但寻找协作者、准备训练任务等环节仍面临挑战。（来源：arXiv）（图：/files/news/1efce5efef83.png）

企业研发

被禁出口的英伟达芯片竟支撑起中国最强 AI 模型——黄仁勋这下麻烦了！：最新研究显示，中国最先进的 AI 模型均使用被禁运的英伟达芯片训练而成。（来源：TechCrunch）（图：/files/news/dff43403cc9c.jpg）

马克龙将召集科技企业会议，推动欧洲科技自主：法国总统马克龙当地时间11月13日在社交媒体宣布，他将于下月与荷兰首相耶滕共同在巴黎召集科技企业负责人举行会议，推动政府与行业加强合作，提升欧洲科技自主能力。马克龙谈及当天在爱尔兰首都都柏林举行的欧盟领导人非正式会议时说：“我们的独立自主不能外包，必须在欧洲本土建立起来。”人工智能是当天欧盟领导人非正式会议的重要议题之一。马克龙强调，欧洲在人工智能领域具备参（来源：36氪）（图：/files/news/f93056198803.jpg）

AI 智能体初创公司 LangChain 估值达 30 亿美元：LangChain 称其模型与平台无关的智能体管理工具 LangSmith 已拥有 7000 家客户。（来源：TechCrunch）（图：/files/news/2aaedf05de73.jpg）

独家丨腾讯 AI 李牧青离职，出任 AI 公司联席 CEO：雷峰网独家获悉，近日，腾讯云 AI 全球业务负责人李牧青，正式出任教育 AI 科技公司启鸣达人联席 CEO。雷峰网了解到，李牧青本科、硕士毕业于上海交通大学，曾任 UCLA 访问学者。2016 年，他加入依图科技，主导早期 AI 产业化体系的建设，亲历「AI 四小龙」从初创走向鼎盛。2018 年，李牧青加入腾讯优图，出任首席方案架构师，负责计算机视觉技术的落（来源：雷峰网）

40 亿参数模型拿下 6 个评测第一，西湖大学团队押注「概念世界模型」：西湖世界模型研究中心成立，施一公亲自揭牌。 作者丨张岂萍 编辑丨幸丽娟 世界模型赛道已经不缺创业公司。海外李飞飞、Yann LeCun 等学术大佬亲自下场，国内极佳视界、逆矩阵、流形空间等创业公司高密度入场。但最近几个月，入场的力量开始发生变化，下场的不再只是公司，高校和地方政府也开始组织力量，参与这场技术竞争。今年 7 月，北京大学与逆矩阵科技成立世界模型（来源：雷峰网）

风投与创始人表示：黄仁勋的离开给 AI 初创公司融资造成巨大缺口：在黄仁勋领导下，英伟达向 AI 初创公司投入了数百亿美元。没有他掌舵，创始人和风投正准备迎接更少的投资和更低的估值。（来源：TechCrunch）（图：/files/news/017e4bd117eb.jpg）

国产大模型又杀出一匹黑马，引发硅谷关注！（来源：量子位）（图：/files/news/d118fc281722.png）

大模型都能控机器人，Human Data还得怎么卷？（来源：量子位）（图：/files/news/948fd40956e4.png）

综合动态

某城市留住国际学生的策略规划：随着特朗普政府收窄国际学生在美工作的途径，某城市制定规划以留住国际学生。（来源：Inside Higher Ed）（图：/files/news/8c241bfad368.jpg）

EdTech 全球风向标：jiaojianli.com EdTech 全球风向标 2026年11月14日 · 第 31 期 · 全球教育 […]（来源：焦建利）

《Sold a Story》播客：准备好了吗！：本播客《Sold a Story》由 APM Reports 制作并经授权转载，是一档调查类播客，探讨孩子如何学习——什么教学方法真正有效。（来源：Hechinger Report）（图：/files/news/15447e963110.png）

本日报由固定源每日自动抓取生成：arXiv · MIT News · EdSurge · Hechinger Report · 量子位 · 教育部 · 知乎日报 · X 热点。历史去重，仅保留最近 180 天。