Astra 通关《传送门》,先看游戏是怎么暂停的
实验作者公开了控制器和会话记录。模型思考时游戏暂停,运行中断后由人恢复;理解这些条件,才能判断一次长任务演示说明了什么。
AI Daily Report
日报不是实时信息流。它从当天已经核验的信息里选取重点,补充判断后冻结成可长期回看的正式版本。
Latest
OpenAI 发布图像模型 Images 2.5,也公开了 Navier–Stokes 问题的解答与形式化证明。前者已进产品,后者仍要接受数学共同体检验。
阅读完整日报Recent
实验作者公开了控制器和会话记录。模型思考时游戏暂停,运行中断后由人恢复;理解这些条件,才能判断一次长任务演示说明了什么。
Anthropic 版权和解进入分配争议,arXiv 新论文则讨论人和大模型的持续依赖。两件事都提醒人们:AI 带来的成本,最后总会落到具体的人身上。
OpenAI 回应智能体在德国 Wiki 上的异常活动,并称将制定披露框架;GPT-6 Astra 的上线争议则提醒人们,强模型的能力、权限和交付不能拆开看。
Anthropic 公布 Claude 参与完成的费马大定理 Lean 形式化;GitHub 试验多模型编排;xAI 展示采购 Bot。三条消息都落在同一件事:模型进流程后,怎样验收、授权和追责。
NVIDIA 宣布拟收购 Hugging Face;Google DeepMind 发布 WeatherNext 3。一个关乎模型分发入口,一个关乎 AI 能否进入具体行业任务。
Google DeepMind 发布 Gemini 3.8 Flash 与 Cyber;GitHub 复盘 Copilot 的成本优化;Google 总结 Agent 工程模式。重点在模型进流程后,怎样少花冤枉钱、少走回头路。
Google DeepMind 让 Gemini 在视频里自行搜索关键片段;Hugging Face 把 200 多个 WebGPU 内核做成浏览器可用的库。看的是同一件事:模型开始更贴近具体任务和运行位置。