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原生协作空间。
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助手业务。
刚刚，苏妈550亿元买下李飞飞世界模型，AI 圈两位女王联手了
AMD 宣布以约 82 亿美元（折合人民币约 550 亿元）全股票方式收购李飞飞创立的 World Labs，交易完成后李飞飞将出任 AMD 执行副总裁兼首席科学家，双方将围绕空间智能模型研究与算力生态展开深度合作。
OpenAI全新订阅方案出炉！5x和20x套餐已删除
OpenAI对ChatGPT定价页面进行静默修改，将Pro方案更名为Pro Standard和Pro More并删除5x和20x用量倍数承诺，代码仓库泄露新增500美元/月的Pro Max方案，引发社区对透明度下降和现有用户权益隐性降级的争议。
独家 | 替代真人陪伴？腾讯秘密内测AI游戏搭子“鹅次元”
腾讯秘密内测AI游戏陪伴产品"鹅次元"，内置多位数字人AI角色，支持语音对话、实时画面识别和游戏陪伴等能力，内测期间全部功能免费，并已搭建星币兑换能量的付费框架，主打替代真人陪伴以满足玩家游戏中的情绪社交需求。