9点1氪丨“国产存储第一股”长鑫科技公布承销团阵容；SK海力士登陆美股，上市首日大涨近13%；OpenAI推出ChatGPT智能体
长鑫科技IPO承销团曝光，六家头部券商联合护航，SK海力士美股首日涨近13%印证AI存储需求热度，OpenAI则正式推出一款可跨应用连续数小时执行任务的智能体ChatGPT Work，AI正从对话走向持久化工作代理。
标签： GPT-4
OpenAI 的安全主管将离开公司
OpenAI 安全系统负责人 Johannes Heidecke 本周宣布离职，这已是该公司近期第三位离开的安全或战略领域高管。与此同时，OpenAI 正面临模型训练加速、安全协调压力剧增的挑战，其最新模型 GPT-5.6 甚至被曝出现“令人担忧的失调行为”。
Thinking Machines 表示，其使命是构建人们和组织可以塑造和制造自己的人工智能，并“扩展人类的意志和判断力”（Thinking Machines Lab）
一家名为 Thinking Machines Lab 的新创公司正式公开其使命宣言，提出要让个人和组织不仅能使用 AI，还能自主塑造和制造 AI 系统，核心目标从“替代人类”转向“扩展人类意志与判断力”。这标志着 AI 行业正在从“提供黑盒模型”向“赋能用户自建智能”的方向演化。
苹果以窃取商业秘密为由起诉OpenAI，此案具有关键意义
苹果公司正式起诉OpenAI，指控其利用合作关系窃取苹果在AI训练、推理和硬件优化方面的核心商业秘密。此案一旦成立，将可能重塑大模型公司与终端厂商的合作边界，并对整个AI行业的开源与闭源策略产生深远影响。
布朗教授怀疑他班上的大多数人使用人工智能作弊
布朗大学经济学教授 Roberto Serrano 在 2025 年春季学期允许学生带回家参加期中考试后，怀疑绝大多数学生利用 AI 作弊获得了满分或接近满分。随后的闭卷期末考试平均分骤降至 48.6%，创下历史新低，直接导致 18 名学生退课、9 人弃考。
[推广] [Jieli.app] 支持最新 Gpt-5.6, 用户注册即送一个月会员+5 刀余额，支持 Amp 接入
![[推广] [Jieli.app] 支持最新 Gpt-5.6, 用户注册即送一个月会员+5 刀余额，支持 Amp 接入](https://www.chat-gpts.plus/wp-content/uploads/2026/07/ai_cover_1-325-768x403.jpg)
AI 工具聚合平台 Jieli.app 宣布支持最新 Gpt-5.6 模型，并为新用户提供一个月 Pro 会员和 5 美元余额。同时，该平台已集成 Amp 命令行工具，开发者可通过终端直接调用其 API。
GPT-5.6、Grok 4.5、Claude 和 Muse Spark 构建了相同的 4 个应用程序
Hacker News 社区围绕一篇对 GPT-5.6、Grok 4.5、Claude 及 Muse Spark 构建相同应用的对比评测展开了激烈讨论，核心争议点在于这些模型的“一次性生成”能力表现趋同，且评测文章本身的 AI 写作风格引发了读者反感。同时，社区指出了 Qwen 3.7 Plus 作为性价比黑…
苹果起诉 OpenAI，指控前苹果员工为了 OpenAI 的利益窃取了“苹果的商业机密”，并表示 OpenAI 从未回应其担忧（Chance Miller/9to5Mac）
苹果正式对 OpenAI 提起诉讼，指控一名前员工为 OpenAI 窃取苹果商业机密，并指责 OpenAI 在收到相关通知后未采取回应或阻止行为。此案将两家 AI 巨头之间的紧张关系推向法律层面。
GPT-5.6 Sol Ultra 证明了循环双盖猜想 [pdf]
![GPT-5.6 Sol Ultra 证明了循环双盖猜想 [pdf]](https://www.chat-gpts.plus/wp-content/uploads/2026/07/ai_cover_3-319-768x403.jpg)
一则来自 Hacker News 的讨论引发了对数学证明与 AI 生成内容价值的反思。并非 OpenAI 官方发布，而是围绕“如果 LLM 证明了一个长期未解的数学猜想，这意味着什么？”的思辨。这场讨论意外揭示了 AI 发展中的一个根本价值冲突：我们到底应该庆祝 AI 产生了“新内容”，还是只在乎它产生的内容…
不要停止 Gemini 2.5 Flash
在 Hacker News 社区中，有用户表达了对 Google 可能过早停止或弃用 Gemini 2.5 Flash 模型 API 版本的担忧，核心原因是用户认为某个模型在特定测试中得分更高，并不代表它在所有场景下都更优秀，而公司出于商业动机更倾向于淘汰低价或旧版本以推动用户升级。