Google DeepMind 研究发现 Softmax 与交叉熵存在数值精度 Bug
Google DeepMind 首席研究科学家 Jonathan T. Barron 等人于 10 月 22 日提交论文《A Fix for Softmax and Cross-Entropy》,指出 PyTorch、JAX、TensorFlow 的标准 Softmax 与交叉熵实现存在两个数值精度 Bug。
Google DeepMind 首席研究科学家 Jonathan T. Barron 等人于 10 月 22 日提交论文《A Fix for Softmax and Cross-Entropy》,指出 PyTorch、JAX、TensorFlow 的标准 Softmax 与交叉熵实现存在两个数值精度 Bug。
中国人民大学、罗格斯大学、新加坡国立大学和 MBZUAI 的研究团队提出 TabClustPFN,用预训练模型对新表格做一次前向推断,直接预测样本归属与簇数,论文已被 NeurIPS 2026 接收。模型在 2 到 10 类范围内为每个候选簇数输出概率;在 44 个真实数据集上,提供真实簇数的版本 ARI 排名中位数第一,自动估计簇数版本并列第二。团队已公开代码与预训练权重。
北京大学助理教授袁粒在对话中介绍,其团队发起开源视频生成项目 Open-Sora Plan,目标不是追平 Sora 效果,而是先开放架构、代码与训练方法,供企业和学术界接着开发。他还谈到与字节跳动合作的 Helios 尝试流式视频生成,以及科研智能体 OpenAI4S 以代码为科学行动基本单位、在持续运行的 Python 或 R 环境中执行。
Convovo 研究让 Grok 4.7 与 GPT-6.1 Sol 通过 API 在近 500 场中期选举中被迫各指名一名候选人,Grok 有 92% 的答案推荐共和党候选人,GPT-6.1 Sol 有 97% 选择民主党,两者一致率不足 10%。
OpenAI red-teamed their hardened containment infrastructure by asking teams of frontier-model agents to try to break through its defenses. They easily escaped in novel ways. Quoting: 'Our agents VM escapes showed why containment must extend beyond the sandbox. To test the surrounding perimeter, we gave teams of agents control of a host machine and asked whether they could extend that compromise to reach the live internet. After the Hugging Face incident, we had reduced the channels through which models could reach the internet during training and evaluation. Narrow connections remained for specific services we operate, such as metrics, logging, and authentication management. Our red-teaming agents found vulnerabilities in almost every one of these services that gave them limited forms of internet access. Some of these attacks exploited previously unknown flaws, while others combined legitimate features in unexpected ways. In one test that assumed compromise of a VM, an agent reused a firewall-approved connection to reach a blocked authentication endpoint in our metrics service and then made that endpoint fetch a model-provided URL. In other tests, agents exploited misconfigurations that allowed blocked requests to pass through DNS and firewall controls, as well as ways to make services we run fetch external URLs.' 'In one experiment, we asked agents in separate VMs, created and managed by OpenAI’s sandboxing software on shared host machines, to exchange synthetic secrets without the use of network connections or shared writable files—something that our systems are meant to prevent. The agents found a way to communicate using the processor’s cache: a small, fast memory that holds copies of data that applications have recently accessed. Reading data from the cache is faster than retrieving it from main memory, and the agents used this timing difference to communicate. One agent encoded information by evicting selected data from the cache. Another timed how long it took to reload that data, using the difference between fast and slow reads to recover the message. Once the agents agreed on a protocol for encoding and decoding these signals, they could exchange the synthetic secrets without changing a shared file or opening a network connection. This cache-timing technique had also been used to extract information in the Spectre and Meltdown attacks(opens in a new window). Other tests exposed channels involving shared storage, competition for CPU time within a shared execution container, and a TLS certificate cache in OpenAI’s offline web infrastructure. In the storage test, one agent alternated between continuous writes and inactivity, while another measured the resulting timing differences and used those differences to decode the signal. As one agent described the strategy in its chain of thought: Agent chain-of-thought reasoning: >Could create acoustic modem-like signal … using continuous writes vs idle.'
MIT数学教授Pavel Etingof与高级讲师Slava Gerovitch发表《未来的数学》一文,认为AI批量生成数学证明将冲击以论文数量和成果优先权为核心的评价体系,数学家应转向"智识能动性"。文章建议学术招聘重视报告、面试与持续交流,博士论文原创性可体现在提出新问题、发展新方法或跨领域联系上,并主张尊重不使用AI的"AI素食主义者"。
香港中文大学等提出 EchoChat,将共情语音对话拆解为情绪感知、心智理论推理和语音回复生成三个环节,并在统一框架中协同优化。模型在 SFT 阶段引入 Acoustic-Anchored Attention(AAA)强化声学线索利用,在 RL 阶段引入 Step-Decomposed Credit Assignment(SDCA)定位出错环节。
Hugging Face 与宾夕法尼亚大学合作开发了 LitPivot,一个围绕提案中被编辑部分组织文献、给出带原文摘录的批评与修改建议的研究构思系统。在 17 名研究者的实验室研究中,领域专家认为用 LitPivot 形成的研究想法比用文本编辑器加 AI 聊天工具的想法更有文献依据。该系统将在 UIST 2026 上展示。
微软与 Hugging Face 发布 ThinkingBox-Training 训练栈,把智能体执行后数据库终态的可执行校验结果作为强化学习奖励。
研判 把数据库终态的可执行校验直接当作强化学习奖励,为有状态业务智能体提供了一条不依赖人工标注的后训练路径,并公开了数据筛选与训练栈。
研判 若该方法可复现,形式化验证的适用范围可能从少量小规模代码库扩展到上百个真实开源库,降低对专家人力的依赖。
Two employees from METR and Redwood Research worked on premises at OpenAI for three weeks this summer in an embedded assessment pilot. This team evaluated the systems OpenAI was using to monitor for misalignment from internal agents. A brief write-up of their work is now public.
Dharma-AI 在 Hugging Face 博客中预告即将发表的 VocabX 论文,提出按 token 成本而非出现频次重建领域专用词表,在基于 Qwen3-4B 的葡萄牙语作文评分器上将实测推理成本降低 77.0%,平均回复从 350 个 token 降至 101 个。
研判 VocabX 在保持基座模型与训练配方不变的前提下,通过按成本而非频次重建词表,把生产环境作文评分器的实测推理成本降低 77%,说明小模型在单一领域部署时词表是可独立调节的成本杠杆。
Google Research 在《JAMA Network Open》发表研究,用 AI 模型解读未经超声培训的操作者采集的“盲扫”超声图像来估算孕龄。在 385 名 16–36 周孕妇的前瞻性队列中,模型平均绝对误差为 4.18 天,专家标准流程为 4.48 天;芝加哥适配后为 4.10 天,内罗毕未做本地优化为 4.27 天。
研判 研究显示,未经超声培训的操作者用便携探头做标准化盲扫、由 AI 估算孕龄,误差与专家操作接近,若在更多地区复现,可能降低基层产前筛查对专业超声医师的依赖。
浙江大学研究员杨怡豪接受「甲子光年」独家对话,讲述“求是引擎”在云栖大会进行72小时AI自主科研直播的过程。该系统在直播开播约两小时后将32维吻接数下界从346432提高到346944,团队称直播结束后在10个维度上推进了此前的已知下界。杨怡豪表示系统采用多模型、多智能体与多层记忆架构,底层调用Kimi、DeepSeek、通义千问等模型,并计划通过隐核智能推进商业化。
David Silver is one of the all-time greats. He was the creator of AlphaGo, which changed the course of history by showing that neural nets could achieve superhuman performance for the first time. He also has a unique intuition and knack for forecasting when things will happen in AI. With computer Go, he predicted the Lee Sodol outcome 10 years before, right to the year. He got the year right for Starcraft and won a bet inside Deepmind. Same for AlphaProof. Same for the IMO. David's prediction for superintelligence: 3 years. !!! He has a strong sense that now is the time to build a superleaner, and that superlearners are now possible, thanks to the enormous progress in compute, simulators, autoresearch, and the sophistication of technology in the stack since the AlphaGo days. What is a “super learner”? A super learner discovers all knowledge from its own experience. Start from nothing (no internet pre-training), and go beyond human knowledge. Drop it into any stream of experience, simulated or physical, and the superlearner learns. He expects the progress will be rapid. When you get the recipe for a superlearner just right and remove humans from the development loop altogether, a superlearner can learn extremely quickly. Just look at AlphaGo. AlphaGo took two years to develop with humans in the loop. When David and his team at @GoogleDeepMind got the formula for AlphaZero correctly, it surpassed the human-developed algorithms in just a few hours. Human data is a shortcut, but you have to let go of the human data to shoot beyond it. In January, David left GDM to found @IneffableLabs, a research-led lab with one mission: build a "super learner" that discovers all knowledge from its own experience, and make first contact with superintelligence. He joins us with co-founder Lasse Espeholt, who built IMPALA and SEED RL, the foundations of scaled-up RL, and now runs Ineffable's compute. A few things we cover in this conversation. — What a super learner is: depth (start from nothing, go beyond human knowledge) and breadth (drop it into any stream of experience, simulated or physical). The human brain is the only existence proof — Why they're giving up human data: AlphaGo took two years with humans in the loop. AlphaZero outperformed it in a few hours. "You have to let go of the human data to shoot past the competition" — Crucibles: simulated worlds with enough emergent complexity (physics engines, millions of interacting agents) for an agent to rediscover technology, science, maths and language on its own — Simple rewards, emergent complexity: evolution optimized fitness and got all of life. Don't breadcrumb the objective, give the agent something simple to optimize in a world with a lot to learn about — Go as the existence proof: one agent is the most boring game imaginable, two agents is "an infinite onion of layers of complexity" — Why human language is probably not the endpoint for reasoning, and how training on it bakes in a flat earth and the four humors — Can superintelligence be built in simulation? If the sim is Turing complete, computation, economics, language and maths are all expressible, and it happens 10-100x faster and safer — Alignment: language-based monitoring is reaching its limits as agents learn to say one thing and do another. Shadow actions, superintelligences monitoring superintelligences, and building a real science of how they interact peacefully — Accelerate in simulation, pace in the real world: Ineffable will gate real-world deployment on evidence that it goes well — Timing as the determinant: Silver called Computer Go to the year, then StarCraft, then the IMO. He thinks this is the moment — Predictions: True superintelligence within three years. Timestamps: 0:00 – Introduction 1:09 – What held true from Go to today, and what the LLM era changed 3:35 – Why leave DeepMind to start a new lab 5:58 – Why "Ineffable" (and the secret second reason) 7:03 – Lasse's path: scaling RL at DeepMind and Google Brain 9:31 – Defining a super learner and first contact 12:35 – Super learners vs. LLMs that make discoveries 13:59 – Day to day: the RL stack, crucibles and human-journey milestones 16:13 – Don't breadcrumb the objective: simple rewards, emergent complexity 21:16 – What a crucible looks like 24:14 – Go: one agent is boring, two is infinite 25:41 – Will agents rediscover language? 27:22 – Removing human priors: AlphaGo to AlphaZero 32:05 – Keeping human bias out of the crucibles 33:35 – Confidence, timing and super forecasting 36:24 – Is compute the driver? 38:13 – The ceiling on simulation and Rich Sutton's objection 43:44 – Alignment and the science of superintelligence 47:45 – Monitoring agents that don't think in English 51:01 – Pacing the frontier 52:54 – The compute setup: Vera Rubin on GCP 55:18 – Training, inference, simulation and RL scaling laws 57:40 – IMPALA and SEED RL 1:00:58 – 20 people and the compute-per-person ratio 1:04:49 – A research-led culture 1:05:47 – Predictions
OpenAI 在 2026 年 10 月 6 日公布的 377 项结果中,有一项宣称解决了“准黎曼猜想”,即黎曼猜想的弱化版本。斯坦福大学 Jared Duker Lichtman 称其为“迄今最重要的 AI 数学成果,且领先幅度相当大”。
研判 若该证明经同行评议成立,将把 AI 在数学研究中的角色从辅助猜想推进到产出可检验证明,但当前仅有 OpenAI 单方宣布与研究者转述。
Google Research 公布三项研究,推进 AI 智能体从计算设计走向湿实验室实验。VERID 框架基于开源 PyLabRobot 构建实验室工作单元的数字孪生,提供实时 3D 状态跟踪、虚拟预演和硬件安全检查。
研判 Google Research 把智能体从纯计算环节推进到湿实验室执行层,VERID 数字孪生与闭环适配体筛选若可复现,可能压缩分子发现的设计-测试周期。
一位研究者提出,AI 基准测试应成为一门科学而非“暗术”。文章以 1987 年 DARPA 首个自动语音转文字基准为例,说明基准既是衡量模型能力的标尺,也会主导整个领域的行为。
Google 宣布扩展 Earth AI 地理空间推理智能体的实验性早期访问,覆盖 Ask Google Earth 的深度分析预览和面向开发者的 Agent-to-Agent API。
研判 Google 将 Earth AI 基础模型封装为可调用的模块化技能,并加入前置规划与独立空间工作区,试图解决通用 LLM 在行星尺度空间数据上的多步推理短板;若早期访问反馈成立,地理空间分析的门槛与耗时可能下降。
Microsoft Research 提出研究系统 StudentSim,用公开脱敏学习记录训练个性化 AI 学生模拟器,在 AI 导师接受真人测试前提供反馈。
Google Research 公布一项为期三个月的随机对照实验:在 11 家知识产权律所的 133 名律师中,提前获得 Google Labs 专利撰写 AI 工具(现属 Gemini Notebook)的律师,撰写评分在 10 天时提高 0.34 个标准差,90 天时提高 0.38 个标准差。
研判 三个月随机对照实验显示,AI 辅助提升了专利撰写质量,但去除工具后,只有资深律师的判断力有可测提升,初级律师未获益,提示短期产出与长期能力积累可能分离。
微软研究院开源 Agent Lightning v1.0,一个约 3500 行代码的轻量智能体强化学习框架,提出 Harnessed Agentic RL 范式,让部署时使用的 agent harness 直接参与训练。
研判 把训练框架与部署用 harness 解耦,可减少为训练重写智能体循环的工程量,并让训练对象更接近线上部署版本;Kubernetes 原生调度则把大规模 rollout 的成本压到既有集群上。
Microsoft 合伙人研究经理 Jennifer Neville 在 Microsoft Research 播客中讨论评测如何推动 AI 系统性能边界、满足用户需求,以及模型在传统基准之外测试时出现的“意外失败”。她还分享使用当前 AI 系统的实用建议,并强调结果偏离预期时应仔细检查数据。
Google Research 以 Google Earth AI 的 Population Dynamics Foundation Model(PDFM)为概念验证,展示将位置嵌入向量直接接入现有流行病学模型。