Hacker News 中文摘要

当前数学界正流传一种看法，解决问题与生成证明向来是数学家增进人类理解的代理。若证明能在无理解情况下生成，其代理价值便被削弱。这引出该用何种代理的疑问。笔者提议更明确界定动机性解释（motivated explanation）概念，并给予新颖有力的此类解释类似史上开放问题新证明的学术认可。

作者花大量时间从事软件开发，屡次被问及软件为何重要。不少人认为软件并非科学，不过是追求结果与论文过程中的时间陷阱，秉持发表至上。然而作者认为软件至关重要，开源软件就是科学，或至少是计算科学。这篇帖子将说明科学家为何必须坚持科学方法，以及这为何意味着要开发开放且可复现的软件。

德国科学博客门户 Scienceblogs.de 整理了一份相对著名的 50 个未解密码清单，其中既有连环杀手公布的密码，也有著名的伏尼契手稿（Voynich manuscript）。清单里还包括一组第一次世界大战期间的德国无线电讯息，它们采用 ADFGVX 方法加密；以单词 HOUSE 作为密钥，可以举例说明这种加密方法。

几个世纪以来科学家认为脑是单一统一器官，但斯坦福医学（Stanford Medicine）领导的新研究揭示，我们所称的脑是两个独立器官，在数亿年间独立进化。该发现推翻了主流脑发育模型：数十年来研究者认为早期单个祖细胞产生整个脑，所有部分同源。新研究指人脑由两套古老神经系统组成，较原始部分调节心跳呼吸，另一部分使人能写诗、数学与思考起源。

阿里巴巴集团控股（Alibaba Group Holding）旗下达摩院（Damo Academy）开源了一个人工智能模型，能通过计算机断层扫描（CT）识别包括癌症在内的近150种腹部疾病。这个名为达摩雷达（Damo Radar）的视觉语言模型可分析覆盖18个腹部器官的增强CT扫描，发现恶性肿瘤等异常。模型用CT扫描与临床报告配对训练，在近40,000次真实检查中，对146项临床发现的平均AUC为0.913，AUC 1.0代表完美诊断准确率。

大语言模型正被尝试用于芯片设计，IEEE Spectrum 这篇报道以一个名为 Jalapeño 的项目为例，展示这类模型在硬件设计任务上的能力。文章从该项目展开，讲述它如何被用于芯片设计流程，以及在真实设计工作中表现出的效果与局限。

《华盛顿邮报》（Washington Post）报道，伊朗战争期间美军阵亡人数比五角大楼（Pentagon）公布的官方数字至少多出4人，这一差额此前未被公开。报道称，五角大楼的公开统计与实际情况存在出入，涉及在伊朗军事行动中阵亡的美军人员。路透社（Reuters）9月18日转述了该报道。

旧金山洋葱期货公司（San Francisco Onion Futures Company）提供私人可转让合约，用于未来实物交付黄洋葱（yellow onions）。客户可以使用右侧下方的表单来下单，或者访问合约管理页面，为现有合约更新交付信息。此类安排围绕黄洋葱的远期实物交割展开，合约以私下转让的方式处理，页面表单与管理入口共同支持着私人洋葱远期合约的订立与后续配送调整。

人类的大脑或许是数亿年前两种古老神经系统被组合在一起后形成的混合体。研究发现人类与其他若干物种的前脑和后脑区域在胚胎中由两种截然不同的细胞类型发育而来，而非此前认为的共享同一发育起源。斯坦福大学（Stanford University）的凯尔·罗（Kyle Loh）表示，进化将既存的神经系统在空间上推拢。他与同事研究小鼠胚胎发育早期阶段，观察到脑由两类早期祖细胞发育构建。

克劳德代码（Claude Code）文档提供了完整的文档索引，可通过访问 /docs/llms.txt 文件获取，利用该文件能在进一步探索前发现所有可用的页面。在更新日志页面中，目录区域列出了从 2.1.211 到 2.1.277 的版本号，包括 2.1.276、2.1.275、2.1.274 等，对应着不同的发布记录供查看。