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 排名中位数第一,自动估计簇数版本并列第二。团队已公开代码与预训练权重。
加州大学洛杉矶分校 RoMeLa 实验室发布双足机器人 PhoneBot,高 48.3 厘米、重 1.8 公斤、13 个关节,不含手机成本约 400 美元。手机置于躯干上承担摄像头、IMU、感知与步态解算,指令经 Wi-Fi 传给机内单板机驱动舵机,与本体无电气连接。实测视觉定位 CPU 占用最高 25%–34.3%,一台 2017 年的荣耀 9 即可运行整套双足控制。
英国赫瑞瓦特大学与日本海洋研究开发机构团队的论文《Contact-Aided Factor-Graph Localization for Underwater Sampling》获IROS 2026安全、安防与救援机器人领域最佳论文奖。
北京大学助理教授袁粒在对话中介绍,其团队发起开源视频生成项目 Open-Sora Plan,目标不是追平 Sora 效果,而是先开放架构、代码与训练方法,供企业和学术界接着开发。他还谈到与字节跳动合作的 Helios 尝试流式视频生成,以及科研智能体 OpenAI4S 以代码为科学行动基本单位、在持续运行的 Python 或 R 环境中执行。
Life Biosciences公布ER-100 Ⅰ期临床首批数据,3名开角型青光眼患者接受眼内注射并口服多西环素,第56天有2人出现视野改善迹象,3人均未报告严重不良事件。公司称ER-100是首个进入人体试验的细胞部分重编程疗法,数据安全监察委员会已建议下一组剂量从2×10¹¹升至6×10¹¹个载体基因组。该研究为开放标签、无同期对照组,计划招募最多18人。
GPT-6 Astra 于 2026 年 9 月初发布后,研究人员随即用 Physical AI 与机器人基准对其进行测试,部分测试中它的表现超过了用大量机器人数据训练的专用模型。
NeoCOAST-2 二期随机平台试验报告预设次要终点:在 IIA–IIIB 期可切除非小细胞肺癌患者中,新辅助第 3 周期第 1 天 ctDNA 清除率在 1、2、4 组分别为 50.9%、54.5% 和 72.5%,24 个月 EFS 率分别为 70.5%、75.7% 和 77.9%。
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素食主义者"。
两家 Fraunhofer 研究所的研究人员正在探索提升电池系统性能与寿命的新路径,其中一个方向是以锂本身作为活性负极材料用于锂金属负极,从而使电芯获得更高的比容量。
清华大学李一鸣教授团队发布两项 Physical AI 研究成果:世界动作模型 PrismWAM 与机器人执行诊断框架 RoboDoctor。PrismWAM 将语义上下文与物理状态解耦,在无额外动作数据预训练设定下于 RoboTwin 2.0 取得 83.67% 平均成功率、位列官方榜单第一,Clean-to-Random 评测成功率 75.5%。
香港中文大学等提出 EchoChat,将共情语音对话拆解为情绪感知、心智理论推理和语音回复生成三个环节,并在统一框架中协同优化。模型在 SFT 阶段引入 Acoustic-Anchored Attention(AAA)强化声学线索利用,在 RL 阶段引入 Step-Decomposed Credit Assignment(SDCA)定位出错环节。
云深处科技围绕自研具身大脑 DEEPRobotics-Brain 集中公布五项预印研究成果:世界模型 DR-WM-1.0、具身基础模型 DR-VLA-2.0、具身智能体 DR-Agent、策略优化框架 DR-APO 和数据闭环平台 DR-Benchmark。
Hugging Face 与宾夕法尼亚大学合作开发了 LitPivot,一个围绕提案中被编辑部分组织文献、给出带原文摘录的批评与修改建议的研究构思系统。在 17 名研究者的实验室研究中,领域专家认为用 LitPivot 形成的研究想法比用文本编辑器加 AI 聊天工具的想法更有文献依据。该系统将在 UIST 2026 上展示。
ETH Zurich 机器人系统实验室展示了一台四足机器人,仅用脚部自主完成巨型魔方还原。KAIST 人形机器人 v0.9 借助机载视觉反馈,演示推动最重 35 公斤、举起最重 20 公斤的物体并摆放出“KAIST”字样。Generative Bionics 宣布计划建设欧洲最大的 Physical AI 数据工厂,AMD 为其 AI 基础设施合作伙伴。
瑞典查尔姆斯理工大学研究人员开发出一种优化方法,用于更高效地引导自动驾驶电动出租车穿行城市交通。该方法将 AI 预测与数学模型结合,设计上可纳入异常天气等不可预测因素。
研究捕捉到疟原虫突破细胞膜入侵的实时过程。这一过程此前难以直接观测,新结果揭示了寄生虫“破门而入”的具体环节。
2026 雷克萨斯 ES 350e 是 ES 车系 37 年来首款纯电版本,也是丰田体系内首款搭载下一代 Arene 软件平台的车型。测试车为 Luxury 版,EPA 续航 292 英里,74.7 kWh 电池在 V4 特斯拉超充桩上 10-80% 用时 28 分钟。丰田计划到 2030 年将该平台扩展至 10 个品牌 50 款车型、覆盖全球 1000 万辆。
香港中文大学(深圳)教授赵俊华以首席科学家身份推进量子 AI 初创公司 QuantumMind 的研发与商业化,团队提出 QART 架构,将大模型推理中的路径选择转化为 QUBO 问题交由光量子设备求解。团队披露的早期测试中,六项基准的十五组测试有十四组接入后表现更好,且无需重新预训练基础模型。量子求解环节为毫秒级,但整体成本增加,收益随模型和任务而异。
北京科技大学等团队造出48.3克仿生扑翼机器人USTButterfly-II,用19对翅膀完成95次真机飞行,再以深度强化学习在三维形态空间搜索翅膀参数。结果显示升力性能参数提升339%、推力性能参数提升46%,优化翅膀真机测试与仿真预测误差低于7%。研究近日发表于Nature子刊《npj Robotics》。
微软与 Hugging Face 发布 ThinkingBox-Training 训练栈,把智能体执行后数据库终态的可执行校验结果作为强化学习奖励。
研判 把数据库终态的可执行校验直接当作强化学习奖励,为有状态业务智能体提供了一条不依赖人工标注的后训练路径,并公开了数据筛选与训练栈。
研判 若该方法可复现,形式化验证的适用范围可能从少量小规模代码库扩展到上百个真实开源库,降低对专家人力的依赖。
加州大学圣地亚哥分校Design Lab主导的Agile Electrification Project启动新阶段研究,未来12个月将有约200户装有光伏、家用电池、电动车和热泵的志愿家庭参与设计假设性VPP项目的规则。调查将覆盖空调调低频率、停电备用电池电量及参与动机,Balto Energy负责分析各户用电曲线变化,UCSD的DERConnect则模拟这些变化对加州实际电网的影响。
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.
Semiverse Solutions 团队基于 SEMulator3D 数字孪生工艺建模,提出采用 SA-BPR、SA-CT、SA-TSV 三个自对准模块的 SA-CFET 架构,并据此设计出 6T SRAM 与 NOT、NAND、NOR 逻辑标准单元。
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 估算孕龄,误差与专家操作接近,若在更多地区复现,可能降低基层产前筛查对专业超声医师的依赖。
微软研究院 Xinzhi Zhang 与合著者 Zhao Song 证明 1995 年提出的 KLS 猜想,证明在 2026 年 10 月 4 日的论文版本中完成。作者称该结果给出与维度无关的固定界,此前 2026 年 7 月的最好结果仍随维度缓慢增长。同日另有团队独立发布完整证明,随后出现 Lean 4 形式化验证。
研判 KLS 猜想被证明后,此前以该猜想为前提的高维采样与随机算法结论可改为无条件成立,可能影响凸几何、概率与理论计算机科学的论证基础。
浙江大学研究员杨怡豪接受「甲子光年」独家对话,讲述“求是引擎”在云栖大会进行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 首个自动语音转文字基准为例,说明基准既是衡量模型能力的标尺,也会主导整个领域的行为。
Microsoft Research 发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序执行过程,并返回约 12 毫秒即可验证的证明。研究团队称,在 15 个基准程序上,其速度比同类最快的 zkVM 平均快 10 至 39 倍,安全性仅依赖 SHA-256、SHA-3 等标准哈希函数,无需椭圆曲线、格假设或可信设置。
研判 Magnetar 把零知识证明的安全假设收敛到标准哈希函数,并让 Rust、Go、C 程序无需改写即可证明执行,可能降低可验证计算的使用门槛。
Google 宣布扩展 Earth AI 地理空间推理智能体的实验性早期访问,覆盖 Ask Google Earth 的深度分析预览和面向开发者的 Agent-to-Agent API。
研判 Google 将 Earth AI 基础模型封装为可调用的模块化技能,并加入前置规划与独立空间工作区,试图解决通用 LLM 在行星尺度空间数据上的多步推理短板;若早期访问反馈成立,地理空间分析的门槛与耗时可能下降。