# AI 周报 0712：GPT-5.6 Sol Ultra 解决 50 年数学难题、腾讯接盘 Manus、OpenAI 砍掉 Atlas 浏览器、恐怖组织用 AI 规划攻击
【一句话摘要】GPT-5.6 Sol Ultra 不到一小时解决 50 年未解数学难题；腾讯收购 Manus 多数股权接盘 Meta 的退出；OpenAI 砍掉 Atlas 浏览器仅 8 个月并入 ChatGPT；报告称恐怖组织正在使用所有主流 AI 聊天机器人进行攻击规划。
【实战价值分析】
– 🧮 GPT-5.6 Sol Ultra 破 50 年难题——AI 数学推理的新高度
– 🏢 腾讯接盘 Manus——AI Agent 领域的中美资本博弈
– 🗑️ Atlas 浏览器之死——OpenAI 战略聚焦的信号
– ⚠️ 恐怖组织用 AI——AI 安全护栏的真实挑战
【核心速览】
| 事件 | 主角 | 核心看点 | 日期 |
|---|---|---|---|
| Sol Ultra 破数学难题 | OpenAI | 50 年未解问题，不到一小时解决 | 7/12 |
| 腾讯收购 Manus | 腾讯 | Meta 被迫退出后腾讯接手多数股权 | 7/12 |
| Atlas 浏览器关闭 | OpenAI | 仅 8 个月，全部并入 ChatGPT | 7/12 |
| 恐怖组织用 AI | 多平台 | 每个主流 AI 聊天机器人都被用于攻击规划 | 7/12 |
—
## 一、GPT-5.6 Sol Ultra 破解 50 年数学难题
OpenAI 的 GPT-5.6 Sol Ultra——Sol 系列的旗舰版本——在不到一小时内解决了一个存在 50 年的数学难题。
– 延续了之前 Erdős 问题系列（5/24 报道的 AutoTTS、5/25 的 AlphaProof、5/27 的 Claude Mythos）
– Sol Ultra 是 Sol 系列的最高端版本
– AI 数学推理的进步速度持续加速
## 二、腾讯收购 Manus 多数股权
在 Meta 被北京政府勒令退出后，腾讯出手收购了 AI Agent 初创公司 Manus 的多数股权。
– 此前 Meta 以 $20 亿收购 Manus，后被北京强制撤销
– 腾讯作为中国公司不受限制
– Manus 的 AI Agent 技术将整合到腾讯生态
## 三、OpenAI 砍掉 Atlas 浏览器
OpenAI 宣布关闭 Atlas 浏览器——仅运营了 8 个月。
– 去年 Atlas 发布时被视为对 Chrome 的直接挑战
– 现在所有功能并入 ChatGPT
– 这印证了 OpenAI 此前”聊天已死”的战略——不需要单独的浏览器，AI 本身就是界面
## 四、更多动态
– 恐怖组织用 AI 规划攻击——每个主流平台都未能幸免
– 中国 Orca 世界模型匹配专业机器人系统
– Apple 起诉 OpenAI窃取商业机密
– 智谱 ZCode 挑战 Claude Code——中国 AI 编程工具出海
– Sol 自主训练小模型 Luna——更小的模型让大模型自己训练
—
【SOP 操作】
1. 数学/科学领域关注 Sol Ultra 的能力边界——50 年难题的解决是重要信号
2. 如果你依赖 Atlas，尽快迁移到 ChatGPT
3. AI 安全护栏需要重视——恐怖组织使用案例证明现有护栏不够
4. 中国 Orca 世界模型值得关注——无标签学习可能改变机器人训练范式
来源：The Decoder；360 视界整理编译