搜索
OpenAI深夜发布GPT-6.1 Sol，作为原GPT-6.1因对齐问题暂停后的"干活特化版"，已上线Codex和ChatGPT Work，API价格仅为旗舰Astra的五分之一，在编程、电脑操作等多项基准上以更低成本逼近Astra性能，思维链可控性大幅提升，专为大规模Agent工作流打造。
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元/秒。
Anthropic的Opus 5.5凭借代码直出音乐MV的能力在社交平台爆火，马斯克多次转发并盛赞"史诗级""真切感受到AGI"，网友纷纷发起同题接龙挑战。
小纪有话说： “社区里每天有上万张鹈鹕踩单车的视频被发群里，问我这个鹈鹕降智了吗？”开源项目CodexRadar的发起人Lambda，在GPT-6 Astra发布之后，每天都收到巨量的鹈鹕视频，于是，
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双重验证的版本。