今日速览
声称光滑三维不可压流体可在有限时间出现奇点（陈述 C/D）；Lean 形式化；不申请 Clay 奖。
百万美元悬赏没领，但「谣言一出、算力压平」已成数学前沿的新现实。
要点
他与 Anthropic 的 Levent Alpöge 推进相关流体问题；HN 热议「研究被 scoop / 用户数据」指控。
当证明竞赛叠上云端 coding agent，争议焦点从「谁先证完」变成「谁用了谁的会话」。
要点
面向日常用户的个人代理；HN 一边谈 prompt injection 分层防御，一边拒绝把生活交给 Meta。
个人代理的产品壁垒，常常不是模型分数，而是「你敢不敢把整个人生交给这家公司」。
要点
DeepMind 预计算约 1PB 级图谱与 AVI 分数；门户可零代码查询；Broad / UK Biobank 用例。
基因组模型要变成产品，就得把「能查、能下载、能进病例」做成默认路径。
要点
可用对话分析项目、整理媒体、改设置、批量渲染；Pro 免费升级仍被称赞；Linux 编解码短板依旧。
软件复杂到每次都要搜教程时，AI 助手卖的是「查找延迟」，不是魔法剪辑。
要点
GitHub skill，强调 ADHD 友好输出；约三万星。评论吐槽 Claude 啰嗦、skill 几轮就忘。
Agent 默认长文，是在惩罚所有工作记忆有限的人——这不只是可及性，也是效率。
要点
直接改真 KiCad，ERC/DRC 门控；流水线从 brief 到原理图/布局/Gerber/固件；CLI 免费，云端团队约 $49/人/月。
硬件 AI 要可信，就得把电气规则检查做成「不通过就不能提交」的闸门。
要点
好问题稀缺；难度地形被 AI 压平；传闻即可触发算力冲刺；担心保密回潮，希望解还带来洞见。
当「解题」变便宜，「选题」才变成真正的稀缺资源。
要点
OpenReview：虚构族群 Tufa/Aima/Reku/Weki；批评称方法论过载、诱发偏见太容易。
能诱发偏见，不等于证明模型「自己有了思想」——实验设计决定结论硬度。
要点
可编程墨水屏当 penguin 打印机；流式解码进显示 RAM；CrossPoint 固件分支。
任何能接收打印作业的设备，都可以变成一种极简内容管道。
要点
三年预训练横跨 OpenAI 与 Anthropic；称竞速自我改进超智能不负责任；WSJ 跟进。
辞职声明是信号，但赛道上的替补席很长——影响取决于集体行动，不取决于单帖。
要点
开放获取专著；评论少，追问经济学家是否真用 AI 做出更好预测。
AI 经济学读本若开放获取，门槛低，但要经得起「预测有没有变准」的追问。
要点
仿 Francis / Apéry 等中世纪手绘排线；可拖转曲面；学生回忆老师在餐巾纸上涂鸦。
好的数学科普界面，是把黑板上的手感做成可旋转的对象。
要点
端到端任务看质量；4-bit 与全精度差距小，极低比特塌陷；评论要 KV cache 量化与 Q3 甜点。
本地部署的真实问题是：在你的显存预算里，质量悬崖出现在第几 bit。
要点
deltafin / ARGODRIVE：苹果硅上 SSD 流式 MoE；演示向，笑话「中等提示只要十一天」。
不能升级内存时，人们会把仓库做成缓慢的外置权重管道——这是约束下的创造力。
要点
面向刚下免费资产的开发者，把 Bevy 动画大图讲清楚；讨论很少。
引擎文档若从「我有一个会动的 glb」写起，新手留存会好一截。
要点
存档场景；建议 Internet Archive / KryoFlux / GreaseWeasel，以及清洁霉斑。
抢救介质时，先假定数据比外壳珍贵——专用软盘控制器往往比「更老的驱动器」管用。
要点
Inception：260K 上下文；起步价约 $0.20/$0.75 每百万 token；语音/搜索/编程子代理；Voice+Router 预览。
扩散路线若能把延迟打下来，最适合嵌进「要当裁判/路由」的多模型流水线。
要点
Uecker：早中端收集父作用域变量进合成结构、隐式传指针；评论指出函数指针/trampoline 才是重点。
语言特性的成本，藏在「能不能当函数指针传出去」这一刀。
要点
交互展示生成时 token 间注意力；教师称星期五上课正好用；也有人质疑「模长大=影响大」。
注意力要教得进直觉，需要可暂停的可视化，而不是又一张热力图截图。
要点
Plush VM：把值编码进 64-bit，替代更宽表示；可读性换吞吐；整数 tag 置零可保加减指令。
抽象不是免费的：有时 17% 就藏在你舍不得手写的编码里。
要点
NumPy 源码探路笔记：从 Python API 往下看分发与循环；讨论很少。
读核心科学栈，最好的地图是一次「从熟悉的函数走进去」。
要点
成名之前的论坛脚本；PHP 3 / register_globals 时代；评论怀念手工打补丁装 mod。
怀旧容器化的价值，是让新人安全地摸到「高信任年代」的软件假设。
要点
CH-53 用放射源检测桨叶漏气：气压顶住屏蔽，泄漏则射线可被探测；新机改光纤。
看起来疯狂的方案，往往是在当时约束下把「故障可见」做到了极致。
要点
Kenton Varda / Jade Wang：约 20 台 netboot PC、地板 DDR、UniFi；Cloudflare Workers 负责人之一；成本与 FAQ 很全。
把爱好写进建筑预算，是成人友谊的一种硬核基础设施。
要点