-
1
OpenAI新模型Astra攻克十大数学难题
OpenAI用内部版下一代模型Astra攻克10个此前无进展的数学与理论计算机科学难题，附带Lean形式化证明验证结果，数学教授Daniel Litt评价为一件大事。
Ten advances in mathematics and theoretical computer science ↗4.6 -
2
安全公司扫描7.6PB训练数据揪出泄露密钥
Truffle Security与Hugging Face合作，完成迄今规模最大的AI训练数据密钥扫描，覆盖7.6PB数据，发现大量泄露的API密钥与凭证。
Scanning 7.6 Petabytes of HuggingFace Training Data for Secrets ↗4.0 -
3
HF CEO：OpenAI若不兑现1亿美元或问责
Hugging Face CEO Clément Delangue在CNN采访中回应，若OpenAI未兑现对HF的1亿美元承诺，公司资源有限但会寻求问责机制。
Hugging Face's Clément Delangue on CNN: legal action against OpenAI over $100M commitment? ↗3.6 -
4
DeepSeek传将推出专属Agent Harness
据从业者透露，DeepSeek正在内测一款专属agent harness，并邀请开源agent项目开发者参与测试。
DeepSeek reportedly building a dedicated agent harness ↗3.3 -
5
分析：OpenAI若难上市或拖累云厂商财报
分析称微软、甲骨文积压订单增长高度依赖OpenAI一家客户，若其无法在8个月内完成上市，相关云厂商增长数据将大幅缩水。
Analysis: OpenAI's IPO risk could ripple through Microsoft/Oracle backlogs ↗3.2 -
6
3.1
-
7
Grok视频生成升级：原生1080p+图像语音参考
xAI旗下Grok Imagine Video 1.5新增文本生视频能力，支持图像与语音参考输入，并原生输出1080p分辨率。
Grok Imagine Video 1.5 adds text-to-video and native 1080p ↗3.1 -
8
研究：AGENTS.md对Agent正确率影响有限
一项覆盖Claude Code与Codex共288次评测的研究显示，AGENTS.md/CLAUDE.md上下文注入对任务正确率影响有限，失败多源于实现能力不足而非仓库知识缺失。
Study: AGENTS.md/CLAUDE.md context injection barely moves agent correctness ↗3.1 -
9
法官驳回xAI阻挠明州脱衣App禁令
明尼苏达州禁止AI“一键脱衣”应用的法律获准继续推进，联邦法官驳回xAI阻止该禁令生效的请求。
Judge denies xAI's request to block Minnesota ban on 'nudify' apps ↗3.0 -
10
开源GLM 5.2助力抵御未公开AI攻击
fast.ai创始人称团队用英伟达量化版GLM 5.2（Z.ai出品）成功防御一次来自未公开专有模型的攻击，呼吁勿全面禁止开源模型。
fast.ai founder: open model GLM 5.2 helped defend against a secret proprietary-model attack ↗3.0 -
11
Cursor从用量页移除Token费用信息
开发者反映Cursor用量统计页面与CSV导出功能中的Token费用金额信息已被移除，目前仅保留使用量数字。
Cursor removed cost information from the usage page and CSV export ↗3.0 -
12
Claude Code作者谈企业AI生产力落差
Boris Cherny援引1996年HBR研究类比指出，把AI置于业务流程核心并持续消除瓶颈的企业才能获得真实生产力提升，而非简单叠加工具。
Claude Code creator Boris Cherny on why AI productivity gains lag (HBR 1996 parallel) ↗3.0 -
13
百万博主自曝：AI使用已经不健康
YouTuber Hank Green公开反思并道歉，称自己从与LLM互动中获得的多巴胺“对我和世界都不健康”。
YouTuber Hank Green says his AI usage is 'not healthy' ↗2.5 -
14
科幻作家撰文拒绝在写作中用AI
科幻作家Charlie Stross撰文详细说明自己写作流程中完全不使用AI工具的具体原因。
Charlie Stross – On the non-use of AI in my writing process ↗2.5 -
15
Altman再谈用ChatGPT辅助育儿
OpenAI CEO Sam Altman在采访中再次分享把ChatGPT用于育儿场景的用例，称这是他觉得很酷的一种用法。
Sam Altman is still making the case for parenting via ChatGPT ↗2.4