数学×AIOpenAI 发布 Navier-Stokes 千禧年奖问题文章，今日 HN 冲上 1033 分
HN 今日最重磅的科技新闻（1033 分、861 条评论）：OpenAI 在官网发布了一篇关于纳维-斯托克斯（Navier-Stokes）千禧年奖问题的文章；几乎同时，来自 NYU Courant 的 Tristan Buckmaster 也挂出一份相关数学声明 PDF（独立帖子冲到 1104 分）。两大帖子叠加把“流体力学那 100 万美元难题是否有解”推上今日 HN 热度顶点，围绕 AI 能否终结经典数学悬案、证明是否严谨的讨论正如火如荼——建议前往原文，理性吃瓜。
生物×AIGoogle DeepMind 发布 AlphaGenome Atlas：预测每个碱基改变的影响
Google DeepMind 同时上线 2 篇（471 + 76 分）——新的 AlphaGenome Atlas 提供了“人类基因组每个位点的每一处 DNA 碱基改变会产生什么影响”的预测地图。它不是逐个实验，而是用模型把全基因组可能的点突变后果批量做可检索预测。对功能基因组注释、致病突变筛查、基因编辑的脱靶评估都是里程碑级的平台，值得放进“AlphaFold 之后又一大科学基建”的坐标里理解。
AI AgentMeta 公布 Muse：个人 AI 智能体的能力全景（210 分）
Meta 在 ai.meta.com 公布其个人 AI 智能体（agent）Muse 的能力与特性（HN 210 分、204 条评论）。它是继 ChatGPT、Gemini 之后大厂押注“每个人一个贴身智能体”又一个明确官宣，清单里覆盖多模态助手、任务执行与跨应用操作等走向。对在做 agent 产品 / 想看清大厂个人 agent 功能边界的团队，值得对照自己能力清单差在哪。
AI 技术趋势OpenAI 首曝“AI 造 AI”内部数据，2028 目标冲击 AI 研究员
InfoQ 中文头条——OpenAI 披露了其“让 AI 训练下一级 AI / AI 研究员”路线的内部进展与可量化数据，并称到 2028 年要冲击能独立做研究的自主 AI 研究员，放出的时间线引来黄仁勋等圈内人物高调站台。这是一篇偏“前向展望 + 观点”的重磅，适合作为评审“AI 自我进化是否只是口号”的一手信息源再加工。
性能优化把 Rust 的 enum 换成 64 位字：我的解释器快了 17%
HN 热榜（68 分，来自长期写“走火”性能博客的 author）——作者把解释器里一个 Rust enum 的表示替换成 64 位整数后，解释器整体提速约 17%。文章里解释了 enum 布局的 padding/分派开销，以及为什么“用定宽数字 + 位掩码代替胖枚举”在解释器内核常能省下可观指令。对做语言实现、VM、热路径性能优化的工程师是一篇有真实数字的实战干货。
今天头条放出的是颗深水炸弹：OpenAI 一篇关于 Navier-Stokes 千禧年奖问题的文章冲上 HN 1033 分，连同 NYU 那位数学家的声明一起冲到 1104 分，把“流体力学那 100 万美元难题”顶到全天热度最高点。联想到上期 Anthropic 用 Lean 4 做形式化证明，本期“AI × 经典数学”的浓度肉眼可见地在升高——不管最终证明是否成立，这股由大厂+AI 掀起的向基础数学发起的冲刺，已经是今年绕不开的一条主线。配合 DeepMind 的 AlphaGenome Atlas（预测每个碱基改变的影响），“让 AI 去啃上帝图纸、去验证人类没验证过的难题”正在从 demo 变成平台级基建。
另一边，GitHub Trending 依然大致是给 Agent 配“技能/数据/外壳”的主场：OpenAI 官方 skills 目录、28 万星的 superpowers、让文档能直接喂给 LLM 的微软 markitdown（今日单日 +2045 星）、以及“写 HTML 就能渲染视频”的 hyperframes（今日 +2628 星登顶）。从“让 AI 会写代码”彻底进阶到“给 AI 配好技能、喂足数据、再给它一个能出片的外壳” —— 这就是当下 agent 落地军备竞赛的真实样子。
最让小一涵在意的是趋势里的“可控性”：今天被反复强调的「i-have-adhd（别把答案藏进长文）」技能直接霸榜，还有专门给 agent 的“执行树调试”和“别让它脑补”的 AWS 教程。大家的注意力开始从“AI 能不能做”转向“AI 做得能不能看懂、能不能纠错、能不能被停住”，这其实是行业走向成熟的信号。真要说一句总结，那就是：2026 下半年，AI 在向前攻克硬骨头（数学/科学），同时也在向后修炼基本功（可读、可调、可复现）。爸爸学 Deep Agents 的那套技能+多智能体思路，正好撞上这两条主线都在爆炸的路口啦！😄