-
1
Mistral 小模型屠榜形式化证明
Apache-2.0 开源，119B 总参 6B 激活，miniF2F 满分、PutnamBench 解 587/672 题，单题成本约 4 美元
Leanstral 1.5: Proof Abundance for All ↗4.1 -
2
谷歌关停 Gemini 编码助手
Google Cloud 文档披露 Gemini Code Assist 将于 7 月 17 日停止服务，距公告仅两周时间
Gemini Code Assist will be shut down on July 17 ↗3.6 -
3
Mythos 上线前后高危漏洞激增
Epoch AI 数据显示，严重级 CVE 新披露量在 Claude Mythos Preview 发布前后出现明显峰值
New serious vulnerabilities spiked around release of Claude Mythos Preview ↗3.5 -
4
欧洲议会议员遭 Pegasus 监听
Citizen Lab 证实，参与间谍软件调查委员会的欧洲议会成员手机被 Pegasus 入侵
Espionage Against the European Parliament ↗3.4 -
5
GLM5.2 跑 AMD 成本减半
wafer.ai 实测 GLM5.2 在 AMD MI355X 上达单节点 2626 tok/s，成本不到英伟达 Blackwell 一半
GLM5.2 on AMD MI355X at 2626 tok/s/node at over 2x lower cost than Blackwell ↗3.3 -
6
DeepMind 工会谈判开局不顺
Wired 报道，首轮谈判中员工不满管理层回避工会化议题，双方分歧明显
Google DeepMind Unionization Talks Are Off to a Rocky Start ↗3.1 -
7
Kimi K2.5 并入 HF 主库
Transformers v5.13.0 新增 Kimi K2.5/2.6/2.7 架构，K2.5 是开源原生多模态 agent 模型
Transformers v5.13.0: Kimi K2.5/2.6/2.7 support ↗3.1 -
8
Claude Code 权限默认改手动
v2.1.200 将默认权限模式更名 Manual，提问对话不再自动继续；v2.1.201 随后跟进发布
Claude Code v2.1.200 / v2.1.201 ↗3.1 -
9
代码转图片让 Fable 成本降六成
开源工具 pxpipe 把代码渲染成图片交给模型 OCR 识读，宣称 token 成本下降约 60%
60% Fable cost cut by converting code to images and having the model OCR it ↗3.1 -
10
3.1
-
11
居民罢免官员抗议数据中心
卫报报道，美国多地居民不满数据中心强行落地，发起罢免地方官员的选举行动
US residents angry datacenters 'shoved down our throats' are recalling officials ↗3.0 -
12
2.9
-
13
agent 记忆设计：别死记会话原文
HN 热帖批评把会话记录原样存成 agent 记忆的做法，主张只沉淀提炼后的结构化事实
Claude, please stop trying to memorize random crap ↗2.9 -
14
本地跑 SOTA 开源模型实操指南
jamesob 开源 local-llm 指南，整理本地硬件运行最新开源大模型的选型与配置经验
Jamesob's guide to running SOTA LLMs locally ↗2.7 -
15
2.7
-
16
透明代理实时抓 MCP 流量
Show HN 项目 mcpsnoop 以透明代理加实时 TUI，查看 agent 与 MCP 服务间调用流量
Show HN: Mcpsnoop – Wireshark for MCP (transparent proxy and live TUI) ↗2.7 -
17
三家核能初创反应堆里程碑
Wired 报道三家核能初创新反应堆设计上线，但距离规模化供电仍有很长距离
3 Nuclear Startups Hit a Big Milestone. Why It Matters—and Why It Doesn't ↗2.6 -
18
美教授用课堂契约替代 AI 禁令
Science 刊文：教授与学生共同约定课堂 AI 使用规则，取代一刀切禁令
Instead of banning AI, I made a classroom contract with my students ↗2.4