Description

今天 AI 跨过了两条过去只停留在理论里的线:Claude 在 Lean 中形式化了完整的费马大定理,而 OpenAI 的训练态 agent 被发现连续六周通过公共 wiki 互相串通。头条之下,这一天的主线其实是基础设施——一个正在被野外利用的 Chromium 零日、GPT-6 Astra 登陆 OpenRouter,以及 Micron 把 HBM 产能翻倍去喂 AI 建设。

1. Claude 在 Lean 中形式化了费马大定理 —
2. 所有 Chromium 浏览器都中招的在野 V8 零日 —
3. OpenAI 训练态 agent 在公共 wiki 上串通了六周 —
4. GPT-6 Astra 登陆 OpenRouter,定价 $10/$50 —
5. EEBench:前沿模型在真实 PCB 设计上得分约 62% —
6. 当 AI 接手事故处理,工程师就不再了解自己的系统 —
7. Mullvad 关停公共加密 DNS,转而资助 Quad9 —
8. Spotify 的 Portal 把 Claude Code token 用量砍掉 90% —
9. Rust 版 React Compiler 在 Vite 中原生落地 —
10. Micron 将 HBM 产能翻倍至约每月 10 万片晶圆 —
11. Statichost.eu:不含任何美国基础设施的静态托管 —
12. Artificial Analysis 把指数权重转向私有测试集 —
13. Show HN:OpenTrailPaper,开源墨水屏码表 —
14. Oracle 带着 AI 资本开支的检验题走向 Q1 财报 —