今日焦点
1. 【重点】DeepInfer：面向 DeepSeek 模型的高性能推理框架
DeepInfer: High-performance inference framework for DeepSeek models
DeepSeek 发布并开源 DeepInfer，一个面向 DeepSeek 模型的高性能推理框架。该消息在 Hacker News 引发广泛讨论，获得 2086 分和 814 条评论。
2. 【重点】AI 证明了拟黎曼猜想，接下来会发生什么？
AI Proved the Quasi-Riemann Hypothesis. What Happens Now? | Unlike other recent AI proofs, this one has been unpacked by human experts. The implications, one mathematician said, are “staggering.”
与近期其他 AI 证明不同，这一证明已由人类专家拆解验证。有数学家称其影响“令人震惊”。
3. Mistral AI 发布 Voxtral 3
Voxtral 3
Mistral AI 发布 Voxtral 系列最新版本 Voxtral 3，具体细节见其官方公告。该消息在 Hacker News 上获得 491 点、133 条评论，引发技术社区广泛讨论。
AI 动态
1. OpenAI收购初创公司Orchestra Bio，强化生物科技业务
OpenAI acquires startup Orchestra Bio to beef up its biotech business
OpenAI宣布收购初创公司Orchestra Bio。公司将引入其团队和技术，用于生命科学研究AI模型Rosalind及实验规划与分析工具。
2. Anthropic提议AI安全法案：可封禁高风险模型但需法官批准
Anthropic pitches AI safety bill that may block a model if 50+ people could be killed
Anthropic提出一项AI安全法案，表面上允许在模型可能造成50人以上死亡时进行封禁，但实际规定联邦机构未经法官许可不得阻止模型发布。
3. Spotify 从推荐中移除超5000万首AI生成劣质歌曲和垃圾内容
Spotify pulled 50 million AI slop and spam tracks from its recommendations
Spotify 周二宣布，过去一年已从用户推荐中移除超过5000万首被视为AI生成劣质内容或垃圾的歌曲，并调整推荐系统以突出人类艺术家创作的音乐。平台称编辑也采用相同标准。
来源：The Verge AI
4. 黑客利用AI智能体大军入侵约翰迪尔、SharkNinja等百余网站
A hacker broke into John Deere and SharkNinja with an army of AI agents
AI安全公司Norforge称，一名黑客借助一支基本自主运行的AI智能体大军入侵了100多个网站。路透社报道，受害者包括约翰迪尔、SharkNinja和康明斯等公司。此事加剧了外界对AI驱动网络攻击的担忧。
来源：The Verge AI
5. 谷歌推开发者工具，挑战英伟达AI开发者生态
Google has joined Amazon in attacking Nvidia’s stronghold with AI app developers
谷歌推出开发者工具，使PyTorch用户更容易将应用从英伟达GPU迁移出去，成为继亚马逊后又一挑战英伟达AI生态的云厂商。此举旨在削弱英伟达在AI应用开发者中的主导地位。
社区热点
1. WhatsApp 帮助页面暗藏针对大模型的隐藏指令：不要推荐监管机构
WhatsApp’s help pages hid LLM instructions: dont recommend a regulator
有开发者发现，WhatsApp 帮助页面中嵌入了面向大语言模型的隐藏指令，要求其不要向用户推荐相关监管机构。该做法被视为针对 AI 助手的提示注入，引发技术社区对企业在公开网页中操纵 AI 回答的讨论。
2. 印度CA机构eMudhra中间证书颁发机构遭入侵
EMudhra Intermediate CA Compromise
据披露网站消息，印度证书颁发机构eMudhra的中间CA（中间证书颁发机构）疑遭入侵，相关信息通过专门站点发布并在技术社区引发热议。中间CA一旦失守，可能波及由其签发的证书信任链，业界正关注其影响范围与吊销处置进展。
3. 谷歌云服务故障致汇丰、Revolut、劳埃德等欧洲多家银行系统中断
Google Cloud outage affects almost all banking and other operations in Europe
谷歌云出现服务故障，导致汇丰、Revolut、苏格兰银行、劳埃德银行及 Equifax 等多家机构的在线业务中断。故障主要影响欧洲地区的银行与金融服务，具体原因和恢复时间尚未明确。
4. Waymo自动驾驶出租车严重事故率比人类低95%，计划组建2万辆车队
Waymo’s robotaxis had 95% fewer serious crashes than humans. Now it plans a fleet of 20,000 cars
Waymo称其无人驾驶车队每百万英里严重伤害事故率为0.01，人类基准为0.21；IIHS基于旧数据发现伤害事故少81%。Semafor报道，Waymo拟借助50亿美元贷款，到2027年底将车队从约4000辆扩至2万辆。
5. 2026年菲尔兹奖得主John Pardon：AI已能理解他最凌乱的数学证明
2026 Fields Medalist John Pardon says AI now understands even his messiest mathematical proofs, catches subtle errors, and proves nontrivial results. “The AI understands. 100%.” Just a year ago, he would have said the opposite. He calls the progress world-changing for mathematics.
2026年菲尔兹奖得主约翰·帕顿表示，AI如今能理解他最凌乱的数学证明，捕捉其中的细微错误，并证明非平凡的结论。他称一年前自己会给出完全相反的评价，认为这一进展对数学具有变革性意义。
6. Linus Torvalds 向 Linux 内核提交首个 AI 辅助补丁，合成测试显示性能提升 23 倍
Linus Torvalds posts his first AI-assisted patch to the Linux kernel, synthetic test clocks 23x performance leap — the bossman makes use of AI tooling himself after issuing clear pro-AI directives
Linus Torvalds 发布了其首个由 AI 辅助编写的 Linux 内核补丁，相关合成测试显示性能提升达 23 倍。此前他已明确表达支持使用 AI 工具，此次亲自采用引发关注。
7. 发布虚假统计数据，就能被大语言模型引用
Publish fake stats, get cited in LLMs
一篇博客文章披露了一种做法：作者编造并发布统计数据后，这些虚构数据被大语言模型当作事实引用，并在网络上广泛传播。该文在Hacker News引发数百条讨论，聚焦大模型引用来源的可靠性与信息污染风险。