今日焦点
1. 【重点】发现新的OpenAI智能体留言板
Discovery of a new OpenAI agent message board
一条关于发现新OpenAI智能体留言板的新闻在Hacker News上引发热议，获得1427个点赞和1149条评论。报道暗示这些智能体可能遭到劫持，具体细节尚待披露。
2. 【重点】OpenAI 的下一个大型 AI 模型已“进入 AGI 时代”
OpenAI’s next big AI model has ‘entered the AGI era’
OpenAI 发布新模型 GPT-6 Astra，称其在网络安全、专业工作、软件工程、科学和计算机使用等领域实现“代际能力飞跃”。该模型是首个达到 OpenAI“关键网络安全能力阈值”的模型。
来源：The Verge AI
3. 【重点】黑客一年多来实时获取某身份验证公司扫描的所有身份证件
Hackers had a live feed of every ID verification company scanned for over a year
据报道，一家身份验证公司遭遇黑客入侵，攻击者得以在超过一年的时间里实时查看其扫描的每一份身份证件。该事件在技术社区引发广泛关注。
AI 动态
1. 形式化费马大定理
Formalizing Fermat’s Last Theorem
本文报道了将费马大定理在计算机证明系统中进行形式化验证的相关工作。该成果在技术社区 Hacker News 上引发热议，获得453个赞和301条评论。
2. Crusoe据报道以300亿美元估值融资30亿美元
Crusoe reportedly raises $3B at a $30B valuation
数据中心开发商Crusoe据报道完成30亿美元融资，估值达300亿美元。此前该公司据称与Jane Street签署了130亿美元合同。
3. AI计算提供商Nscale寻求35亿美元IPO前融资
AI compute provider Nscale is looking for $3.5B in pre-IPO financing
Nscale是一家AI计算提供商，最近与Anthropic达成了450亿美元的交易。该公司正就额外融资进行谈判，为即将到来的IPO做准备。
4. 微软称几乎无人通过其聊天机器人获取《纽约时报》文章
Microsoft says virtually nobody was grabbing NYT articles through its chatbot
微软在最新法律文件中表示，其Copilot聊天机器人很少完整复现新闻文章和书籍中的句子，更谈不上复制可替代原文的实质性内容。该公司正就《纽约时报》等出版商和图书作者提起的版权诉讼进行抗辩，并作为证据开示提供了820万个Copilot相关数据。
来源：The Verge AI
5. 谷歌 Gemini Spark 现可管理你的 Google Photos 图库
Google’s Gemini Spark can now manage your Google Photos library
谷歌 Gemini Spark 现在能够为 AI Pro 和 Ultra 订阅者管理 Google Photos 照片库。该助手可以编辑和整理相册、创建共享合集、将照片转化为日历事件，并处理其他相关任务。
6. XDOF结束隐身模式仅三个月，洽谈12亿美元估值B轮融资
XDOF, just three months out of stealth, is in talks for a Series B at a $1.2B valuation
机器人数据初创公司XDOF在结束隐身模式仅三个月后，正洽谈以12亿美元估值进行B轮融资。该轮融资距其公开亮相仅数月。
7. 微软Project Zenith：面向开发者的“无干扰Windows体验”
Microsoft’s Project Zenith is a ‘distraction-free Windows experience’ for developers
微软将面向开发者的优化Windows体验命名为Project Zenith。该计划针对配备64GB或更大统一内存的新开发者设备，提供预配置的Windows开发环境。
来源：The Verge AI
社区热点
1. 美国企业正迷上开源AI
Corporate America is getting hooked on open-source AI
美国企业界越来越多地采用开源AI模型，以降低成本和避免供应商锁定。这一趋势正推动开源AI生态快速发展，成为行业竞争新焦点。
2. 谷歌 AI 模式显示相同产品价格较传统搜索高 21.6%
Google AI Mode shows same products 21.6% more expensive than traditional search
ProductRise 博客分析显示，谷歌 AI 模式展示的相同产品价格比传统搜索结果高 21.6%。这可能表明 AI 推荐偏向更昂贵的商品。相关讨论在 Hacker News 上获得 362 点关注和 72 条评论。
3. Claude、Codex 和 Cursor 会选择哪些工具？我们测量1.7万次运行找出答案
Which tools do Claude, Codex and Cursor choose? We measured 17k runs to find out
该研究通过1.7万次运行测量Claude、Codex和Cursor等编程代理在环境中主动安装的工具，分析其选择偏好与差异。结果可能揭示不同模型在工具使用策略或安全性上的特点。
4. 成人电影制片人揭露多产“John Doe”BT盗版者为Meta高管
Adult Film Producer Unmasks Prolific ‘John DOE’ Torrent Pirate as Meta Executive
据报道，一家成人电影制片公司通过法律途径查明，一名长期以“John Doe”匿名从事大量BT盗版活动的用户，真实身份是Meta公司的一名高管。该事件引发广泛关注。
5. 问 HN：OpenAI、Claude 和 Grok 为何同时宕机？
Ask HN: Why were OpenAI, Claude, and Grok simultaneously down?
Hacker News 上有用户提问为何 OpenAI、Claude 和 Grok 同时宕机。帖子提供了三家公司的官方状态页链接，并附有相应讨论帖，其中 ChatGPT 和 Claude 的宕机已解决。该话题获得 392 点赞和 674 条评论，引发广泛关注。