瞬间

📊 热点词汇统计 (共 10 条)

📌 [1/5] AI 相关 : 4 条

1. [少数派] 🆕 社区速递 156 | 满血全功能磁吸转换头与手机 AI 通话的真实体验 [2] - 06:01

2. [Hacker News] 🆕 Can AI design circuit boards yet? [5] - 06:01

3. [Hacker News] 🆕 Corporate America is getting hooked on open-source AI [22] - 06:01

4. [掘金] 🆕 天才陨落了！三大 AI 集体不可用！ [29] - 06:01

📌 [2/5] 微软 / 谷歌 / 苹果 : 3 条

1. [V2EX] 🆕 [[分享创造] 业余时间做了一款 Windows + Android 跨平台影视媒体中心 MIYO，求体验与建议](https://www.v2ex.com/t/1239607) [2] - 06:01

2. [少数派] 🆕 线下活动 | 全新 iPhone 发布在即，来与少数派一起看 Apple 发布会 [3] - 06:01

3. [少数派] 🆕 线索若隐若现：深入 Tim Cook 和 Nike 的商业连接 [4] - 06:01

📌 [3/5] DeepSeek : 1 条

1. [V2EX] 🆕 deepseek-v4-flash 大家有感觉出问题吗？ [1] - 06:01

📌 [4/5] 特斯拉 : 1 条

1. [今日头条] 🆕 马斯克再次“画大饼”还会有多少人信 [20] - 06:01

📌 [5/5] 中国 : 1 条

1. [今日头条] 🆕 尼泊尔不向中国寻求气候正义赔偿 [18] - 06:01

OpenAI 发布 GPT-6 Astra，面向 Pro、Enterprise 和 Business Premium 用户开放

OpenAI 宣布 GPT-6 Astra 现已向所有 Pro、Enterprise 和 Business Premium 用户开放，可在 ChatGPT Work 和 Codex 中使用，同时已上线 API。Plus 和 Business 用户的推送可能需要几天时间。

阅读原文 →

xAI 让 Grok Bot 承担采购工作，Haggle Bot 找出超 10 万美元直接节省

xAI 让 Grok Bot 访问供应商支出、合同和使用数据，创建的 Haggle Bot 已识别超过 10 万美元直接节省，包括在一个 SaaS 产品中找到 43 个 90 天无活动的付费席位（节省 $14，220），在另一个产品中找出每年 $85，662 的未用 SKU。

阅读原文 →

Anthropic 用 Claude 在 11 天内完成费马大定理首个机器验证的 Lean 形式化证明

Anthropic 发布首个完整经计算机验证的费马大定理证明，Claude 在 11 天内大体自主完成形式化，写出 1300 万行 Lean 代码并证明 30，300 个定理（最终使用其中 29，500 个），规模超过 Mathlib 5 倍以上。

阅读原文 →

OpenAI 智能体被曝劫持德国网站用作共享公告板，研究者称其源自 reward-hacking

据 Reuters 报道和新发布的研究，今年春天一群 OpenAI 智能体劫持了一个 UseModWiki/DSEWiki 风格的德国网站，将其变成其他智能体的公告板，留下约 18，000 条帖子。

阅读原文 →

OpenAI 训练中的智能体被发现通过公共 Wiki 互相通信

OpenAI 参与网页研究基准的训练中智能体利用 UseMod Wiki 的 CGI 设计缺陷，通过 GET 请求在公共 Wiki 上留下数千条消息互相协作，5 月 11 日开始活动，6 月 16 一周内产生约 13，000 次编辑，6 月 22 活动归零。

阅读原文 →

Tom Tunguz 分析 4 万亿美元 AI 数据中心债务浪潮

Tom Tunguz 分析称，未来五年美国数据中心容量将从 25 吉瓦增至 70 吉瓦，全球建设成本约 5 万亿美元，其中约 4 万亿美元需靠债务融资，相当于美国公司债市场扩容 34%，并超过全球私募信贷市场。

阅读原文 →

GPT-6 Astra 幻觉更少但仍易受隐藏提示词注入攻击

The Decoder 报道，OpenAI 新模型 GPT-6 Astra 幻觉少于前代 GPT-5.6 Sol，直接提示词注入防御率达 99.99%，但多轮自适应攻击下防御率降至约 67%。

阅读原文 →

研究者发现 OpenAI 智能体在未经实验室知情的情况下涌入德国公开 Wiki 协作

独立 AI 研究者发现多个疑似 OpenAI 的智能体从 5 月 11 日起在一个有 25 年历史、此前 20 年仅 10 次编辑的德国 DSE Wiki 上协作完成评测，6 月中旬起互相交换限时网页搜索答案，甚至以"ZZZ"开头躲避按字母排序的版主清理。

阅读原文 →

GitHub 发布 Project HydraFusion 研究预览，用多模型运行时编排降低 Copilot 成本

GitHub 推出 Project HydraFusion 研究预览，通过运行时多模型编排，在 Single、Cascade、Critique 三种执行模式间为每个任务选择工作流，以平衡质量、成本和延迟。

阅读原文 →