搜索
OpenAI在第四届DevDay开发者大会上发布25项更新，包括Dots个人agent、ChatGPT Space协作空间、GPT-6.1 Sol模型、Ultrafast极速档及Codex全面上云等，涵盖模型、搭建工具与分发三大板块。
Google面向符合条件的大学生推出免费领取一整年Google AI Pro或Google AI Plus的学生活动，美国学生可获原价约240美元的Pro方案，140多个国家和地区学生可获原价约60美元的Plus方案，活动通过gemini.google/students官方页面领取，有效期至2026年12月31日。
10个Claude Sonnet 5.5智能体通宵15小时、互发1270条消息并写出17895行Lean代码，在无人类介入的情况下完成悬置122年的汤姆逊问题N=7形式化证明，且通过Lean内核与nanoda双重验证。
Inferact开源TPU巨型算子与浪潮信息发布元脑SD200 Ultra超节点服务器，两家公司分别用谷歌TPU v7和128颗本土AI芯片，通过算子融合让Kimi K3推理性能提升3倍以上，且浪潮信息让K3自主编写超级算子。
RunningHub基于MiniMax H3开源基座发布增强版H3 RH Enhanced，2000组实测显示其多镜头长时叙事能力显著优于Seedance 2.0，16镜以上角色崩坏率降低超60%，生成成本低至0.1元/秒。
Manus发布2.0版本全家桶产品，包含新agent架构Cascade、面向工作创作的Manus Studio及个人智能体Cue，表明AI应用几乎只剩Coding/办公、视频/游戏与个人智能体三件事，并宣布组建团队开发面向国内市场的产品。
中国电信星辰通用人工智能实验室推出的轻量化文档解析模型TeleOCR（约1.2B参数）凭借形变感知学习、多边形版面分割、CGDP采样及内容—结构解耦等技术创新，在OmniDocBench v1.6、Wild-OmniDocBench、PureDocBench等多个公开榜单取得领先，并在ICDAR 2026 Sci-ImageMiner挑战赛中夺冠，目前已开源。
OpenAI宣布明天重新开放200美元Pro订阅，但新方案按API美元计价后对应用量减半，Tibo因此遭到用户强烈批评。
北京大学AI for Math团队宣布在Lean 4中完整形式化庞加莱猜想，约320万行代码、半个月内完成、成本不到3万美元，是首个同时通过Lean编译与Comparator双重验证的版本。
至知创新研究院开源了采用稀疏 MoE 架构的代码与复杂任务导向大模型 IQuest-Q1，该模型总参数约 320B、激活参数仅约 15B，在代码生成、终端操作、智能体任务等多项评测中表现均衡，并展示了从前端交互、游戏开发到强化学习训练调试等场景的可交付能力。