- OpenAI的GPT-5.6 Sol Ultra解决50年数学猜想10.0
- 苹果起诉OpenAI窃取商业机密开发AI硬件9.0
- OpenAI 发布 GPT-5.6,合并 ChatGPT 与 Codex,推出 ChatGPT Work 智能体9.0
- OpenAI 发布全双工语音 GPT-Live9.0
- Bun 用 Rust 重写:重大转变8.0
- OpenAI 重置 Codex 和 ChatGPT Work 的使用限制8.0
- AI编程代理将开发者转变为工程经理角色8.0
- Vercel 推出 Native SDK:用 Zig 构建原生桌面应用,内置 AI Agent 支持8.0
- Anthropic任命本·伯南克加入AI安全信托8.0
- OpenAI 将生物漏洞赏金翻倍至 5 万美元,寻找通用越狱方法8.0
- OpenAI 详解 ChatGPT、Work 和 Codex 的区别7.0
- Meta 发布 Muse Spark 1.1,定价低廉7.0
0110.0
OpenAI的GPT-5.6 Sol Ultra解决50年数学猜想
OpenAI宣布其GPT-5.6 Sol Ultra模型使用64个子代理在一小时内完成了对图论中已有50年历史的“圈双覆盖猜想”的证明。该公司分享了提示词和证明,声称该模型在正式发布后不久就取得了这一突破。 这标志着AI能力的范式转变,因为一个大语言模型自主解决了一个困扰人类数学家数十年的长期数学猜想。如果得到验证,这表明AI现在能够为基础数学研究做出贡献,可能加速科学和工程领域的发现。 圈双覆盖猜想断言每个无桥图都存在一组圈,使得每条边恰好出现两次。GPT-5.6 Sol Ultra使用了64个子代理并行工作,由模型新的“ultra”模式协调,生成了证明。OpenAI发布了证明的预印本PDF,但尚未经过同行评审。该模型还显示出显著的性能提升:GPT-5.6 Sol Ultra在TerminalBench 2.1上得分为91.9%,超过了Claude Mythos 5的88.0%。
背景
圈双覆盖猜想由W. T. Tutte、Itai和Rodeh、George Szekeres以及Paul Seymour等数学家提出,已悬而未决约50年。它是图论中的一个核心问题,与图嵌入和圆形嵌入猜想密切相关。GPT-5.6是OpenAI最新的模型系列,包含Sol、Terra和Luna变体,其中Sol Ultra是最高能力设置,可协调多个子代理完成复杂任务。
7月10日 18:12在 X 打开#AI #mathematics #OpenAI #GPT-5.6 #breakthrough
029.0
苹果起诉OpenAI窃取商业机密开发AI硬件
苹果已对OpenAI提起诉讼,指控其系统性地窃取苹果商业机密,用于开发自己的AI硬件设备。诉状提交至加州北区联邦地方法院,被告包括OpenAI、前苹果工程师Tang Tan和Chang Liu,以及Jony Ive创立的io Products。 这起诉讼代表了两大科技巨头之间的重大法律冲突,凸显了AI硬件开发领域的激烈竞争。如果苹果胜诉,可能为AI行业保护商业机密树立先例,并可能打乱OpenAI的硬件计划。 Tang Tan曾是苹果iPhone和Apple Watch产品设计副总裁,于2024年2月离职加入Jony Ive团队。Chang Liu曾是苹果高级系统电气工程师。OpenAI近期以65亿美元收购了Jony Ive的硬件初创公司io Products,合并后的团队正在开发一款新的AI设备。
背景
苹果长期以来一直保护其知识产权,尤其是在硬件设计和工程方面。以ChatGPT等AI软件闻名的OpenAI正扩展至硬件领域,从苹果招募顶尖人才。前苹果设计总监Jony Ive联合创立了LoveFrom,随后创立了io Products,OpenAI收购该公司以打造AI硬件。
7月10日 22:43在 X 打开#Apple #OpenAI #lawsuit #trade secrets #AI hardware
039.0
OpenAI 发布 GPT-5.6,合并 ChatGPT 与 Codex,推出 ChatGPT Work 智能体
OpenAI 发布了 GPT-5.6 的三个版本:Sol(旗舰)、Terra(中端)和 Luna(轻量),API 定价从每百万 token 1 美元到 30 美元不等。公司将 ChatGPT 和 Codex 合并为一个桌面应用,并推出了 ChatGPT Work——一个能够跨网页、移动端和桌面执行复杂任务的 AI 智能体,可连接 Google Drive、Slack 等应用。 此次更新标志着 OpenAI 向成为 AI 生产力平台迈出了重要一步,直接对标 Google Workspace 和 Microsoft 365。ChatGPT Work 智能体将 AI 从对话工具转变为自主工作者,可能重塑个人和企业自动化工作流程的方式。 GPT-5.6 Sol 新增了两个推理档位:'max' 用于更深入的思考,'ultra' 则调用多个子智能体并行处理任务,目前仅限 Pro 和 Enterprise 用户。ChatGPT Work 能自主处理多步骤项目,例如将客户调研转化为营销方案,并支持定时任务,如每周自动汇总 Slack 消息。合并后的桌面应用提供 Chat、Work 和 Codex 三种模式,共享相同的能力和历史记录,Codex 展示代码差异和 PR,而 Work 则隐藏技术细节,面向非开发者。Codex 目前每周活跃用户达 500 万,其中超过 100 万人将其用于非编码任务,这促使了合并。
背景
OpenAI 一直在开发能力越来越强的 AI 模型,GPT-5.5 是之前的旗舰版本。Codex 最初是一个独立的编码助手,在开发者和非开发者中都获得了欢迎。该公司最近提交了 IPO 申请,企业客户贡献了 40% 的收入,因此产品整合成为战略重点。GPT-5.4 计划于 7 月 23 日退役。
7月9日 18:39在 X 打开#OpenAI #GPT-5.6 #AI Agents #Product Update #ChatGPT
049.0
OpenAI 发布全双工语音 GPT-Live
OpenAI 发布了 GPT-Live,这是一代新的语音模型,用全双工架构取代了 ChatGPT 原有的轮流语音模式。GPT-Live-1 和 GPT-Live-1 mini 今天起在 iOS、Android 和网页端全球推出,其中 GPT-Live-1 面向付费用户,mini 版本面向免费用户。 GPT-Live 标志着语音交互的范式转变,实现了双方可以随时说话和打断的自然对话。这可能显著提升每周超过 1.5 亿 ChatGPT 语音用户的体验,并迫使苹果 Siri 等竞争对手进化。 GPT-Live 将语音交互层与推理层解耦:语音模型处理实时对话,而复杂查询则交给后台的 GPT-5.5 处理,对话不中断。用户可选择三档推理强度(Instant、Medium、High)和九个新录制的语音角色。然而,早期反馈显示模型频繁的“mhmm”等回应可能令人厌烦,且上线时不支持视频通话、屏幕共享和 API 访问。
背景
之前的 ChatGPT 语音模式像对讲机:用户说完,AI 再回应,任何停顿都可能导致打断。全双工架构允许双方同时说话和倾听,模拟自然的人类对话。这是 ChatGPT 语音的第三代技术,此前已有改进。
社区讨论
社区反应不一:一些用户称赞 GPT-Live 是语言学习和实时翻译的游戏规则改变者,而另一些用户则抱怨过多的插入语让人感到干扰。TechCrunch 指出,印地语翻译演示带有明显的美式口音,措辞过于书面化。
7月9日 05:10在 X 打开#OpenAI #GPT-Live #voice AI #full-duplex #product launch
058.0
Bun 用 Rust 重写:重大转变
JavaScript 运行时和工具包 Bun 正在用 Rust 重写。这标志着其从最初使用 Zig 实现的重大转变。该公告在 Bun 的官方博客上发布,并由 Andrej Karpathy 在 X 上分享。 用 Rust 重写 Bun 可以提高性能、安全性和生态系统兼容性,因为 Rust 以内存安全和并发性著称。此举可能吸引更多来自 Rust 社区的贡献者和用户,从而加速 Bun 的开发。这也反映了在 JavaScript 生态系统中采用 Rust 进行系统级工具开发的更广泛趋势。 Bun 是一个快速的全能 JavaScript 运行时,包含打包器、转译器、任务运行器和 npm 客户端。重写将利用 Rust 的性能和安全特性,但具体时间表和变更尚未详细说明。Bun 的核心由 JavaScriptCore 驱动,Rust 重写旨在保持兼容性的同时提高速度和可靠性。
背景
Bun 是由 Jarred Sumner 创建的 JavaScript 运行时和工具包,旨在作为 Node.js 的直接替代品,内置打包、转译和包管理功能。它最初是用 Zig 编写的,这是一种注重性能的低级语言。Rust 是一种系统编程语言,以无需垃圾回收的内存安全著称,并且越来越多地被用于 Web 生态系统中对性能要求高的工具,例如 Deno 和 SWC。
社区讨论
未提供社区讨论,但 Karpathy 的转推表明 AI/ML 社区对此有浓厚兴趣。鉴于 Rust 在安全性和性能方面的声誉,转向 Rust 很可能会受到欢迎。
7月9日 17:11在 X 打开#Bun #Rust #JavaScript #tooling #rewrite
068.0
OpenAI 重置 Codex 和 ChatGPT Work 的使用限制
OpenAI 已重置 Codex 和 ChatGPT Work 的使用限制,并计划当天晚些时候再次重置。该公司承认在 GPT-5.6 Sol 和 ChatGPT Work 的发布中存在失误,包括使用限制不明确、桌面应用重新组织,以及让用户担心 Codex 可能被弃用。 此次更新显示了 OpenAI 对社区反馈的积极响应,这对于维护用户信任至关重要。通过重置使用限制并承诺改进,OpenAI 旨在平稳过渡到整合 ChatGPT 和 Codex 的新工作空间模式。 OpenAI 今天将两次重置使用限制以允许更多实验,更改默认设置以避免昂贵选项,并修复插件提交问题。下周的更大更新将以可定制的方式将聊天和项目带回侧边栏,并提高使用可见性。该公司明确表示 Codex 将继续存在,以消除用户担忧。
背景
OpenAI Codex 是一个基于云的软件工程代理,帮助开发者更快地构建应用,最初基于 GPT-3 并在 GitHub 代码上训练。ChatGPT Work 是由 GPT-5.6 Sol 驱动的生产力工具,专为工作场所协作设计。GPT-5.6 Sol 是下一代模型,在编码、科学和网络安全方面具有更强的能力。
7月10日 19:03在 X 打开#OpenAI #GPT-5.6 #ChatGPT #Codex #AI
078.0
AI编程代理将开发者转变为工程经理角色
@dotey 的一条热门推文指出,当使用AI编程代理进行Vibe Coding时,开发者的角色转变为工程经理(EM)。开发者必须管理上下文、分解任务并审查代码,类似于EM监督工程师团队。 这一见解重新定义了关于AI辅助开发的讨论,强调AI工具并未消除人工监督的需求,而是将其转移到更高层次的职责上。它强调了即使在使用先进AI代理时,代码审查和上下文管理的重要性,这对于生产级软件至关重要。 推文指出,AI代理缺乏主动性和完整上下文,需要开发者主动引导并验证输出。这类似于EM必须了解全局,而单个工程师只有部分知识。作者建议,对于生产就绪的代码,开发者必须审查AI生成的代码,而不仅仅是测试功能,并建议使用小增量变更(如持续集成)来管理代码量。
背景
Vibe Coding 是一种放松、心流状态的编码风格,常借助AI辅助。软件团队中的工程经理(EM)负责指导开发者、管理需求并确保代码质量。持续集成(CI)是一种敏捷实践,频繁合并和测试小的代码变更,以减少集成问题。AI编程代理如Claude Code和Kilo等工具,可以根据自然语言提示生成和编辑代码。
7月9日 16:28在 X 打开#AI-assisted development #coding agents #engineering management #code review #software engineering
088.0
Vercel 推出 Native SDK:用 Zig 构建原生桌面应用,内置 AI Agent 支持
Vercel 发布了 Native SDK,这是一个使用 Zig 语言和声明式标记语言构建原生桌面应用的框架。该框架拥有自定义 GPU 渲染引擎、通过 Elm 架构(Model/Message/Update)实现的确定性状态管理,以及内置的 AI Agent 协作能力。目前处于 pre-1.0 阶段,采用 Apache 2.0 开源协议,macOS 支持最为成熟。 Native SDK 挑战了 Electron 等跨平台框架的主导地位,提供了一种轻量级替代方案,生成的二进制文件仅几兆字节,无需捆绑浏览器运行时。其确定性状态模型支持录制和回放用户交互等新颖的测试能力,而一流的 AI Agent 集成使其为 AI 时代做好了准备。这可能会重塑开发者对原生桌面开发的看法,尤其适用于对性能敏感的应用。 该框架使用 .native 标记文件编写 UI,用 Zig 编写逻辑,CLI 工具链包括 native init、dev、check、test 和 build 命令。它内置了组件库(按钮、输入框、选项卡、对话框、虚拟列表、图表)和用于主题化的设计 Token 系统。渲染引擎直接在操作系统窗口中绘制像素,但将系统级交互(滚动物理、右键菜单、IME)委托给操作系统。平台支持:macOS(最成熟,支持 Metal 渲染、原生菜单、托盘)、Linux 和 Windows(可用但功能较少)、iOS 和 Android(实验阶段)。
背景
传统的跨平台桌面框架如 Electron 会捆绑整个浏览器引擎,导致应用体积庞大且内存占用高。Native SDK 采用不同的方法,使用自己的 GPU 渲染引擎并编译为原生二进制文件,类似于 Flutter,但采用混合策略,将部分系统交互委托给操作系统。Elm 架构(Model/Message/Update)强制单向数据流,状态变更仅发生在单个 update 函数中,使应用行为具有确定性和可测试性。Zig 是一种专注于健壮性和最佳性能的系统编程语言,常与 C 和 Rust 进行比较。
社区讨论
推文作者称赞 Vercel 的创新速度,但对这个雄心勃勃的项目能否善始善终表示怀疑。有社区成员将 Native SDK 与 React Native 和 Flutter 进行比较,引发了关于该框架渲染方法及其与 Zed 的 GPUI 相似性的详细技术讨论。
7月9日 03:37在 X 打开#Vercel #Native SDK #Zig #Desktop Development #AI Agent
098.0
Anthropic任命本·伯南克加入AI安全信托
Anthropic已任命前美联储主席本·伯南克为其长期利益信托(LTBT)成员。这是首次有前央行领导人加入AI治理机构。 伯南克的任命标志着AI安全治理向可信、独立监督迈出重要一步。这可能影响AI公司如何平衡利润与长期社会效益,有望为行业树立先例。 LTBT是一个由五名受托人组成的独立机构,负责监督Anthropic的公共利益使命。伯南克在宏观经济政策和危机管理方面的专长,有助于应对AI带来的系统性风险。
背景
Anthropic由前OpenAI研究人员创立,是一家专注于AI安全的公益公司。长期利益信托的设立旨在确保公司优先考虑长期社会利益而非短期利润,作为治理保障。
7月9日 16:35在 X 打开#AI governance #Anthropic #Ben Bernanke #AI safety #trust
108.0
OpenAI 将生物漏洞赏金翻倍至 5 万美元,寻找通用越狱方法
OpenAI 宣布将其生物漏洞赏金计划升级为持续进行的私人项目,并将最高奖励翻倍至 5 万美元。该计划特别邀请研究人员寻找一种能够击败针对 OpenAI 前沿模型预设生物安全挑战的通用越狱方法。 此举表明 OpenAI 更加重视先进 AI 带来的生物安全风险,因为通用越狱可能让恶意行为者绕过安全护栏。通过提高奖励并将项目转为私人性质,OpenAI 旨在吸引顶尖的安全和生物安全研究人员,在漏洞被利用之前主动发现关键弱点。 该计划现为持续进行的私人项目,而非限时竞赛,专注于预设的生物安全挑战。5 万美元的奖励针对的是能够跨 OpenAI 前沿模型工作的通用越狱,而非单一模型。特别邀请具有 AI 红队测试、安全或生物安全经验的研究人员参与。
背景
通用越狱是一种能够绕过多个 AI 模型安全约束的技术,可能导致有害输出。生物安全挑战涉及防止 AI 协助制造生物威胁,例如设计病原体或提供危险信息。前沿模型是最先进的 AI 系统,如 OpenAI 的 GPT-4 及未来模型,它们拥有强大的能力,需要强大的安全防护。
7月10日 18:25在 X 打开#AI safety #biosafety #bug bounty #OpenAI #jailbreak
117.0
OpenAI 详解 ChatGPT、Work 和 Codex 的区别
OpenAI 发布了一份详细的问答,澄清了 ChatGPT、Work 和 Codex 之间的区别,包括它们的用途、可用性和额度系统。说明强调 Work 是一个跨集成应用处理业务任务的智能体,而 Codex 专注于代码仓库,两者共享一个独立的“智能体用量”额度池,与 ChatGPT 聊天额度分开。 这一澄清帮助用户和开发者理解 OpenAI 不断扩展的 AI 智能体生态系统,减少对功能重叠和定价的困惑。通过明确区分聊天、工作和编码智能体,OpenAI 使得不同专业任务能更高效地使用其工具,有望提升各行业的生产力。 Work 和 Codex 共享一个“智能体用量”额度池,与 ChatGPT 聊天限额分开,这意味着大量使用其中一个会减少另一个的可用额度。Work 支持定时任务,可以运行数小时,通过插件与 Slack、Gmail 和 Google Drive 等应用集成。Codex 仅在桌面端可用,而 Work 正在网页和移动端逐步推出。定价从免费版到企业版不等,自 2026 年 4 月起按 Token 消耗计费。
背景
ChatGPT 是 OpenAI 的对话式 AI 助手,通过聊天界面回答问题。Codex 最初于 2025 年 4 月作为编码智能体推出,专为编写代码和修复错误等软件工程任务设计。Work 于 2026 年 7 月推出,是一个跨集成应用执行多步骤业务任务的智能体,交付完成的文档、电子表格或演示文稿。这三者都是 OpenAI 为不同用例提供专用 AI 智能体这一更广泛战略的一部分。
7月10日 18:45在 X 打开#OpenAI #ChatGPT #Codex #AI agents #productivity
127.0
Meta 发布 Muse Spark 1.1,定价低廉
Meta 通过其新的 Meta Model API 发布了 Muse Spark 1.1,这是一个强大的智能体与编程模型。该模型定价为每百万输入 token 1.25 美元、每百万输出 token 4.25 美元,极具竞争力。Meta 的 AI 负责人在 X(原 Twitter)上宣布了这一消息。 Muse Spark 1.1 的低定价以及在智能体和编程任务上的强劲表现,可能颠覆 AI 模型市场,挑战 OpenAI 和 Google 等竞争对手。此次发布标志着 Meta 大举进军开发者工具和 AI 服务领域,有望降低构建 AI 应用的门槛。新的 Meta Model API 也为开发者提供了访问 Meta 最新模型的专用平台。 Muse Spark 1.1 是 2026 年初发布的首个 Muse Spark 模型的重大升级。它被定位为 Meta 在真实世界编程和智能体任务中最强大的模型,由 Meta Superintelligence Labs 开发。该模型通过 Meta Model API 的公开预览版提供,这是 Meta 首个付费开发者 API。定价极具竞争力:每百万输入 token 1.25 美元(中位数 1.68 美元),每百万输出 token 4.25 美元(中位数 8.40 美元)。
背景
智能体模型是指能够自主执行任务、做出决策并与工具或环境交互的 AI 系统,常用于编程、自动化和复杂工作流。Meta 此前主要发布 Llama 等开源模型,而 Muse Spark 1.1 是通过付费 API 提供的专有模型,标志着战略转变。AI 模型市场竞争激烈,OpenAI、Google 和 Anthropic 等公司以不同价格提供强大模型。Meta 以低成本、高性能的模型入局,可能加剧价格战并加速 AI 智能体的普及。
7月9日 17:02在 X 打开#AI #Meta #model release #coding #agentic