《每周乐观剂量》第210期
Not Boring · · 发布于 2026-09-11 · 20 分钟阅读
本期《每周乐观剂量》第210期适逢9·11事件25周年，作者在8:46发文纪念，并推荐科尔森·怀特海德的文章及一部关于韦尔斯·克劳瑟的纪录片。正文涵盖多项进展：OpenAI 称约一万个AI智能体用时88小时提出纳维-斯托克斯存在性与光滑性问题的求解方案，并用 Lean 形式化验证，但引发与 Anthropic 的争议；Google DeepMind 发布 AlphaGenome Atlas，预测人类基因组约90亿种单字母变异的影响；Hermeus 推出 Ramjet-X 可消耗测试飞行器，由 Quarterhorse 投放，计划2027年进行整机测试；Michael Levin 发表经同行评审的《Ingressing Minds》，提出心智是结构化非物理空间中的模式；Neko Health 在纽约 Soho 开设预防性健康门店，定价499美元。文末附额外简讯，另有 Reducto 赞助内容。
9月11日纪念
作者在第210期开头纪念9月11日25周年，回忆高一第一周听到消息，并于8时46分发送本期，推荐科尔森·怀特黑德的《Lost and Found》和关于韦尔斯·克劳瑟的ESPN纪录片；后者牺牲自己救了12人。
赞助商Reducto
Reducto自称是面向生产级人工智能系统的文档摄取层，被Scale AI、Harvey、Toast、Vanta等团队使用，每月处理超10亿页；新模型r-1整合版式检测、阅读顺序、表格、格式、接地和细粒度引用，称可减少最多20%解析错误，每页全包1美分，并提供最高5000美元迁移信用。
OpenAI提出纳维-斯托克斯拟解
OpenAI称约1万个人工智能代理使用比GPT-6 Astra更强的未发布模型，工作约88小时，提出纳维-斯托克斯存在性与光滑性问题的拟解，并用Lean形式化验证17小时；证明166页，针对强制版本，构造从静止流体开始，施加平滑外力，产生无界速度但总能量有限。
Anthropic与OpenAI的争议
Anthropic正与一位数学家研究自己的纳维-斯托克斯解，并指责OpenAI使用其Codex对话日志；Sam Altman否认，但表示Anthropic接近的传闻促使OpenAI尝试。
AlphaGenome Atlas
Google DeepMind周二发布一PB级AlphaGenome Atlas，预测人类基因组分子效应，覆盖不直接编码蛋白质的98% DNA；人类基因组约30亿字母、约90亿种单字母变化。Broad Institute用它找到可能破坏核糖核酸剪接的DNA变化，为未解决罕见病病例提供支持证据。它不是实验替代品。
Hermeus推出Ramjet-X
Hermeus周三发布Ramjet-X，一种从可重复使用Quarterhorse投放的消耗性测试飞行器；Quarterhorse将其带到所需速度和高度后释放并返航。公司计划以飞行测试即服务出售，客户可测试传感器、材料、自主软件、通信和推进技术；佛罗里达发动机测试进行中，集成飞行器测试计划于2027年。
Michael Levin发表《Ingressing Minds》
Levin周三发表同行评审修订版《Ingressing Minds》，提出心智是结构化非物理空间中的模式，身体等提供接口使其进入物理世界，计算机也可能成为接口；他用三角形角度类比柏拉图空间，并从细胞能组装出未明确设计的能力出发研究。作者认为这可能是他最重要的论文。
Neko Health进入纽约
Neko Health由Hjalmar Nilsonne和Daniel Ek创立，周二在纽约Soho预览。它提供全身扫描、血液检测和多种指标测量，价格499美元，目标是在该价格内放入更多服务。作者体验后称有炎症和减重空间，但心脏和胆固醇良好，并认为预防性医疗网络有助于在问题恶化前发现它们。
额外剂量
文末列出额外剂量主题：科学突破、无聊公司、不明异常现象、Woods & Johnson，并提示阅读更多；原文未展开具体内容。