A.I. 日报
数学家借助AI证明范德瓦尔登数w(2;3,21)=416
一个长期悬而未决的范德瓦尔登数w(2;3,21)被证明等于416，证明经Lean 4内核校验。该值由Kullmann于2010年提出猜想，此次证明复盖209个案例、约3866万个叶公式，每个反证均由经CakeML验证的LRAT检查器cake_pr核验。证明由Hupyy的神经符号系统LPM生成，仅被Lean内核或cake_pr接受的步骤才计入。
DeepMind
14 篇报道DeepMind 是 Google 旗下的 AI 研究机构，开发了 AlphaGo 等系统。近期报道包括 Google DeepMind 发布支持 100 万 token 上下文的 Gemini 4 Argon 模型，以及 Dream-RSI 让智能体通过“做梦”复用过往搜索以把迭代次数最多减少 2.43 倍。其他消息多与离职人员有关：AlphaGo 共同创造者 Thore Graepel 创办 Metis Reasoning，前 DeepMind 研究者创立的 Emulate 据报接近完成约 7 亿美元种子轮融资。
相关话题
- Google7
- AlphaGo2
- Thore Graepel2
- CakeML1
- Hupyy1
- Kullmann1
- Lean 41
- Alphabet1
- ChatGPT1
- Claude1
- Space Exploration Technologies1
- Metis Reasoning1
Alphabet市值蒸发5000亿美元，AI机遇隐现
Alphabet第三季度财报后股价大跌约13%，市值蒸发5000亿美元。虽然营收增长25%至1276亿美元，但不及预期，搜索收入增速放缓至12%。分析师认为市场忽视了其垂直整合的AI生态系统，包括定制AI芯片、云业务和DeepMind。
前DeepMind研究员欲用AlphaGo思路治幻觉
前DeepMind研究员Thore Graepel创立Metis Reasoning，试图把AlphaGo的搜索原理引入通用推理：不将知识封存在模型权重中，而是建立显式知识账本，让每个结论都能对照证据核查。目前该方案尚无可用系统和基准测试结果。
谷歌称自我改进型AI远未到来
谷歌工程师Haydn Belfield表示，DeepMind内部数据显示AI并未显著加速AI研究，自改进AI远未实现。目前AI编写超75%生产代码，但88%的更改仍需人工审核；内部通用能力指数稳定增长，无突然提速。
凯文·凯利2016年AI预测十年后回顾
文章回顾凯文·凯利2016年著作《必然》中的AI预测，包括到2026年谷歌主打产品将是AI而非搜索、少数通用云智能形成寡头、AI更像AWS、大部分AI为专用软件大脑等观点。
Deepmind研究员提出"人工共生智能"替代奇点论
Deepmind研究所研究人员提出"人工共生智能"概念，认为通用AI不会以单一超级模型形式出现，而是由协作的智能体与人类构成的网络。他们强调关键不在于模型规模，而在于规范各方协作的规则与制度。
谷歌发布Gemini 4 Argon前沿模型
谷歌DeepMind推出Gemini 4 Argon，支持100万token上下文，擅长编码、金融研究、法律起草和网络安全漏洞修复。该模型先通过Fairwind计划向可信网络防御者开放，并配合美国政府预发布评估流程。输入token定价每百万2美元，输出每百万10美元，缓存输入享95%折扣。
本科生发NeurIPS论文后纠结博士选校
一名澳大利亚二线院校本科生在末年级以第一作者身份被NeurIPS 2026接收论文，现纠结是留本校读博（有政府合作企业奖学金）还是等一年申请美国或英国前15-25名校，目标是进入DeepMind或Meta等做研究员。
前DeepMind研究员为AI推理初创公司融资
AlphaGo联合创造者、前Google DeepMind研究员Thore Graepel正在为新AI推理初创公司筹集资金。他是最新一位离开DeepMind并寻求大额融资的知名研究员。
Google DeepMind的Dream-RSI让AI代理通过“做梦”改进
Google DeepMind的Dream-RSI方法让AI代理通过“做梦”回顾过去的搜索运行来测试新策略，无需昂贵的重新计算。在测试中，它匹配或超越了现有结果，将迭代次数减少了高达2.43倍，且仅调整搜索策略而不改变底层AI模型。
DeepMind衍生公司Emulate拟融资7亿美元种子轮
彭博报道，前Google DeepMind研究员创立的英国AI初创公司Emulate正洽谈筹集约7亿美元种子轮，显示投资者持续押注知名实验室校友创办的公司。该轮若成行规模属少见的超大种子融资。
DeepMind联合创始人警告AI能力不可超越安全控制
据FT报道，DeepMind联合创始人警示AI能力增长不可超过安全控制，强调在技术推进同时必须优先建立有效的安全和监管措施。
前DeepMind公关称实验室曾禁谈AI灭绝风险
前DeepMind 公共关系人员称实验室曾禁止公开讨论AI可能导致人类灭绝的议题，内部仍认为AI对齐问题未解决。
Anthropic前研究员辞职警告：AI在“赌我们的生命”
前 Anthropic 与 OpenAI 研究员 Jacob Coxon 辞职并警告 AI 风险，称超智能可能在本 decade 造成致命后果，Anthropic 内部成员也表示可能性超 10%。
已经到底了