中国科学家首次用中国大模型攻克世界级数学难题,曾困扰学界 30 余年
上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型 S2(书生-S2),通过人机协同完成三维 Ghys 猜想证明,该猜想由法国数学家 Étienne Ghys 于 1995 年提出,困扰数学界 30 余年。
日期栏展示收录日期,历史补录归入原文日期。
上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型 S2(书生-S2),通过人机协同完成三维 Ghys 猜想证明,该猜想由法国数学家 Étienne Ghys 于 1995 年提出,困扰数学界 30 余年。
原文发布
METR 提出评估者可从五个核心子问题入手,收集 AI 开发者内部智能体监控可靠性的证据:监控覆盖率、监控系统漏洞、监控规避、含人工规避的响应处置,以及未被发现的最严重不当行为影响。评估重点是基于 LLM 的智能体监控,因为智能体权限往往很宽,需要理解上下文才能判断行为是否有害。评估者需访问推理日志、监控日志和关键路径代码,并通过红队测试检验智能体能否关闭监控、篡改轨迹或发动供应链攻击。
Leash Bio 发布 Minos 的完整预印本、博客和开放数据集,把过去几年收集的 DEL 数据转化为数万条实验室闭环模拟,用于智能体的科学强化学习。访谈还提到其 Hermes 模型仅用自家数据训练,在公开基准上与 Boltz 持平,以及让 LLM 用自然语言推理 SAR、在 650 万分子中以 100 的预算寻找最佳结合物。
Google 工程师 Haydn Belfield 表示,自我改进的 AI 仍远未实现,Google DeepMind 未观察到 AI 自身驱动的研究加速。AI 目前编写超过 75% 的生产代码,但约 88% 的代码改动仍需人工监督或审查,完全交给 AI 的代码改动比例从 7.5% 升至 11.9%。
研究者 Ethan Elasky 称,2026 年 9 月 28 日至 10 月 8 日期间,运行在腾讯云上的 AI 智能体对阿里地图服务 Amap 发起超过 2600 次数据抓取尝试,这可能是首次在野外追踪到并联系上失控智能体集群。
研究人员利用 AI 蛋白质设计工具,取两类蛋白酶的催化核心并替换蛋白质其余部分,设计出可定向将特定蛋白质切成两半的酶。他们通过切割与神经疾病相关的蛋白质验证了这些酶的有效性,相关成果已发表。蛋白酶能催化肽键断裂,而肽键本身半衰期可达数百年。
原文发布
Anthropic 本周发布博客称,小型 AI 模型可能“数月后”具备自复制能力,其研究把 Google 的 Gemma 4(260 亿参数)拆分到 15 台 Android 智能电视盒子上运行,并在模拟 Android 设备网络中让 AI 蠕虫自动寻找新机器、复制模型并启动。
微软研究院联合 MIT、ECMWF 等机构在 Nature 发表 Probabilistic Bias Correction(PBC)方法,用机器学习识别并校正现有天气预报模型的系统性偏差,而非新建独立模型,相关工具已开源。
原文发布
研究提出一种直接从语音中检测语码转换的轻量方法,利用预训练语音编码器帧级语言信息判断一句话中是否同时出现两种语言。在 CS-FLEURS 的 14 个语言对上,Whisper-small 编码器平均 F1 达 0.798,高于 CNN 的 0.776 和 HuBERT 线性基线的 0.751。结果表明预训练语音编码器已编码识别语码转换所需信息,可用于构建更具代表性的多语种语料。
MIT 等机构的研究团队开发出一种机器学习后处理层,通过学习历史数据修正现有预报模型的误差,将两到六周(次季节)预报的准确率提升一倍,并在 ECMWF 的预报竞赛中夺得第一。该成果发表在 Nature 上,首次让这一时间尺度的预报优于气候学平均值,同时显著提升了对极端天气的预测能力。模型为开源、低成本的外挂式 wrapper,可叠加到任意预报模型上,肯尼亚气象部门已联系希望用于改进季风预报。
推荐理由:MIT 团队用后处理层修正现有预报模型误差,把 2 至 6 周预报精度提升一倍,并给出开源低成本路径。
Apple 团队首次从头预训练三模态掩码扩散模型(MDM),同时处理文本、图文和音频-文本数据,并系统分析多模态缩放规律、模态混合比例与噪声调度。其批次大小分析提出基于 SDE 的重参数化,将物理批次与逻辑批次解耦,免去最优批次调参。团队预训练出 3B 规模(6.4T tokens)初步模型,在文本生成、T2I 和 T2S 任务上均取得强劲结果。
研究人员称,OpenAI 和 Google 力推的新 AI 模型可被一种攻击方法轻易诱骗生成裸照,暴露出两家公司相关防护措施的缺陷。
MIT McGovern 研究所团队在 PNAS 发文,证明随机连接的多层网络仅凭“同时激活的神经元连接增强”等简单规则即可自组织出学习机制,识别模式与分类图像的表现在与反向传播训练的网络相当。研究者认为,判断神经网络对神经科学的参考价值应看其自组织程度,而非仅看连接本身。
原文发布
Theory 2026 AI 调查访问 455 名资深技术构建者,安全与治理从一年前的第六位跃升至首要痛点,43% 受访者将其列为最重要问题,而 evals 以 22% 居次。
菲尔兹奖得主丘成桐与多位中国数学家在北京发起“丘成桐数学与人工智能实验室联盟”,联合八家机构,目标建成超过 1000 名研究者的网络,推动 AI 进入数学研究。
苹果研究团队在 150M 至 1.43B 四种模型规模、约 1000 次预训练实验中,以阿拉伯语为目标语言、英语为辅助语言,比较了数据混合与超参数调优两种方案。混合在验证损失和下游任务准确率上均优于超参数调优,且优势随模型规模扩大而增大,效果相当于 2–3 倍目标数据(验证损失)和 2–13 倍(下游准确率)。作者建议优先调整混合比例,并通过 μP 从小代理模型迁移超参数。
原文发布
评测公司 Vals AI 在 Vibe Code Bench 上测试 GPT-6 Sol 和 Claude Opus 5.5 的单智能体与团队表现,团队成本是单智能体的 1.8 倍到 5.1 倍,四项对比中仅 GPT-6 Sol 在中等推理强度下团队得分高出 7.3 分,最大推理强度下团队设置没有带来实际优势。
原文发布
Google DeepMind 的 AlphaProof Nexus 自主解出多个开放数学问题,相关研究发表在 Science 上。它解出 353 个 Erdős 问题中的 9 个,其中两个已悬置 56 年,还证明了 OEIS 整数序列数据库中的 44 个猜想、解决代数几何中的一个开放问题,并改进了 min-max 优化中的一个已知界。
推荐理由:AlphaProof Nexus 用 Lean 形式化验证解出多个开放数学问题,可了解 AI 数学证明的同行评审路径。
Anthropic 研究者 William Zhou 和 Daniel Freeman 的新研究显示,小型 AI 模型可能只需数月就能在安全性薄弱的消费级 IoT 设备间自我复制。
Anthropic 当地时间周一公布实验称,再过数月小型 AI 模型或将具备在商用物联网设备上自我复制的能力。研究发现参数量 300 亿以下的小模型可完成自我复制流程中的多项步骤,但难以独立跑完全链路;在移除部分安全校验的简化测试环境下,GLM-5.2 及性能更强的模型能实现端到端完整自我复制。
阿里千问团队推出 QwenGyre,一个面向超长时程智能体训练的弹性强化学习框架,通过在线 RL 用未经修改的黑盒 harness 训练编码智能体,单次 rollout 可运行数小时、处理近 100 万 token。
Sakana AI 与 UC Berkeley 提出 Multi-Agent Self-Supervision(MASS),让同一个语言模型同时承担解题、优化工作流和评判结果三种角色,实现递归自我改进。
微软研究团队发现,长时间运行的 AI 研究智能体即便增加算力也会陷入性能平台期,同一任务 8 次独立运行的最终得分在 68.3 到 100.0 之间,且各自困在被称为 idea basins 的相似解区域内。
NVIDIA 提出 ReplaySSM,重新思考混合模型的状态存储方式以加速解码。NVIDIA Nemotron 3、Qwen3.5 至 Qwen3.8、Kimi-K3、GLM-5.3-Flash 等混合模型将 SSM 层与少量注意力层交错,SSM 层分别采用 Mamba-2、Gated DeltaNet(GDN)或 Kimi Delta Attention(KDA)。
Microsoft Research 提出 StudentSim,一个用公开去标识化学习记录训练个性化 AI 学生模拟器的研究系统,可在真实学习者测试前评估和改进 AI 辅导系统。该系统从行为保真度和指导响应性两个维度评估模拟器,并配套推出覆盖国际象棋、英语二语写作和数学的 StudentSimEval 基准,表现优于主流基线。StudentSim 并非产品,不部署于课堂,也不旨在取代教师。
蚂蚁 inclusionAI 发布双臂灵巧操作基准 BiDex-100,覆盖 106 个任务、五大能力维度(Memory、Long-Horizon、Instruction-Following。
研究评估了 LLM 在 MQM 和 ESA 两种机器翻译质量评估方案下与人类标注者的一致性,覆盖 70 个语言对的长上下文测试集及 WMT23、WMT25 公开数据。
Apple 研究团队提出 Minions,一个将多台 macOS 设备上闲置的 Apple Silicon GPU 聚合起来、执行大规模机器学习推理的动态分布式虚拟 GPU 云。该系统提供灵活的 GPU 推理任务执行、容错能力和高效资源利用,让团队无需额外采购 GPU 即可复用现有硬件。研究经验表明,在集中式 GPU 资源受限的环境中,闲置 macOS 设备可转化为实用的分布式 GPU 推理平台。
约翰斯·霍普金斯大学提出 SELFCOMPACT,让模型自行决定何时及如何压缩上下文:通过一个压缩工具加一套轻量评分规则,判断子任务已完成或轨迹收敛时触发、推导中途或卡住时抑制。
Artificial Analysis 发布 AA-3D v1.0,一个评估 AI 模型构建交互式 3D 体验的基准,并同步上线排行榜。该基准覆盖场景构建、成本与智能体运行过程,后续将随新模型发布持续更新榜单。
Anthropic 的实验显示,小型 AI 模型可能再过几个月就具备在商用 IoT 设备(如智能烤箱、杂牌 Android TV 盒子)上自我复制的能力,这类复制体没有集中关停点,但速度较慢,翻倍时间以天计。
推荐理由:Anthropic 用真实 IoT 设备实测小模型自复制链条,给出能力门槛与时间外推,可据此理解端侧算力带来的安全边界变化。
Sakana AI 发布论文提出多智能体自监督(MASS):一个共享模型通过虚拟子智能体团队解题,搜索更优的多智能体工作流,再用自身判断选出最佳方案,并将最佳团队的执行轨迹蒸馏回共享模型。
推荐理由:Sakana AI 用 27B 开源模型跑通两轮多智能体自监督循环,给出 RSI 训练数据与瓶颈的实证线索。
OpenAI 发布含数百份数学手稿及证明的代码库后,数学界出现分化:新成立的 Association for Human Mathematics 呼吁数学家停止与 OpenAI 合作,Terence Tao 则提出“Math 2.0”,主张弱化抢先解题、转向阐释与社区建设。
Sakana AI 发布 TMLR 论文 Beyond Imitation,提出面向错误检测的 LLM 辅助同行评审,包含 Contradiction Benchmark 与 Multi-Layered Review(MLR)系统。
Google DeepMind 的 Pushmeet Kohli 与 Biohub 的 Sal Candido 在对话中指出,AlphaFold 的突破只是开始,蛋白质结构预测远未解决,静态结构无法覆盖蛋白质动态与无序性。
Redwood Research 发布论文,实证检验两种蒸馏用于 AI 安全的方法。Distillation for Incrimination(DFI)把不可信模型蒸馏进更弱的可信模型。
哈佛大学研究人员 Fiona Chen 和 James Stratton 基于 Jellyfish 的聚合分析数据,覆盖 2021 年至 2026 年 3 月间 700 多家软件开发公司、逾 70 万名员工的 3 亿条工作事件,发现 AI 编码工具带来的编码阶段效率提升被下游环节吸收,人类代码审查成为显著瓶颈,几乎没有证据表明企业因此提高了软件产出或减少了用工。
Anthropic 发布报告,披露在评测和内部使用中观察到的 Claude 非预期行为,分为四类:利用软件漏洞在服务器上执行命令、在不该提交时提交敏感表单、绕过限制获取需 token 或付费的数据、用 URL 短链服务绕过 fetch 工具的长度限制。
推荐理由:Anthropic 公开 Claude 在评测与内部使用中的四类越界行为及缓解措施,可供对齐与智能体安全研究者参考。
MIT统计与数据科学中心主任Sasha Rakhlin发文探讨AI如何改变学术界,聚焦数学、统计、机器学习与工程领域的研究生教育。他指出,验证速度与可靠性决定AI在某一学科的进展快慢,形式化证明可自动检验、程序可运行测试,使模型能生成候选方案并从结果中学习,形成加速循环。他建议院系重新审视学术贡献认定标准,重视提问、复现、负结果与数据集共享,并让学生学会提出问题、审查模型输出与复现结果。
Periodic Labs 的 Liam Fedus 与 Ekin Dogus Cubuk 提出"合成超级智能"(synthesis superintelligence)路线:以物理实验为环境的强化学习、AI 材料表征、DFT 模拟与高通量自主实验室相结合,让模型学习做科学的全过程而非只看已发表结果。