OPC 资讯 💡
2026-07-11 | 自动收集
1. GPT-5.6 Sol Ultra 攻克数学难题：生成 Cycle Double Cover 猜想完整证明
OpenAI 的 GPT-5.6 Sol Ultra 模型成功生成了图论领域著名难题——Cycle Double Cover 猜想（循环双覆盖猜想）的完整数学证明，并以 PDF 形式公开发布。这是大模型在纯数学研究中取得的又一项重大突破，表明前沿 AI 已具备处理复杂抽象数学问题的深层推理能力。
- 来源: OpenAI PDF
2. 苹果起诉 OpenAI，指控前员工窃取商业机密
苹果公司在加利福尼亚州联邦法院正式起诉 OpenAI，指控其通过挖角前苹果员工非法获取芯片设计和语音助手相关的核心商业机密。该案涉及多名从苹果跳槽至 OpenAI 的硬件和 AI 工程师，凸显了顶级 AI 实验室之间在人才和知识产权领域的激烈竞争。
- 来源: 9to5Mac
3. SpaceX 计划再发射 10 万颗 Starlink 卫星，带宽提升 100 倍
SpaceX 已向美国联邦通信委员会（FCC）提交申请，计划在未来数年内再发射多达 10 万颗额外的 Starlink 卫星，将现有网络总容量提升约 100 倍。如果获批，这将使 Starlink 从当前的「补充宽带」升级为足以承载全球主要互联网流量的基础设施级网络。
- 来源: ZDNet
4. Prismata：限制 Web Agent 跨站提示注入的新安全框架
研究人员发布 Prismata 框架，专门用于防范 Web Agent 场景中的跨站提示注入（Cross-Site Prompt Injection）攻击。该框架通过沙箱化和输入验证机制，限制恶意网页内容对 AI Agent 行为的操控，为构建更安全的浏览器自动化和 Web Agent 应用提供了工程化解决方案。
- 来源: arXiv
5. GhostLock：潜伏在所有 Linux 发行版中 15 年的栈 UAF 漏洞
安全研究团队 Nebusec 披露了一个名为 GhostLock 的严重漏洞——一个存在于所有主流 Linux 发行版中长达 15 年的栈上 Use-After-Free（UAF）内存安全问题。该漏洞影响广泛使用的系统组件，虽然利用条件较为苛刻，但其长期潜伏的特性再次提醒我们关注基础系统软件的安全审计。
- 来源: Nebusec
6. 纽约市立法禁止欺诈性订阅 practice
纽约市议会通过新法案，禁止企业使用难以取消、隐藏条款和诱导续费等欺诈性订阅 practice。该法规要求所有订阅服务提供清晰、便捷的取消流程，违者将面临高额罚款。对于依赖订阅模式盈利的独立开发者和 SaaS 创业者，合规的订阅管理将成为产品设计的必备考量。
- 来源: The Guardian
7. War Atlas：人类历史上每场有名称战争的交互式地图集
War Atlas 是一个雄心勃勃的开源数据可视化项目，以交互式地图的形式呈现了人类历史上有明确名称记录的每一场战争。该项目将历史地理数据与事件数据库相结合，为研究者、教育工作者和历史爱好者提供了前所未有的宏观战争史视角。
- 来源: waratlas.org
8. Scarf 在生产环境使用 Haskell 七年后最终迁移
数据分析平台 Scarf 分享其技术栈迁移经验：在核心服务中使用 Haskell 长达七年之后，团队最终决定全面迁移至其他语言。文章坦诚地讨论了 Haskell 在招聘、生态成熟度、工具链和长期维护方面的现实挑战，为在技术选型中考虑函数式语言的技术负责人提供了宝贵的真实案例。
- 来源: avi.press
9. 成功企业如何「变瞎」：组织盲区与战略僵化分析
一篇深入的管理分析文章探讨了成功企业如何在市场变化中逐渐丧失洞察力和适应能力。作者指出，过去的成功经验和内部共识往往会形成「认知滤镜」，使组织对新威胁和机会视而不见。对于一人公司和超级个体而言，保持外部信息输入和定期质疑自身假设是避免陷入同样盲区的关键。
- 来源: ianreppel.org
10. 好工具应该是「隐形」的
开发者 Ginger Bill 撰文阐述了他对「好工具」的定义：真正优秀的工具应当在使用时几乎不被感知——它们不会强迫用户改变工作流，不会制造额外的认知负担，而是无缝地融入现有的创作过程。这一理念对于独立开发者和工具构建者具有重要参考价值：产品的最高境界是让用户忘记工具的存在，专注于目标本身。
- 来源: Ginger Bill