这一周AI圈大事：GPT攻克数学猜想，苹果起诉OpenAI
近七日，AI 领域涌现数件重磅事件。
一是历时四十年的数学猜想被 AI 攻克；二是全球市值第一的科技巨头将 AI 独角兽告上法庭；三是人形机器人真刀真枪地进了手术室。
这绝非科幻片台词，而是上周的既定事实。
· · ·
7月10日，OpenAI发布论文，标题虽低调，内容却震撼。
论文指出，GPT-5.6 Sol Ultra 成功证明了图论中悬而未决的“循环双覆盖猜想”。
该猜想看似简单：每个无桥无向图，都存在一组环，每条边恰好被覆盖两次。虽像智力游戏，但在数学界困扰了四十年。
GPT-5.6 Sol Ultra 给出了答案。
证明路径颇具匠心。模型将问题简化为三次图，借助8-流定理和Tutte经典成果，利用F32非零元标记边，转化为顶点处的二元集标记，最终归结为线性代数论证。全程由Codex辅助。
阅读论文PDF后，虽未全然通晓，但首作者署名“GPT-5.6 Sol Ultra”令人印象深刻。
这非人类辅助科研，而是AI独立解数学题。四十载难题，模型以海量GPU算力攻克。
尽管有人质疑是否为模式匹配，但论文已出，流程已走，数学界反应严肃。
我倾向于认为，我们正见证新物种诞生：非工具，非助手，而是能独立拓展人类知识边界的智能体。
同日，OpenAI还透露内部安全系统GPT-Red，通过自我对弈强化学习模拟攻击，测试成功率84%，远超人类红队的13%。
AI攻防AI，AI证数学。OpenAI一周产出远超多数机构一年。
· · ·
同样在7月10日，苹果向加州北区联邦地方法院递交诉状。
被告方涵盖OpenAI、OpenAI硬件负责人Tang Tang（前苹果高管）、前苹果工程师Chang Liu，及Jony Ive创立的io Products。
苹果指控OpenAI系统性窃取商业机密，利用挖角的核心硬件人才开发AI硬件。
戏剧性在于，双方此前有合作，现却对簿公堂。
此外，Jony Ive与Sam Altman私交好，传闻曾联手造AI硬件，此诉状将此线牵出。
诉讼或耗时久，但信号明确：大公司开始用法律遏制AI公司。
AI行业黄金扩张期，或步入合规与诉讼密集期。
· · ·
若觉数学证明、法庭诉讼遥远，机器人领域则更贴近现实。
特斯拉方面，Optimus Gen 3 已过马斯克评审，即将量产。供应链要求9月周产千台，年底达2000-2500台，年化10万台。
马斯克在高管会直言：达不到产能目标，就开掉采购团队。弗里蒙特工厂已改产Optimus，Model S/X已停产。
这意味着特斯拉以牺牲两款旗舰车型为代价，全力押注人形机器人。
学术界方面，加州大学圣地亚哥分校团队用宇树G1机器人完成活体微创手术，论文登Nature。
团队对活猪行腹腔镜胆囊切除术，第二次仅32分钟。虽需校正且未达无菌标准，但成本仅达芬奇系统的5%。
达芬奇系统造价两三千万元，5%即百万元，县级医院可负担。
合看两条线，信号清晰：人形机器人正从展示品变工人、变助手，成本下降超预期。
· · ·
7月15日，马斯克在X宣布开源xAI的Grok Build源码。
Grok Build为编程智能体与终端界面，开源后用户可本地编译运行，配置本地引擎。
代码库中发现Rust写的Mermaid图渲染器，可编译为WebAssembly在浏览器运行。
更有趣的是，开源前马斯克公开认错，承认Anthropic是当前AI领导者，并看好其Mythos 2。
马斯克亲口承认对手更强，实属罕见。
Bun被Anthropic收购后，作者用Claude Fable 5将Bun大量重写为Rust。原为Zig构建，月下载超2200万，现被Claude Code采用。
JS运行时被AI公司收购后交给AI用Rust重写，此情节一年前难以置信。
· · ·
本周中国AI动态亦活跃。
美团发布LongCat-2.0，1.6万亿参数，专为Agentic Coding设计，首个在国产集群完成的万亿模型。
小红书推出PIPO架构，一次处理两token吐两token，输入减半输出翻倍，AIME 2025基准提升7.15点，部署加速1.23/1.86倍。
百度在成都AI Day连发四项更新：个人版增浏览器调用、路由；行业版自媒体套件上线；企业版支持协作；搭子联盟启动。
DeepSeek-V4 Flash在AMD MI355X上跑通，2840亿参数MoE模型，每token激活130亿，四节点验证。
· · ·
最后聊几条冷门但有趣的消息。
数据安全公司Pangram分析百万帖，发现LinkedIn长文40%全由AI生成，X近半数文章是AI写，Reddit整体仅4.4%但顶层11.6%。
你正在读的此文如何？我无解，也不愿扫兴。
工具Claude Code桌面版增应用内浏览器，可像操作本地服务器一样阅读、点击、交互网站。
前谷歌DeepMind研究员Alex Turner因签署无限制军事AI协议离职，25页提案被CEO转交后无人理。
安全部门报告称，前博科圣地成员系统使用ChatGPT等工具辅助作战、排查故障、设计爆炸装置。
此消息恐最令人不安。AI无道德属性，落谁手中便是谁的工具。
· · ·
回望这七日，信息密度惊人。
模型证数学，巨头告OpenAI，机器人进手术室，社媒半文AI写，恐怖组织用AI策袭。
好坏交织，进退并行，这才是技术革命常态。
不宜简单判定好坏，它们是路标：AI将更强，法律追赶，机器像人，人依赖机器。
“AI能否改变世界”无需再辩，现问题是“我们要怎样的世界”。
以上，若觉不错，请点赞、在看、转发、星标⭐。
感谢阅读，再见。