GPT-5.6 一小时完成 50 年图论猜想证明

GPT-5.6 Sol Ultra 在不到 1 小时内完成了存在约半个世纪的循环双覆盖猜想证明，并生成一份 3 页 PDF。该猜想针对无桥图，要求用一批圈让每条边恰好被覆盖两次。模型通过 64 个子 agent 并行处理，将问题转化为有限域上的边标号和线性方程组问题：为每条边配置两个标签，使相同标签的边组成圈。

OpenAI 同时公布了约 700 个英文字符的完整 Prompt。它不规定固定解题步骤，而是明确验收标准、定义、边界条件和失败情形，并要求动态分配子 agent、设置独立审查，检查证明是否偷换定义或遗漏情况。

量子位

🌸 在花频道 · 茶馆水群 · 投稿通道

via 科技圈🎗在花频道📮 - Telegram Channel

#Tip #ChatGPT #Codex

多个信息源发布了关于「修改 Codex 配置文件以缓解 GPT-5.6 Sol token 消耗过快」的信息。

简单来说，这些信息源认为，GPT-5.6 Sol token 消耗过快的原因是超过 272k 的 context window，整条请求会按照双倍定价，所以应该手动限制 Codex 的 token window。

然而，超过 272k 的token window 双倍定价是 API 的计价规则，并不是 ChatGPT 的定价规则，Codex 团队成员（𝕏 @pvncher）也以确认了这点。

官方推荐的做法是移除配置文件（通常在 ~/.codex/config.toml）中的 model_context_window 和 model_auto_compact_token_limit 这两个自定义 flag（如果你曾经手动设置过）。

该成员也指出，如果你在移除了上述 flag 后依然发现 Sol 消耗 token 过快，首先考虑的应该是适当降低 thinking effort。

via AI Copilot - Telegram Channel

苹果与OpenAI反目始末：AI硬件野心之下，人才挖角如何演变为法律大战？

via cnBeta.COM - 中文业界资讯站 (author: 稿源：凤凰网科技)

Telegraph

苹果与OpenAI反目始末：AI硬件野心之下，人才挖角如何演变为法律大战？

7月12日，彭博社周六发文，披露了苹果起诉OpenAI的来龙去脉。文章称，OpenAI仍在摸索AI硬件，它的大力挖角引发了苹果的警惕。苹果认为，OpenAI试图在其内部复制苹果的产品开发体系。而且，本案的“主谋”曾与苹果候任CEO约翰·特努斯(John Ternus)争夺过硬件负责人一职，两人的关系并不融洽。 奥特曼与库克 明目张胆 当iPhone工程师刘畅(Chang Liu，音译)跳槽加入OpenAI新成立的硬件部门时，苹果认为称，他带走的不只是多年积累的工作经验。 根据苹果周五提起的诉讼，刘畅离职…

苹果与OpenAI反目始末：AI硬件野心之下，人才挖角如何演变为法律大战？

当iPhone工程师刘畅跳槽加入 OpenAI 新成立的硬件部门时，苹果认为称，他带走的不只是多年积累的工作经验。根据苹果周五提起的诉讼，刘畅离职时还带走了一台未归还的公司配发MacBook、一段与一位继续分享内部信息的苹果员工的密切关系，及最关键的一点：他掌握了一个软件漏洞，借此可以持续访问苹果内部文件服务器。“哈哈，我发现我还能访问(网络存储)，太搞笑了。”刘畅在发给前苹果同事彭玉婷的信息中写道。苹果公司指控称，刘畅随后利用该访问权限下载了演示文稿、硬件设计、制造细节和测试流程。而这一切都发生在他已在OpenAI工作期间。几个月后，即当年四月，彭玉婷也离职加入了OpenAI不断壮大的硬件部门。

—— 凤凰网科技、彭博社（详情请看原文）

via 风向旗参考快讯 - Telegram Channel