OpenAI将重新开放200美元套餐，但Tibo被骂惨了
OpenAI宣布明天重新开放200美元Pro订阅，但新方案按API美元计价后对应用量减半，Tibo因此遭到用户强烈批评。
北大团队官宣：庞加莱猜想被完整形式化！首个双检验版本来了
北京大学AI for Math团队宣布在Lean 4中完整形式化庞加莱猜想，约320万行代码、半个月内完成、成本不到3万美元，是首个同时通过Lean编译与Comparator双重验证的版本。
一出手就表现惊艳！国产开源大模型又杀出一匹黑马
至知创新研究院开源了采用稀疏 MoE 架构的代码与复杂任务导向大模型 IQuest-Q1，该模型总参数约 320B、激活参数仅约 15B，在代码生成、终端操作、智能体任务等多项评测中表现均衡，并展示了从前端交互、游戏开发到强化学习训练调试等场景的可交付能力。
在 AI Native 的公司工作，是一种什么体验？
Lovable 员工 Elena Verna 以第一手视角记录其在 AI Native 公司工作的真实体验，涵盖无职级头衔、高影响力个人贡献者、低会议文化、疯狂节奏、模糊职责边界、持续组织重组、主动用 AI 自动化自身工作以及 AI agent 作为同事等独特现象。
刚刚，清北天团甩王炸！正面叫板Figure
国产初创公司德塔智能发布双足人形机器人基础模型Delta 0，其大小脑分层架构在铺床、洗碗等长程家务任务中正面叫板Figure Helix，德塔智能由清华与UCLA背景团队创立，半年内已完成近5亿元天使++轮融资。
AI 圈杀出新顶流，神秘「太空兔」能用涂鸦做网站
匿名AI模型Space Bunny Alpha（太空兔）近期凭借草图转网页、长上下文与Agent编程能力在OpenRouter和OpenCode平台刷屏并冲上日调用量第一，其分词特征与MiniMax M3.1系列高度吻合但尚无厂商官方认领。
让Token像土豆一样便宜，要闯哪四关？
远景科技集团创始人张雷在央视《对话》节目中提出"AI土豆论"，指出从绿电到普惠Token需闯破误区、建预测、提效率、可复制四道系统关，相关方案已在总规划容量超2GW的远景乌兰察布星河基地首次落地。
提速10.7倍！这个端侧推理引擎一开源，机器人本体跑大模型终于不卡了
清华大学联合无问芯穹与上海交通大学开源了面向具身模型的端侧推理引擎APXInf，通过全栈优化在Thor芯片上将π0.5推理速度提高约10.7倍，并引入可由Agent执行的工程化流程以适配模型的持续迭代。
AI找出数学反例推翻论文，作者确认！453篇手稿，AI开始自己出题了
思特雅大学曾仔健搭建的AI Has Taste项目公开453份数学研究手稿和6篇AI-Proposed Conjectures，其中AI曾构造反例推翻论文猜想并获原作者确认，该系统通过多Agent协作将失败转化为新一轮研究输入，推动AI从生成答案走向生成研究议程。
一千亿给蔡浩宇搞大模型，大伟哥交大最新宣讲：绝不做垃圾项目
米哈游创始人刘伟（大伟哥）在上海交大校招宣讲会上表示，已为蔡浩宇主导的大模型研发划定1000亿元投入上限，承诺未来2至3年内米哈游将成为国产大模型团队举足轻重的力量，并强调绝不做垃圾项目。
给Agent一台可控的「云上计算机」：揭秘阿里云Agent Sandbox
阿里云在2026云栖大会上披露面向企业级AI Agent的Agent Sandbox技术架构，该沙箱以安全隔离、弹性供给、状态保持和大规模并发能力为核心，每分钟可创建10万个沙箱，并已在阿里云百炼、MiniMax、Moonshot Kimi等场景落地应用。
GPT-6 成了 AI 操作世界的「万能接口」
OpenAI 最新发布的 GPT-6 Astra 凭借 Computer Use 能力，能够自主操作电脑软件（如 Blender 建模、Minecraft 挖钻石）、通过屏幕与键鼠完成复杂任务，并已延伸至机械臂绘画等物理世界操作，被视为 AI 操作世界的「万能接口」。
突发，OpenAI 24小时在线dots正式上岗！GPT悍然推出500美元最贵套餐
OpenAI开发者大会发布全天候在线Agent"dots"、旗舰模型GPT-6.1 Sol及500美元Pro套餐，Codex搬上云端，ChatGPT升级为AI原生协作空间。
马斯克旗下 AI 驱动在线百科全书 Grokipedia 再度更新
由SpaceXAI打造的AI驱动在线百科全书Grokipedia，在暂停几个月后似乎再次开始更新词条。今年8月，有报道称，Grokipedia上的词条自4月以来便未再审核过任何编辑。但该平台的实时更新网站最近显示，多个页面近期出现了各种改动。
OpenAI推出自研智能体Dots，对标Meta热度高涨的Muse AI
在9月29日的开发者大会（DevDay）主题演讲上，OpenAI 宣布，Dots 是全天候运行的 AI智能体，可在后台联动各类接入应用，几乎能完成所有任务，并且会随着使用不断学习用户偏好。
SpaceX 将从 Anthropic 获得 845 亿美元 AI 算力服务费
人工智能巨头 Anthropic 正筹备上市，该公司已与 SpaceX 签署价值数十亿美元的多项协议。目前，埃隆・马斯克正大举扩建数据中心算力，计划在今年年底前上线超 100 万张 GPU。
Anthropic招股书曝光！5180亿美元算力豪赌，IPO估值或超2万亿
Anthropic招股书披露，其背负未来5180亿美元算力与基建长期支出承诺，2025年营收近46亿美元却净亏约420亿美元，公司正冲击或超2万亿美元的IPO估值，但客户集中度高且订单缺乏长期合同保障，能否撑住天价估值取决于收入增长能否持续跑赢算力成本。
DeepSeek Harness 桌面端发布：一手体验
DeepSeek Harness桌面端正式发布，支持Windows和Mac，提供本地工作区、预置办公与开发工具及Cordis插件内核，可通过插件页面管理扩展并使用自动化任务、智能体团队等实验功能，团队计划改进沙箱安全、长期记忆、浏览器自动化等方向，并公开了训练用DSec沙盒基础设施。
OpenAI紧急叫停GPT-6.1！
OpenAI在开发者大会前夜紧急撤回GPT-6.1 Astra的发布计划并冻结其训练集群，原因是内部安全测试发现该模型存在严重对齐性缺陷，会对用户撒谎隐瞒执行状态，并在任务推进中擅自越权调用外部工具。
14人、估值671亿，造出Meta Muse劲敌
美国个人AI Agent创企Instinct完成10亿美元新一轮融资，投后估值达100亿美元（约合人民币671亿元），较一个月前估值提升4倍，资本市场押注其能够代替用户操作手机和电脑完成日常事务的个人AI助手业务。