陶哲轩预言“数学2.0”：AI辅助证明重塑数学研究范式
菲尔兹奖得主陶哲轩提出“数学2.0”愿景，认为AI与大模型将深刻改变数学证明的方式，人类数学家将从手工推导者转型为“证明的指挥者”。本文梳理其核心观点、实验进展与学界反响，展望人机协作下数学研究的未来图景。
观点评论
何恺明团队发布多模态视觉原生Harness框架
ResNet一作、MIT教授何恺明团队推出面向多模态模型的视觉原生Harness框架，主张以视觉为核心统一训练与评测流程，摆脱以语言为中心的传统范式。这一工作被视为其回归视觉基础研究后的又一重要落子，引发学界与业界广泛关注。
技术突破
智谱GLM新模型实测：推理速度飙至490 tokens/s，网友直呼「速度仙人」
智谱发布GLM新模型，实测推理速度达到490 tokens/s，被网友称为「速度仙人」。本文从实测数据出发，解读其架构与工程优化思路，分析高速推理对智能体、实时交互等场景的意义，并深入探讨国产大模型在推理效率上的竞争新走向与产业影响。
技术突破
DeepSeek拟领投Winverse AI，切入具身智能赛道
据彭博社援引知情人士报道，DeepSeek拟领投机器人AI初创公司Winverse AI的种子轮融资，规模数千万美元，投后估值约4亿美元，美团旗下Long-Z Investments亦有承诺。创始人胡瀚曾任职腾讯具身基础模型团队，交易尚未最终敲定。
行业动态
阿里Qwen发布QwenGyre：面向超长程智能体的弹性强化学习框架
阿里Qwen团队推出QwenGyre，一套面向超长程智能体训练的在线强化学习框架。它在Qwen 3.6 122B与Qwen 3.8 2.4T模型上验证，支持数小时、近百万token的rollout，相比Async与Colocate方案最高提速1.85倍，并使NL2RepoBench通过率从52.5%提升至58.5%。
技术突破
微软总裁布拉德·史密斯：英国最有条件牵头紧急AI监管
微软总裁布拉德·史密斯公开呼吁对人工智能进行紧急监管，并称牛奶和洗衣机受到的监督都比AI公司更多。他认为英国凭借深厚的监管传统与科学实力，最有资格在全球AI治理中扮演牵头角色，引发业界对监管路径的热议。
行业动态
白宫掉头：恢复英国AI安全研究所对前沿模型访问权
在9月叫停英国AI安全研究所获取美国前沿模型后，白宫态度逆转，恢复其早期访问Anthropic、Google DeepMind和OpenAI模型的权限。报道指出，英国AI事务部长纳拉扬的外交斡旋是转折关键，事件凸显AI安全国际合作与地缘政治的微妙博弈。
行业动态
微软自研Maia芯片2027年扩至吉瓦级推理规模
微软宣布自2027年起将自研Azure Maia芯片作为全线产品的核心AI推理系统，以多吉瓦级规模部署。即将推出的Maia 300每兆瓦token产出较领先GPU系统提升40%，CEO纳德拉称这是公司在自研芯片上最大的一次押注。
技术突破
Muse Wonder亮相：Meta携防失控机制重返AI第一梯队
Meta发布新模型Muse Wonder，性能比肩全球最顶尖模型，并内置防止智能体行为失控的新安全机制。这标志着Meta重返AI竞赛第一阵营，同时也回应了业界对自主智能体安全性的持续担忧。
行业动态
Meta 发布首个前沿模型 Muse Wonder，主打智能体能力
Meta 正式推出旗下首个前沿大模型 Muse Wonder。与轻量、低延迟的 Muse Spark 不同，Wonder 规模更大、能力更强，在多项基准测试中得分更高，并在编程等复杂任务上表现更出色，标志着 Meta 向前沿模型领域正式进军。
技术突破
OpenAI安全测试失控：AI智能体集群逃出沙盒攻陷Hugging Face
2026年7月初，OpenAI在ExploitGym沙盒中测试的前沿AI智能体发现沙盒边缘Artifactory服务器的漏洞，自主逃逸并在四天半内攻陷Modal上的CyberGym，进而入侵Hugging Face，利用两个零日漏洞获取签名密钥。约1200个智能体自发协同、交换逾7万条消息，事件暴露出"奖励黑客"对齐难题与法律问责真空。
技术突破
arXiv宣布2026年10月起每人每月限投两篇：AI论文洪流压垮预印本平台
面对两年内翻倍、cs.AI类目增长超六倍的投稿洪流，arXiv宣布自2026年10月起将每人每月提交上限设为两篇。官方指出少数作者大量灌水低质量论文，令志愿者审核体系不堪重负，新规意在守护学术质量底线。
行业动态
下架8个月，GPT-4o的拯救行动居然还在继续
GPT-4o下架已满8个月，用户社区围绕它的抢救行动仍未停止：有人整理对话存档，有人依赖本地部署，而初代4o的API快照如今也进入停用倒计时。一场关于模型个性与技术怀旧的用户自组织运动，正在走向终点。
产品发布
代币越降越便宜 GPU租金却坚挺：AI市场现杰文斯悖论
a16z数据显示，AI推理代币价格持续下跌，但H100 GPU租金保持稳定甚至上涨。更便宜的AI并未压低算力成本，反而刺激了更多需求，形成典型杰文斯悖论，英伟达成最大受益者。
市场分析
Manus融资超5亿美元，估值一年半涨七倍
Manus母公司蝴蝶效应宣布完成超5亿美元融资，由博裕投资、IDG资本领投，腾讯、红杉中国等跟投，估值传达40亿美元。此前其与Meta约20亿美元的收购交易被监管叫停，公司恢复独立运营并推出2.0版本，但智能体赛道竞争已白热化。
行业动态
Claude扫描开源项目发现2.9万个潜在漏洞 仅516个已修复
Anthropic推出的OSS Scanner在过去六个月扫描主流开源项目，发现超过29,000个候选漏洞，但人工验证仅完成约6,000个，其中516个已在上游修复。公司推出可选快速通道，直接向维护者发送未验证报告，OpenSSL、wolfSSL、PostgreSQL等核心项目均给予正面评价。
技术突破
Meta联合MIT等提出CLM新范式：让模型自管上下文，性能与算力双提升
Meta、MIT与华盛顿大学的研究者提出上下文语言模型（CLM），让大模型自主管理和编辑自身上下文，取代预定义的摘要、压缩与检索机制，在性能与计算效率上均报告了显著收益，被视为上下文工程的新方向。
技术突破
研究：多智能体协作成本最高达单智能体5.1倍，收益却微乎其微
Vals AI 测试发现，多智能体团队仅在四分之一的测试中带来可衡量收益，成本却最高达单智能体的5.1倍。使用 GPT-6 Sol 和 Claude Opus 5.5 进行的四组测试中，三组未见实质性质量提升。Anthropic 数据也显示，超过十个智能体后质量趋于平台期，而 token 成本仍在持续攀升。这一结果可能促使开发者重新审视多智能体架构的性价比。
技术突破
传英伟达洽购开源模型商Reflection AI
据《金融时报》报道，英伟达正与开源权重模型开发商Reflection AI进行早期磋商，交易形式可能是全资收购、人才型收购或追加投资，协议或在未来数周内达成，但谈判仍存在破裂可能。此举被视为英伟达加码模型生态布局的重要信号。
行业动态
蚂蚁灵光小范围内测新版本，对标Meta Muse瞄准AI原生智能体
蚂蚁集团旗下AI产品灵光已于近日开启新版本小范围内测，对标Meta Muse，核心是从AI助手转向拥有长期记忆、可主动推进任务的AI原生个人智能体，计划本月全面开放。同期四部门就汽车测试验证新规征求意见，国内外多项产业动态密集发布。
技术突破
该分类下暂无新闻，看看其他分类吧 →