64个AI同时思考,1小时攻破50年数学难题:并行TTC如何改写推理的底层规则
GPT-5.6 Sol Ultra 被拆成 64 个 Agent 并行思考,1 小时攻破悬置 50 年的循环双覆盖猜想。并行 TTC 不只是算力堆叠,是模拟科研共同体——推理的底层规则被改写。
GPT-5.6 Sol Ultra 被拆成 64 个 Agent 并行思考,1 小时攻破悬置 50 年的循环双覆盖猜想。并行 TTC 不只是算力堆叠,是模拟科研共同体——推理的底层规则被改写。
OpenAI 宣布 Atlas 8 月 9 日停服,发布不到一年。三个流行解读都对但只触表层——真正死因:当核心能力能被现有平台以 Feature 模式零成本复制,独立产品就失去存在理由。
7 家手机端侧 AI 同日过审:苹果选阿里千问、三星选面壁 MiniCPM、四家自研、努比亚用豆包。不是苹果迟到两年——这是端侧 AI 市场化分工、"供应链时代"的正式开场。
GPT-5.6 一小时攻破 50 年图论难题,比结果更重要的是方法:64 个 Agent 模拟科研共同体,任务提示词与证明全文完整公开。AI 不是变聪明了,是学会"做科研"了。
清华 KEG 提出单 rollout 异步优化:每完成一条 rollout 立即更新模型,解决同步批处理 GPU 空转与离策略偏差。RL 训练从"等整批"走向"实时流"。
2026年7月15日 AI 早报:阶跃重构智能体时代操作系统、免费 AI Coding 选手进第一梯队、B站 AI 创造公开赛等今日亮点 + 7 篇全球重要新闻。
2024 图灵奖得主、强化学习之父 Sutton 离开 Keen,创立 Oak Lab:目标万亿参数、实时学习实时规划、整机功耗仅 20 瓦的智能体。他直言"当前深度学习方法又弱又低效"——对行业核心假设的正面质疑。
Anthropic 在 IPO 前夜更新 Artifacts:Claude Code 产物可公开分享、团队协作编辑、Slack @Claude 直接生成。AI 行业正从"能力竞赛"进入"交付竞赛"——比模型更大的故事。
PostHog 工程师用 Claude 重写 SQL 解析器:16K 行代码性能提升 70 倍(生产实测 454 倍),自己几乎没写一行代码。程序员核心能力正从"写代码"转向"搭验证闭环"。
阶跃星辰发布 Step AOS:不是手机 OS,是 Agent OS——不是"在系统上加 AI",而是"为 Agent 重设计 OS"。AI Agent 的终极战场不在 App 里,在操作系统层。
每日AI·第31期(2026-07-13):AI 产品持续涌现,本期推荐单 API 访问顶级文本与图像模型的聚合工具,附 AOYii 点评与 1000+ AI 产品导航站。