1. 陶哲轩谈 Math 2.0：AI 证明增多后，数学还需要人的理解 (Terence Tao: Math 2.0 [pdf])
陶哲轩在《Math 2.0》演讲中提出，数学正从证明稀缺走向证明丰富，研究目标也应随之调整。数学证明能数字化，并可用 Lean 等工具按严格规则检查；大量数字文献又为 AI 提供了数据，使一些过去难解的问题如今能更快得到答案。但 AI 的能力很不均衡，当前数学前沿的大多数问题仍未解决，问题空间和难度也没有上限。他担心只追求解题数量，会忽略探索过程中产生的方法与理解：开放问题像灯塔，价值还在通往答案的路径。演讲用假设的抗癌药说明，即使模型结论得到形式证明、药物通过三期试验，仍需追问系统是否利用了试验或模型的漏洞；这不是拒绝 AI 药物的主张。他倡议用 AI 改善难懂证明的解释、连接研究文献、建设形式化数学库，并系统探索定理改变条件后还能成立的结论。评估 AI 时，也应公开计算资源和失败尝试。其核心方向是用 AI 扩展人的理解，而不只是更快交付证明。
原文链接：https://teorth.github.io/tao-web/slides/math-2-0-caltech-2026.pdf
论坛讨论链接：https://news.ycombinator.com/item?id=50043026
HN 的主要争论围绕抗癌药思想实验。两位自述从事药物发现的评论者认为，现有药物的作用机制本就常常不完整；若 AI 药物显著改善疗效且通过三期试验，不应因缺少人能理解的机制而拒绝患者。一位仍称赞陶哲轩负责任的评论者担心，这个例子被社交媒体用来塑造成维护职业地位的阻挠者。回应者则认为关键在于 AI 是否钻试验程序或模型的空子，而非药物是否由 AI 发明。另一条评论把情景解读成 AI 欺骗监管、让致命药物通过测试，但这是评论者的强化解释，原文只提出漏洞风险。
2. Karpathy：大模型能力的认知差距正变成漏斗 (The gap in shared understanding of LLM capability is widening)
Karpathy 在新帖中提出，人们对大模型能力的理解差距正在扩大，形状更像一道漏斗。他粗估约六十亿人几乎没接触过大模型，十亿至二十亿人偶尔使用免费聊天产品，把它当搜索或写作助手；约两千万名数学与编程从业者，则已亲身体验到智能体完成过去需要数周乃至数月的项目。最窄的一端是约五千名接触内部前沿系统的人，他描述他们看到大量智能体连续协作数周，处理大型软件、网络攻防和数学研究任务，人的审阅与理解开始追赶不上产出。这些人数是作者的粗略估计，并非调查统计。他认为差距来自三方面：任务越大、持续时间越长，能力提升越明显；模型在数字化、结果可验证且有商业价值的领域表现更强；免费、付费与内部系统的访问权限不同。因此，同一时刻，有人只看见笨拙的聊天机器人，有人感到专业工作已被迅速改变，双方谈论的实际使用经验可能相距很远。
原文链接：https://twitter.com/karpathy/status/2109361546505966046
论坛讨论链接：https://news.ycombinator.com/item?id=50047422
HN 讨论关心的是，这种能力差距会如何改变普通人的工作和购买决策。一位开发者说，智能体已让自己重新权衡自建软件还是购买产品，但普通人是否也愿意自建仍不清楚：人人可以做饭，餐厅依然有需求。另有人观察到，部分办公室员工仍依据一年前的少量体验，认定自己的任务无法自动化。一名回复者更担心客户把 AI 的附和当作正确答案。他认为专业服务的价值还在于理解需求、选择合适方案；若客户只接收一个看似可用的答案，错误可能很晚才暴露，甚至难以追溯到当初的 AI 建议。
3. LineageOS 24 发布：基于 Android 17，浏览器也能刷机 (LineageOS 24)
开源手机系统 LineageOS 发布基于 Android 17 的 24.0 版本，团队称其功能与稳定性已达到上一版水平，将先为一批达标设备提供构建，再由维护者逐步扩充。本次新增图片编辑器，可做裁剪、白平衡和滤镜调整；系统更新器重新设计，并默认采用流式更新，缩短具备双系统分区设备的安装时间。团队还推出浏览器刷机工具，通过 WebUSB 直接连接设备，支持多种常见刷机协议，减少另装桌面工具的步骤。它只是额外选项，兼容性取决于设备、浏览器和操作系统，官方仍要求按各机型的指南操作。旧设备支持也有明确边界：采用 Linux 4.4 或 4.9 内核的设备，今后只接受 22.2 分支的官方适配提交，原因是继续迁移大量兼容补丁太困难；该分支仍会获得构建和每月安全补丁，直到 Google 停止提供 Android 15 的官方安全公告。
原文链接：https://lineageos.org/Changelog-32/
论坛讨论链接：https://news.ycombinator.com/item?id=50040276
HN 用户赞赏 LineageOS 让旧手机继续使用，有人说 Pixel 4a 仍受支持，因此暂时没有换机理由；也有人长期购买二手一加手机再安装它。但回复提醒，系统更新不能解决厂商已停止维护的调制解调器和基带固件漏洞。署名 grapheneos 的评论进一步指出，部分固件、内核及驱动漏洞可被远程利用，不需要用户先安装可疑应用。讨论由此区分了延长设备寿命与完整安全维护。另有用户反映 RCS 群聊漏消息，不过原厂系统使用者也遇到同类问题，现有评论不足以把故障归因于刷机或解锁。
4. 内存涨价让 DDR4 平台重新获得新品支持 (The RAM shortage is bringing back DDR4)
内存涨价正在改变电脑升级的成本账。The Verge 报道，技嘉宣布两条主板产品线将支持即将推出的 Intel LGA 1700 处理器，并称新品预计在 2027 年初上市。这种处理器插槽从 2021 年开始使用，相应平台可搭配 DDR4 或 DDR5 内存；Intel 后来转向仅支持 DDR5 的新平台。新处理器若如期推出，用户便可能保留较便宜的 DDR4，而不必连内存一起更换。不过，目前这条消息来自技嘉，Intel 尚未回应报道的置评请求。AMD 一侧，技嘉此前也宣布了 DDR4 兼容的 AM4 主板新品，配合 Ryzen 7 5800X3D 的十周年重新推出。报道作者举出的价格例子是，同品牌 32GB 套装，DDR5 为 620 美元、DDR4 为 260 美元；这是其购物时看到的具体报价。DDR5 仍有速度和能效优势，但价差让沿用旧平台更有吸引力，DDR4 本身也没有躲过涨价。
原文链接：https://www.theverge.com/games/1009140/ram-shortage-intel-amd-ddr4-comeback
论坛讨论链接：https://news.ycombinator.com/item?id=50028647
HN 用户把话题延伸到退役服务器零件：在硬件价格高或税负重的地区，二手 Xeon 处理器、DDR3 和 DDR4 ECC 内存搭配廉价主板，早已有一套低预算装机生态。ECC 是能纠正部分内存错误的功能，有评论者经历内存故障后表示下次会选择它。低购入价也伴随取舍：一位用户开始自己交电费后，改用较新的消费级硬件；另一位认为旧电脑做媒体服务器仍够用，当前换机成本抵消了省电收益。还有用户满意于旧服务器用作存储设备。这些都是个人使用经验，支持的是按用途和总成本判断旧硬件价值。
5. 通行密钥的争议：防钓鱼之外，谁决定设备准入？ (Passkeys are a trap)
博客 Non-Functional 作者 The Hack 质疑通行密钥可能削弱用户对登录工具的控制。通行密钥是一种替代密码的登录凭据，通常由设备或凭据管理器保管，使用时不必手输密码。作者承认它能兼顾便利和安全，却认为同一个名称掩盖了不同实现：凭据能否复制或迁移、是否由安全芯片保管，以及是否需要本人确认，都影响备份和换机。文章尤其担忧“远程证明”，即用密码学证据让网站识别凭据来自什么认证器。作者设想，网站未来可能要求认可的认证器，迫使使用替代系统或自制工具的人换设备、换软件。这个推演并不等于当前网站已经实施了这种限制；原文也承认多数网站尚不要求证明。文章还在补充说明中承认通行密钥与网站域名绑定，具备抵御钓鱼的优势。它提出的是用户选择权与平台准入之间的争论，远程证明的技术范围和网站能否改变要求，也成为 HN 评论质疑的重点。
原文链接：https://nonfunctional.substack.com/p/passkeys-are-a-trap-do-not-use-them
论坛讨论链接：https://news.ycombinator.com/item?id=50048312
HN 的分歧集中在网站能否事后改变证明要求。agwa 指出，认证器证明在注册凭据时取得，不能在登录时给旧凭据补出证明；浏览器请求证明还会提示用户。他认为文章把一种假设写得过于迫近，尤其不该因此推荐易受钓鱼攻击的动态验证码，放弃通行密钥。另一位评论者反驳：网站虽不能改变旧凭据，却可以拒绝它，要求用户重新注册带证明的凭据，并担忧银行先采取这种做法。双方争的是技术限制能否阻止平台改变准入政策；后一种情景仍是评论者预测，没有在这两条评论中获得实际案例支持。
6. 纽约市订阅取消新规已生效：线上开通，就应能线上取消 (NYC’s “Click to Cancel” rule is now in effect)
纽约市的“Click to Cancel”订阅取消规则已于 2026 年 10 月 1 日生效，消费者现在可以投诉设置取消障碍的企业。这是市级规则，针对自动续订或持续收费直至用户取消的商品与服务订阅，并非全美统一制度。企业在用户同意或提供账单信息前，要醒目说明费用、收费频率、停止后续收费的期限及取消办法；取消流程必须与开通一样容易，并提供开通所用渠道。规则还要求支持企业接受订阅的其他渠道，现场开通也须另有网站或邮件等线上取消方式。企业不得阻碍或无理拖延取消，也不得让用户承担未经同意寄来商品的退回成本；重要条款变更须提前通知。执法由消费者和劳工保护局负责，首次违规民事罚款为 525 美元；被认定违规后，还须返还用户首次尝试取消之后收取的订阅费。正式条文保留金融机构、部分特许经营服务等豁免。消费者可提交收据、合同等材料，部门会审查，必要时安排调解，并通过投诉编号查询进度。
原文链接：https://www.nyc.gov/main/click-to-cancel
论坛讨论链接：https://news.ycombinator.com/item?id=50045946
HN 评论者担心，取消按钮变容易后，企业仍可能用年度承诺和提前解约费留住用户。一人以自己的 Adobe 订阅经历为例，说直到取消才发现年度期限，并猜测更多企业会采用类似做法；这不是对新规实施效果的验证。另一人反驳，规则要求清楚披露订阅条款，隐藏年度承诺本就涉及这项要求。讨论随后转向创意软件替代品：有人推荐用 Rust 开发的开源 ArtCraft，另有人质疑短期生成的代码能否长期维护，强调支持周期和持续功能开发的重要性。争论因此涉及取消流程、合同透明度和软件替代方案的成熟度。
7. Nanolathe：让《横扫千军》在现代电脑和浏览器上重现 (Total Annihilation, rebuilt for modern computers)
Nanolathe 是独立重写经典即时战略游戏《横扫千军》（Total Annihilation）的开源引擎，目前进入公开测试。桌面浏览器可直接试玩原版演示版的三个任务，无须先安装游戏；Windows、Mac 和 Linux 原生版本则能读取玩家已有的正版游戏文件，运行完整战役、遭遇战和生存模式。引擎通过独立研究重现游戏行为，代码采用 MIT 许可，但原作素材仍属各自权利人，完整游戏并未因此免费开放。新渲染器加入光照、辉光和更细致的地形、树木，也可切回经典画面。官网的对比图来自同一场景与时刻，并说明现代模式包含两倍合成素材和默认显示效果。拥有游戏文件的玩家可在安装版或桌面 Chrome、Edge 中联机，两者能够互通；遭遇战支持二至十人，生存模式支持二至三人。三个任务的试玩版不能联机。项目称主要单人模式已大体完成，但仍有错误和小功能缺失，不同任务、内容包及存档的兼容性还在完善。
原文链接：https://nanolathe.gg
论坛讨论链接：https://news.ycombinator.com/item?id=50045984
HN 讨论很快转向同样继承《横扫千军》思路的 Beyond All Reason（BAR）。推荐者看重它的开源、操作便利和大规模战斗，也有人每周与朋友合作打电脑，认为它接近记忆中的经典体验。不过，新手能否轻松加入团队战出现分歧：有人建议先在后方经营经济，认为社区会容忍学习；另一位玩家却说自己在八对八对局中因失误招来不满，推荐从一对一或打电脑开始。回应者指出，建筑既驱动经济又容易被摧毁，个人职责会影响整队；另有人认为竞技压力更多取决于排位或休闲模式，不能只按游戏名称判断。
8. IRCv3：给老牌开放聊天协议补上现代功能 (IRCv3)
IRCv3 工作组正在为 IRC 制定兼容旧客户端和旧服务器的扩展。IRC 是让客户端连接服务器、在频道中聊天的开放协议；这里的“v3”指一组扩展规范，用户不必把已有网络整体换成另一套聊天系统。官网列出的功能包括标准化账号登录、向客户端提供其他人的账号信息、给消息附加元数据，以及即时通知离开和返回状态。其中，消息时间戳能让通过中继程序补取的历史记录显示正确时间，相关消息分组则便于客户端折叠和展示内容。工作组还在推进账号注册与验证、统一访问聊天历史、自动发现并转向安全连接、支持 Unicode 昵称和频道名，以及图形客户端头像。后面这些属于正在开展的工作，不能当成所有软件已经支持的能力。开发者可从现有核心协议文档入手，再查扩展规范和各类软件的支持表；规范讨论主要在 GitHub 和 Libera.Chat 的频道进行。
原文链接：https://ircv3.net/
论坛讨论链接：https://news.ycombinator.com/item?id=50041540
HN 评论里，一个具体诉求是聊天软件能否保留紧凑、快速、可控的体验。有用户怀念九十年代的 ICQ：界面信息密度高，完整聊天历史可以随机器迁移并可靠搜索，还能给不同联系人显示不同在线状态。回复中的 mIRC 使用者则提到旧客户端体积小、启动快，有人至今仍在使用 IRC，只是换了客户端和系统。话题随后延伸到 Winamp：一些人想要只播放本地文件的简单工具，也有人指出不少听众已转向自带内容和推荐的流媒体服务。这些评论主要讨论产品体验，没有逐项评价 IRCv3 扩展的实现。
9. Yandex 数据中心遭无人机袭击，云平台仍限量运行 (3rd Yandex Cloud Data Center Was Hit)
Yandex Cloud 官方事故页确认，弗拉基米尔数据中心基础设施因无人机袭击受损，整个机房已暂停运行，无人员伤亡。这里的可用区是云服务部署资源的地点；机房停运后，计算、存储和数据库等服务的可用性受到影响。官方认为剩余资源配置也不稳定，建议客户启用外部平台的灾难恢复方案，而不是等待原平台完全恢复。
截至 10 月 12 日的更新，平台仍在受限模式下运行，团队正全天修复，支持请求增多导致响应变慢。此前公布的分项进展包括控制台和 API 可用、计算服务部分可用、对象存储恢复读写但可能变慢，以及部分 Kubernetes 集群仍有问题。新增资源配额的发放也曾暂停。HN 投稿称这是“第三座”遭袭的数据中心，但该官方页面没有提供计数依据；能够直接核实的是此次机房受损、服务恢复进展与官方提出的异地恢复建议。
原文链接：https://status.yandex.cloud/en/incidents/2136
论坛讨论链接：https://news.ycombinator.com/item?id=50040547
HN 讨论围绕云基础设施在冲突中的脆弱性展开。一位评论者称乌克兰此前也遭到针对通信和数据中心的袭击，把这次事件理解为报复；这是评论者的背景判断，不能替代官方事故归因。另一位来自波兰的用户认为，俄罗斯推动本地数字服务、同时受制裁影响，令关键负载更集中于境内机房，而乌克兰依赖海外云平台，使双方可被打击的设施分布不同。
由此他提出，欧洲将数据移出美国的主张还需考虑物理风险和恢复位置。后续关于其他国家云平台备份的说法只是转述，现有评论没有给出可核实的部署证据，也不能据此断言具体备份已经生效。
10. 《洋葱报》向读者收购旧报纸，补齐纸质档案缺期 (So, you’d like to sell your print issues of The Onion?)
讽刺媒体《洋葱报》正在寻找读者保存的旧版纸质报纸，以补齐档案缺期。征集页面列出的需求横跨 1988 年至 2013 年：早年的第十四至十九卷，以及 2011 年至 2013 年的第四十七至四十九卷需要全套，其他年份则只缺指定卷期。读者应先核对报纸头版上的卷号、期号和日期；不同年代的排版位置可能不同，特别刊还可能把卷期写成“22-01”这类格式，不能只凭封面印象判断是否符合需求。持有对应报纸的人可填写 Google 表单，尽量详细说明藏品情况，档案管理员会在有兴趣时联系；能填补的缺口越多，媒体越感兴趣。征集要求报纸状况良好、干净且文字可读，售出后归《洋葱报》所有，不能退回。页面没有给出统一收购价，也没有承诺提交表单就会成交。这个页面提供的是具体的档案征集办法，正文中没有解释为何这些卷期遗失，不能从它一贯的讽刺口吻推断发生了盗窃或其他事件。
原文链接：https://theonion.com/archivehunt/
论坛讨论链接：https://news.ycombinator.com/item?id=50047055
HN 有人建议把标题直接写成“《洋葱报》档案缺期，向读者求助”，让实际需求更清楚。评论也辨认出此前出现的“二百七十年档案”说法是媒体的玩笑，另有人观察到该句已被移除，征集正文变得严肃。几位读者回忆在多伦多地铁站或美国城市报箱免费取报，还有人可能仍留着九十年代的旧刊，也有人发现自己收藏的卷期不在需求内。至于档案为何缺失，一位评论者猜测可能是早期疏于保存或预算迫使减少仓储；这只是推测，讨论没有提供能证实遗失原因的材料。