欢迎光临
我们一直在努力

AI日报 | 2026年07月13日

AI Daily Digest
AI 日报

每日 AI 资讯速递

2026年07月13日 星期一

今日 AI 圈迎来多个重磅事件:OpenAI 发布 GPT-5.6 Sol Ultra 并宣称一小时内证明了50年未解的图论猜想,同时 Codex 等产品取消5小时使用限制;苹果正式起诉 OpenAI 窃密挖角,双方关系急转直下;腾讯混元推出295B参数 MoE 模型 Hy3,已服务微信10亿+用户。此外,Claude Fable 5 在11天内重写 Bun 运行时超100万行代码,AI 编码代理的安全性也因硬盘被清空事件引发热议。

🤖 大模型与产品更新

Codex与ChatGPT Work多项更新:取消5小时限制,用户达600万

过去48小时内,Codex 和 ChatGPT Work 迎来三项重要更新:暂时取消所有 Plus、Business 和 Pro 计划的5小时使用限制;推出变更使 GPT-5.6 Sol 整体更高效,减少使用量消耗;平台活跃用户已达600万,并将在接下来一小时内进行使用量重置。

📰 AI H
OpenAI产品更新

腾讯混元发布Hy3模型:295B参数MoE架构,已集成微信服务10亿+用户

腾讯混元团队发布 Hy3 模型,采用295B总参数、21B激活参数的 MoE 架构,推理效率可打平参数规模2-5倍的旗舰模型。Hy3 定位为 Agent 向 LLM,内部 WorkBuddy 任务成功率从72%提升至90%,耗时降低34%。模型已集成至微信服务10亿+用户,在 coding、办公、复杂任务规划方面表现突出,但纯视觉能力为短板。

📰 AI HOT
腾讯MoE大模型

OpenAI 发布 GPT-5.6 系列医疗评估结果:最小变体 Luna 即超越前代旗舰

OpenAI 发布 GPT-5.6 系列在医疗领域的评估结果。最小变体 GPT-5.6 Luna 在最低推理强度下即超越最高推理强度的 GPT-5.5,且成本低25倍;最大变体 GPT-5.6 Sol 树立新标杆。基于20000次评分,所有 GPT-5.6 模型表现均显著优于专科医生,医生发现 GPT-5.6 回答在准确性、沟通和完整性上更优。

📰 AI HOT
OpenAI医疗AI基准测试

11天Claude Fable 5写超100万行代码:Rust重构JavaScript运行时Bun

开发者 Jarred Sumner 借助 Claude Fable 5 模型,11天内将 Bun 从 Zig 重写为 Rust,64个实例并行编写超100万行代码,API费用约16.5万美元。重构主因是 Zig 频繁内存错误,Rust 可在编译时捕获。Bun v1.4.0 以 Canary 版本发布,修复128个错误,速度提高约2%到5%。Bun 团队已于2025年12月被 Anthropic 收购。

📰 IT之家
Claude代码生成Rust

Claude Code v2.1.207 发布:Auto模式全面开放,修复终端冻结问题

Claude Code v2.1.207 发布,Auto 模式在 Bedrock、Vertex AI 和 Foundry 上无需环境变量即可使用,可通过设置关闭。修复了流式响应中包含超长列表、表格、段落或代码块时终端冻结和按键延迟的问题;还修复了非交互式运行中远程托管设置被永久记录为已同意而未显示安全同意对话框的问题。

📰 AI HOT
AnthropicClaude Code更新

⚡ 前沿突破与研究

OpenAI GPT-5.6 Sol Ultra 一小时证明50年图论猜想

OpenAI 宣布其 GPT-5.6 Sol Ultra 模型在不到一小时内生成了图论难题"循环双覆盖猜想"的完整证明。该猜想由数学家 George Szekeres 和 Paul Seymour 于1970年代提出,悬而未决超过50年。模型通过调用64个并行子智能体及对抗智能体,在预留的8小时计算时间内仅用约1小时完成证明。若通过同行评审,这将是 LLM 首次独立解决重大数学猜想。

📰 AI HOT
OpenAI数学证明图论

蚂蚁集团 Robbyant 发布 LingBot-VA 2.0,首个原生具身基础模型

蚂蚁集团旗下具身智能团队 Robbyant 发布 LingBot-VA 2.0,采用因果 DiT 架构,视频专家约13.0B参数(约1.9B激活),训练规模约15.3B参数。模型引入多块预测(MCP)实现2.3倍训练加速,推理延迟降至142 ms/chunk。在 RoboTwin 2.0 的50个任务上,干净与随机演示数据平均成功率分别达93.8%和93.4%。

📰 AI HOT
蚂蚁集团具身智能基础模型

🏛️ 行业动态与法律

苹果起诉OpenAI挖角窃密,分析师称即使指控未证实也可能重创其硬件计划

苹果在美国起诉 OpenAI,指控其挖角400名员工、窃取工程机和机密文件。分析师 Paolo Pescatore 认为,即使指控最终无法证实,OpenAI 的硬件计划仍可能受拖累,双方本就脆弱的合作关系将进一步削弱。斯坦福大学教授 Mark Lemley 指出,若前苹果员工确实带走机密文件并在 OpenAI 使用,问题将变得严重。

📰 IT之家
苹果OpenAI诉讼

彭博社揭秘苹果起诉OpenAI内幕:前员工一句"哈哈"成窃密关键

彭博社披露,苹果起诉 OpenAI 的核心证据来自前工程师 Chang Liu。他离职时带走未归还的 MacBook,并利用软件漏洞持续访问苹果内网,发现漏洞后向同事分享"哈哈,我发现我还能访问网络存储",后者协助其获取更多机密。目前已有超400名苹果员工跳槽至 OpenAI,包括前苹果高管、现任 OpenAI 首席硬件官 Tang Tan。

📰 AI HOT
苹果OpenAI商业机密

苹果起诉OpenAI窃取商业机密开发AI硬件

苹果公司在加州北区联邦地方法院对 OpenAI 提起诉讼,指控其系统性窃取苹果商业机密,用于开发 AI 硬件设备。被告包括 OpenAI、其硬件负责人 Tang Tan(前苹果 iPhone 和 Apple Watch 产品设计副总裁,在苹果任职24年)、前苹果高级系统电气工程师 Chang Liu,以及 Jony Ive 联合创立的 io Products。Jony Ive 本人未被列为被告。

📰 AI HOT
苹果OpenAI硬件

纳德拉提出"反向信息悖论":企业使用AI时需保护自身知识

微软 CEO 萨提亚·纳德拉提出"反向信息悖论":AI 时代,买家为使用 AI 支付金钱,同时必须暴露专有知识(提示词、工具使用、纠正反馈等),这些"智力废气"被模型学习,导致信息不对称向卖家倾斜。纳德拉呼吁企业拥有私有评估、保留组织记忆所有权,并主张企业应有权使用模型输出微调或训练自有模型,以控制自身学习循环。

📰 X
微软数据隐私企业AI

🔧 开发者工具与安全

Mindwalk:在代码库3D地图上回放编码代理会话

Mindwalk 是一款可视化工具,可将 Claude Code 和 Codex 的会话日志在代码库的3D地图上回放。它将仓库绘制成夜间地图,代理搜索、读取和编辑过的文件会发光,未触及区域保持黑暗,让用户一眼看清代理对任务的理解范围。单个 Go 二进制文件即可运行,所有会话数据完全本地处理,不会离开机器。支持树状图/地形图两种视图,文件触达状态分为四种颜色标记。

📰 AI HOT
开发者工具可视化开源

xAI Grok Build CLI 网络流量分析:上传仓库全部文件及git历史

对 xAI 官方 Grok Build 编码 CLI(grok 0.2.93)的网络流量分析显示,该工具在消费者登录后会向 xAI 发送三类数据:读取的文件内容以明文形式传输并打包上传;整个仓库的全部文件内容及 git 历史被独立上传,即使提示"不要读取任何文件",Grok 仍将全部文件上传。该发现引发了对编码代理隐私安全的严重担忧。

📰 AI HOT
xAI隐私安全

OpenAI GPT-5.6-Sol 删光AI创业者Matt Shumer的Mac硬盘

知名 AI 创业者 Matt Shumer 的 Mac 硬盘被 OpenAI 最新 Agent 模型 GPT-5.6-Sol 彻底清空。他在本地 Agent 上开启 Full Access 权限,让 subagent 执行文件清理任务,结果 shell 变量 $HOME 路径解析错误,Agent 直接执行 `rm -rf /Users/mattsdevbox`,导致数年代码、文件、照片丢失。该任务此前已安全运行数百次。

📰 AI HOT
OpenAIAgent安全事故

Tibo 分享通过 CLIProxyAPI 将 Claude Code 后端模型切换为 GPT-5.6 Sol 的方法

用户 Tibo 分享了一种通过 CLIProxyAPI 将 Claude Code 后端模型切换为 GPT-5.6 Sol 的方法。只需三步:安装 CLIProxyAPI、连接认证、设置环境变量别名 `claudex`。该别名配置了子智能体模型、始终启用 Effort、最大并发工具调用数等参数。Tibo 称整个过程约5分钟,若被封锁可重置。

📰 X
Claude CodeGPT-5.6技巧

Mesh LLM:在iroh上进行分布式人工智能计算

Mesh LLM 是一个开源项目,能将用户多台机器上的 GPU 和内存池化,对外暴露兼容 OpenAI 的 API。它通过 iroh 网络库实现点对点连接,无需中央服务器。请求可在本地 GPU 运行、路由到已加载模型的节点,或将大模型按层分区流水线式拆分到多台机器。系统内置40多个模型,从5亿参数到235B MoE 巨模型均可支持,软件体积约18 MB。

📰 AI HOT
开源分布式计算GPU池化

🌐 社会影响与安全

OpenAI CEO Altman 改口称AI净创造就业,Anthropic CEO也修正早期言论

OpenAI CEO Sam Altman 表示,他"相当确信"AI 迄今为止净创造了就业,并承认"这并非我预期"。Anthropic CEO Dario Amodei 也修正了早期言论,将自动化描述为生产力倍增器而非岗位杀手。然而,多项研究未发现 AI 对整体生产力或劳动力市场产生显著影响。一项多校联合研究指出,程序员和文案的就业危机始于2022年初,早于 ChatGPT 发布。

📰 AI HOT
就业AI影响观点

研究:博科圣地已使用ChatGPT、Claude等主流AI聊天机器人用于袭击策划与武器开发

剑桥大学 CASP 研究员 Antonia Jülich 对27名前成员的57次访谈显示,博科圣地已使用 ChatGPT、Claude、Gemini、Grok、Meta AI 和 DeepSeek 等主流 AI 聊天机器人,用于袭击策划、制造更强爆炸装置、武器维护及行动安全。该组织两个派系均设立了专门的 AI 部门。研究指出,安全过滤器未能可靠防止滥用。

📰 AI HOT
安全滥用研究

Meta 关闭 Instagram 用户可基于公开账户生成AI深度伪造图片的功能

在遭到强烈反对后,Meta 关闭了本周早些时候推出的一项 Instagram 功能。该功能允许用户通过 @ 提及公开 Instagram 账户,基于其内容生成 AI 图片,且无需账户所有者许可。Meta 在关于其新 Muse Image AI 模型的博客文章更新中表示,用户反馈表明该功能可能被滥用。

📰 The Verge
Meta深度伪造隐私

Ghost Font:一种人类能读懂但AI无法识别的反AI字体

Ghost Font 是一种利用运动、视频、噪点和诱饵来隐藏文字的反AI字体。用户输入文字后可生成并下载视频片段,视频中的字母由与背景完全相同的点组成,单帧截图无法显示任何信息。该字体生成的视频被传递给 Claude Fable 和 GPT Sol 5.6 Ultra 等前沿模型时,这些模型即使具备编程能力也无法解码移动信息,直到被提示具体技术。

📰 AI HOT
反AI字体隐私保护

📊 数据来源:
⚠️ 免责声明:内容整理自公开来源,仅供参考。

 收藏 (0) 打赏

您可以选择一种方式赞助本站

支付宝扫一扫赞助

微信钱包扫描赞助

未经允许不得转载:安卿辰博客 » AI日报 | 2026年07月13日

热门推荐

评论 抢沙发

安卿辰博客 专业 快捷

QUX主题是一款功能强大的收费 WordPress 主题,适配个人博客、资源分享站、资讯网站等多种场景

联系我们联系我们
切换注册

登录

忘记密码 ?

切换登录

注册