OpenAI 的律师版模型、GLM 用十万张国产加速器自建推理集群，与 Gowers 拒绝签名的公开信——Hacker News Top 20（2026 年 9 月 18 日）

1. Astra for Law

• 原文入口：openai.com/index/astra-for-law
• HN 讨论：49745940
• 提交者：vertigoruntime（提交于 2026-09-18 04:17）
• 快照热度：251 points | 278 comments
• 原文日期：2026-09-17
• 中文要点：OpenAI 发布 Astra for Law，把 GPT-6 Astra 与一个法律检索索引、面向法律分析与写作的指令配置打包成律所和法律科技公司的底座。这个索引覆盖美国判例、成文法、法规、法院规则与行政裁决共 2.3 亿以上 URL，判例部分来自与 Free Law Project（CourtListener 背后的非营利组织）的合作，官方称覆盖已公布美国有先例效力判例的 99.9% 以上。API 客户被点名的是 Harvey 与 Legora，另有 26 个生态插件把 ChatGPT 接到 Relativity、Clio 等律所既有工具上。评测用 Vals AI 法律研究基准的非公开验证集 200 道题，在双方最高推理档下，Astra for Law 的整体正确率为 54.0%，只用网页搜索的 GPT-6 Astra 为 38.7%；官方称在判例类问题上多找到 24% 的参考判例，同一推理档下多取回最高 54% 的相关段落。讨论区里，执业律师提出不同法律领域的商业模式差别很大，笼统谈这件事没有意义；一位读者翻出 Vals AI 的公开榜单，称 Claude Opus 5、Fable 5.1 与 Muse Spark 1.3 Max 的全通过率是 55.29%，高于这篇文章公布的 54.0%，两个数字的口径是否一致在评论区没有结论；还有读者点出文章通篇没有提到幻觉，以及担心 AI 生成的诉讼进一步挤爆法院。

2. Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint

• 原文入口：prismml.com/news/bonsai-2-27b
• HN 讨论：49746618
• 提交者：JonSchneider（提交于 2026-09-18 05:13）
• 快照热度：147 points | 47 comments
• 原文日期：2026-09-17
• 中文要点：PrismML 发布 Ternary Bonsai 2 27B，基于 Qwen3.8 27B，端到端使用 {-1, 0, +1} 三值权重加 FP16 分组缩放，等效每权重 1.76 比特，整个模型 5.9 GB，支持 262K token 上下文与图文多模态输入，Apache 2.0 许可。官方称它比全精度版本小 9 倍以上，同时保留 98.2% 的聚合基准成绩：跨推理、数学、编码、指令跟随、视觉与工具调用的总分 83.9，全精度 Qwen3.8 27B 为 85.4。吞吐上，英伟达 RTX 5090 上最高 143 tokens/s，M5 Max 上 46.8 tokens/s；在 RTX 4090 上每 token 耗电 0.714 mWh，按官方口径比全精度的 8B 模型省 40%。作者强调保留得最好的正是编码智能体、工具调用这类小错误会逐步累积的场景。

3. Bend – A language that blocks AI mistakes via proof, on CPU and GPU

• 原文入口：bend-lang.com
• HN 讨论：49746163
• 提交者：nicolas-siplis（提交于 2026-09-18 04:36）
• 快照热度：225 points | 122 comments
• 原文日期：日期未确认（站点未标日期）
• 中文要点：Bend 是一门把「证明」放进类型检查的语言，目标是在 AI 写代码的场景里让已有规则无法被悄悄改坏。站点自述四个卖点：编译成原生代码，单核性能接近 C，同一份二进制可跑在 16 核或 GPU 上；类型检查器同时是证明检查器，对中等规模代码库耗时不超过一秒，于是智能体每改一次都能立刻验一遍；并行不需要线程、锁或手写内核，把任务一分为二即可；规则写在 LAWS.bend，附上 PROOF.bend 的证明后，任何破坏规则的新功能都无法合入。理论部分是一篇仿射依赖类型论论文与一套 CPU/GPU 并行运行时。作者（HN 用户 LightMachine）在讨论区说这是他一年、每天近 16 小时的工作。评论指出的软肋集中在一点：智能体可以改规则文件本身来通过检查，哪些规则该冻结仍需人来判断；也有人问状态空间过大时证明怎么完成、Mac 的 GPU 是否支持，还有读者说如果页面不提 AI，这类新语言大概不会被点开。

4. Hister: A private search engine for the pages you visit and the files you keep

• 原文入口：github.com/asciimoo/hister
• HN 讨论：49743097
• 提交者：bookofjoe（提交于 2026-09-18 00:25）
• 快照热度：419 points | 124 comments
• 原文日期：日期未确认（仓库未标发布日期，当前 4.3k star、2,123 次提交）
• 中文要点：作者 asciimoo 此前做过隐私元搜索引擎 Searx，这次做的是本地全文索引：把访问过的网页、书签、浏览器历史、本地文件与爬过的站点建成一个只在自己机器上的索引，可从网页界面、终端或通过 MCP 交给 AI 助手检索。功能包括 Firefox 与 Chrome 扩展自动入库、字段过滤与短语/通配/排除等查询语法、可选的语义检索（自己配 embeddings 端点）、导入浏览器历史与本地目录、多用户隔离，默认不带遥测。项目用 Go 写。作者在讨论区开了 AMA。评论里有人回忆 Chrome 早在 2008 年就做过访问过的页面全文搜索、2013 年移除，有人提到自己在用 Zotero 或自建方案做同一件事，也有读者表示不放心安装未经发行版打包审核的程序。

5. Wax motor

• 原文入口：en.wikipedia.org/wiki/Wax_motor
• HN 讨论：49726007
• 提交者：mhb（提交于 2026-09-16 20:35）
• 快照热度：198 points | 41 comments
• 原文日期：日期未确认（维基百科词条，没有单一发布日期）
• 中文要点：石蜡马达是一种把热能转成机械能的直线执行器：蜡熔化时体积膨胀 5%–20%，推动柱塞输出位移；热源可以是通电的 PTC 热敏电阻，也可以是太阳能、发动机余热或环境热，断电后要靠相当于工作力 20%–30% 的弹簧或重力把柱塞压回。相比电磁铁，它的液压推力可达 4000 N（约 400 公斤），动作平缓，属于阻性负载所以用双向可控硅驱动时不需要缓冲电路，还能完全靠环境热被动工作——换一种熔点的蜡就能匹配不同的环境温度。词条列出的用途包括航空领域的燃油与液压控制、暖通里的恒温混水阀、水加热系统，以及滚筒洗衣机门锁：上锁时蜡被加热推出插销，断电后门会先保持锁定一段设计好的时间（长于高速甩干的惰转时间），等蜡冷却再可靠解锁。词条的「应用」一节自己标着缺少引用来源。

6. Fujitsu launches made-in-Japan next-generation CPU FUJITSU-MONAKA

• 原文入口：global.fujitsu/en-global/pr/news/2026/09/14-02
• HN 讨论：49715813
• 提交者：my123（提交于 2026-09-16 01:28）
• 快照热度：485 points | 190 comments
• 原文日期：2026-09-14（新闻稿日期）
• 中文要点：富士通宣布下一代 CPU FUJITSU-MONAKA 与 MONAKA 服务器从 2026 年 11 月起全球销售，卖点是在日本设计、开发、制造。CPU 走 3D 堆叠：核心用 2nm 工艺，缓存与 I/O 用 5nm，最高 3.8GHz、内存传输速率 8800MT/s，用专用指令给矩阵运算做硬件加速，官方称配合 SVE2 与软件优化后 AI 推理吞吐是其他 CPU 的两倍、同等负载所需服务器与功耗减半，因此可以在只用风冷的数据中心里铺开。Phoronix 的报道补了机器层面的细节：1U 与 2U 风冷机型都是 144 个 ARMv9 核心、跑 2.1GHz，液冷机型 2.9GHz，每路 12 条 RDIMM、支持 PCIe Gen6；服务器先在日欧面向数据中心运营商、企业与学术/HPC 部门以及防务部门销售。富士通官网对抓取有拦截，本条事实通过与官方新闻稿同源的通稿转载与 Phoronix 的报道核对。讨论区的怀疑集中在产业条件上：有读者问核心号称「主权」但实际在哪家晶圆厂生产，有人认为 CPU 单独做 AI 推理的理由不充分，也有人觉得这个市场已经很挤。

7. More than 100k people in Japan are now aged 100 or older

• 原文入口：bbc.com/news/articles/cmzezj5e18xxo
• HN 讨论：49746117
• 提交者：karakoram（提交于 2026-09-18 04:33）
• 快照热度：50 points | 29 comments
• 原文日期：2026-09-15（页面标注的最后更新时间）
• 中文要点：日本厚生劳动省的数据显示，日本百岁以上人口首次超过 10 万，达到 107,677 人，为全球最多，其中 88% 是女性；最年长的女性是京都的 Kishimoto Fuyo（114 岁），最年长的男性是熊本的 Kato Hikaru（112 岁）。1963 年开始统计时全国只有 153 位百岁老人。厚生劳动大臣 Kenichiro Ueno 说乐见这么多人健康长寿，同时提醒社会保障体系的可持续性面临挑战。报道给出的背景是：日本去年总和生育率降到 1.14 的历史低点，65 岁以上人口约占 30%，到 2070 年预计接近 40%；总人口预计从 2008 年 1.28 亿的峰值降到 2070 年的 8700 万，首相 Sanae Takichi 把这一趋势称为「静默的紧急状态」，而鼓励生育的各项补贴尚未抬高出生率。

8. Flet 1.0 – Build cross-platform apps in Python

• 原文入口：flet.dev
• HN 讨论：49746290
• 提交者：absqueued（提交于 2026-09-18 04:44）
• 快照热度：37 points | 14 comments
• 原文日期：2026-09-15（1.0 发布说明页面标注的日期）
• 中文要点：Flet 用 Python 写跨平台应用，同一份代码构建 iOS、Android、Windows、macOS、Linux 与 Web 六个平台的界面。1.0 发布说明称这个版本可以正式用于生产，依据是测试覆盖：Python SDK 在 3.10 到 3.14 上跑单元测试，控件与示例做集成测试并比对截图，原生二进制包在 Android 与 iOS 模拟器上测，构建流程覆盖六个平台乘 Python 3.12/3.13/3.14 的矩阵，测试工具会把打包好的应用拉到真机上交互。项目给出的数字是 GitHub 1.67 万 star、100 位贡献者、PyPI 下载超过 900 万次、合并 1000 多个 PR、关闭 2800 个 issue，Discord 社区 6000 多人。另有两个配套入口：浏览器里的 Flet Studio，以及给编码助手提供版本相关 API 信息的 Flet MCP。

9. The most important product decision is what you don't build

• 原文入口：liamnugent.me/posts/what-you-dont-build
• HN 讨论：49746407
• 提交者：ChrisArchitect（提交于 2026-09-18 04:52）
• 快照热度：27 points | 11 comments
• 原文日期：2026-09-14
• 中文要点：作者 Liam Nugent 在消费金融类应用上两次拒绝做「文档中心」和「通知中心」。他的理由是这类需求会从「放文件的地方」长成带标签、归档、打印、多渠道分享，再加一套权限与安全的一整套系统，而每次 iOS、Android 或 Windows 更新都可能拆掉它依赖的某个行为，代价按年计。他说真正能劝住决策者的不是开发成本，而是把未来几年的运行成本摊开给他们看。平台砍掉之后，原来的合规沟通需求要按用例逐个判断：真需要说什么、什么时候说，答案多数是用简单的或已有的方式就够。文章引用 Gerry McGovern 的研究，删掉网站约 80%–90% 的内容之后，公司卖得更多、支持电话更少；他由此说组织奖励的是创建与上线，维护和删除被当成次要工作。发表时评论还少。

10. CrowdSec Source Code Leak

• 原文入口：crowdsec.net/blog/crowdsec-statement-source-code-exposure
• HN 讨论：49742355
• 提交者：eccgecko（提交于 2026-09-17 23:34）
• 快照热度：124 points | 35 comments
• 原文日期：2026-09-17
• 中文要点：CrowdSec 确认 2026 年 5 月发生过一次源码泄露，9 月 16 日接到通报后核实。泄露的是私有仓库，包含 SaaS 控制台源码、部分 AWS 例程、部分连接器与自动化脚本；公开的开源安全引擎不在范围内。官方确认「300 个仓库」的说法成立，但其中 130 多个本来就是公开仓库，这个数字更多反映代码的拆分方式。官方称没有客户数据、账号密码、姓名或组织信息泄露，公司本身不存 PII 与客户日志；团队排查了能用于横向移动的令牌与凭据，至今没有发现。他们认为这些代码只与自家数据和工具有关，难以在别处复用，四个月里也已大幅演进。泄露入口很可能是 5 月被投毒的 Tanstack 组件——与 Mistral AI 那次同源，该组件被植入后门以取出一个能读私有代码库的 API key，可利用窗口只在 2026 年 5 月的一小段时间。公司称已轮换全部必要令牌与凭据。

11. Diplodocus, Long Thought Exclusively American, Turns Up in Spain

• 原文入口：sci.news/paleontology/spanish-diplodocus-15064
• HN 讨论：49710447
• 提交者：embedding-shape（提交于 2026-09-15 18:46）
• 快照热度：15 points | 12 comments
• 原文日期：2026-09-14
• 中文要点：Fundación Dinópolis 的古生物学家确认，在西班牙特鲁埃尔省 El Castellar 附近的 La Tejería 遗址出土了北美以外最早的梁龙属（Diplodocus）化石：14 节保存完好的尾椎与若干脉弧。这个个体估长约 25 米，与北美的近亲相当，生活在大约 1.5 亿年前的侏罗纪晚期，与 Diplodocus hallorum 关系密切。研究团队认为这支持晚侏罗世北美与欧洲之间存在动物迁徙，通道可能是原北大西洋海退时周期性出现的陆桥；论文将发表在《Journal of Vertebrate Paleontology》。这条在榜时间短，讨论量很小。

12. Rate limits on GitLab.com are changing

• 原文入口：about.gitlab.com/blog/rate-limit-change-2026
• HN 讨论：49742353
• 提交者：darkwater（提交于 2026-09-17 23:33）
• 快照热度：146 points | 104 comments
• 原文日期：2026-09-17
• 中文要点：GitLab 公告 GitLab.com 的限流从 10 月 19 日起与订阅档位对齐，登录用户按计划等级拿到更高额度，Premium 与 Ultimate 的调整 1 月跟上。按 GitLab 支持文档的说明，变化最大的一项是未登录流量（按 IP 计）从每分钟 500 次降到每小时 60 次，也就是每分钟 1 次。讨论区把这笔账算得很细：免费档登录后每小时 5000 次还算够用，未登录的每分钟 1 次则连一个人翻 issue 和源码都可能不够，学校和办公室共用一个出口 IP 时会更紧张；有人认为这是为了推动订阅而不是挡 AI 抓取，也有人怀疑这是按用量计费的第一步。公告页正文由脚本渲染，我们抓不到正文，本条的额度数字与生效日期来自该页的元数据描述与 GitLab 支持文档。

13. Infinite-Parameter LLMs: Generating and Adapting Weights from Live Data

• 原文入口：arxiv.org/abs/2609.18842
• HN 讨论：49743483
• 提交者：Betelbuddy（提交于 2026-09-18 00:55）
• 快照热度：102 points | 26 comments
• 原文日期：2026-09-16（arXiv 提交）
• 中文要点：论文提出「无限参数 LLM」：模型的权重不必在训练后冻结，而由一个小型超网络在运行时就地生成。做法借了 MoE 的思路，让超网络把运行时给到的数据（用户提供的事实、给出的纠正）变成对共享基础网络前馈权重的低秩调制；与以往「读一次上下文就冻结」的权重生成器不同，作者在生成器的隐变量上维持一个贝叶斯信念并在线更新，会话推进时不断重新推导有效权重。作者称这样存储占用不变、能编译出的权重实际上是无限的，把运行时知识放进权重而不是提示词之后，计算被摊薄、上下文窗口被腾出来、知识能跨轮次保留，并且可能比上下文内学习泛化得更好；论文还给出与上下文学习、检索对照的评测协议。发表时评论不多。

14. How Uber Protects Against Retry Storms

• 原文入口：uber.com/us/en/blog/protecting-against-retry-storms
• HN 讨论：49746628
• 提交者：iscmt（提交于 2026-09-18 05:14）
• 快照热度：23 points | 13 comments
• 原文日期：2026-09-17
• 中文要点：Uber 工程博客讲重试风暴怎么治理，起点是一道算术题：调用链每一跳都重试一次，第 d 跳的节点就要承受 R 的 d 次方倍请求；加上 10% 的重试预算后变成 (1+B) 的 d 次方，但预算仍要人工配置，也看不见跨服务的放大。更深的问题是重试不知道错误是谁产生的——错误只是被上游服务透传，重试就被无差别触发，在被降级的服务上继续加压。Uber 的办法是在共享基础设施里做「错误归属」：重试中间件与 Service Dependency Analysis Solution 在请求路径上判定错误产生在哪一跳，把它标记为已被认领，上游就不再对已认领的错误重试，同时保留下游至少一次重试的保证。衡量的指标是最大重试风暴半径，在所有面向用户的 API 上，这个值从最大 25（平均 20）降到最大 3（平均 2）。2025 年 11 月 18 日一次位于调用链 5 层以下的 Core Entity 服务故障中，按他们的估算，只有重试预算的话被降级服务上的流量会增加 46%–135%；因为错误归属已经在线，这次故障的影响范围被自动限制住。发表时评论不多。

15. Sex, AI, and the Apocalypse

• 原文入口：iankduncan.com/personal/2026-09-16-sex-ai-and-the-apocalypse
• HN 讨论：49746654
• 提交者：Anon84（提交于 2026-09-18 05:15）
• 快照热度：115 points | 90 comments
• 原文日期：2026-09-16
• 中文要点：作者 Ian Duncan 从 2026 年 9 月 8 日 Anthropic 研究员 Jacob Coxon 辞职讲起。他的告别信说造 AI 的人真心相信它可能在这个十年内杀死所有人、这不是营销，帖子一天内被看过一亿次以上；Anthropic 对齐科学负责人 Evan Hubinger 数小时后回应说他说得对，并给出自己十年内超过十分之一的概率；二十多位国会议员表态，马斯克称整件事是心理战。作者要追的是这批最响亮的警告来自怎样的群体：他把线索接到一个约 25 年历史的互联网亚文化，一个把「比所有人都更会思考」当作自我认同的理性主义社群。文章举出 2025 年 12 月在伯克利一场近 500 人的冬至仪式（组织者是运营 LessWrong 与 Lighthaven 的 Raymond Arnold），也翻出这个圈子把自我实验、多角关系与种族科学混在一起的历史。他的落点是：这些人的论证、婚姻、冲突与私人生活已经和如今要求公众信任的机构交织在一起，所以要先看清人再判断警告的分量。讨论区分成两派：一派说这是连着来的「连坐」式论证，把新反动主义者、多角关系理性主义者、末日研究者与 Zizians 一锅端，用人的怪癖代替对论点的回应；另一派认为圈子的同质性确实影响了对 AI 风险的公共判断。也有人觉得文章对 Yudkowsky 与其同人小说抓得太紧。

16. How to Write with an LLM

• 原文入口：sockpuppet.org/blog/2026/09/17/how-to-write-with-an-llm
• HN 讨论：49747070
• 提交者：joeriddles（提交于 2026-09-18 05:48）
• 快照热度：52 points | 40 comments
• 原文日期：2026-09-17
• 中文要点：站点 A Final Ward（由 Thomas Ptacek 与 Erin Ptacek 主办，这篇没有单独署名）给出的用法是让模型当校对而不是代笔：先自己写完，再交给模型找毛病。两条规则都为了防止模型的措辞与语气渗进原文。第一条是模型建议的任何一个词都不许用——前沿模型写什么都像杂志标题，一篇文章里塞满标题就会失真。第二条是禁止模型鼓励——模型对第一稿一律说好，顺着它的称赞走，你会加倍保留本该重写的初稿冲动。它能做的是找问题：被动语态与动词名词化、重复的措辞、「very」「really」「actually」这类填充词、需要挪位置的段落。文章还贴出了作者用来管理多轮校对的提示词与一个小工具。

17. How GLM built its own inference infrastructure

• 原文入口：z.ai/blog/glm-built-its-inference-infrastructure
• HN 讨论：49737922
• 提交者：whiteros_e（提交于 2026-09-17 16:27）
• 快照热度：364 points | 260 comments
• 原文日期：2026-09-17
• 中文要点：智谱（Z.ai）公开了 GLM-5.3-Flash 的推理基础设施是怎么搭起来的：在一套超过 10 万张国产 AI 加速器的集群上从零建起完整的生产级推理服务，这个模型的全部线上推理都跑在这套系统上。约束写得很直白：国产加速器的显存容量与带宽相对有限，生态不成熟、内核支持不全，同时还要支持新模型架构、100 万 token 上下文与多模态请求；大量工作由 GLM-5.3 驱动的 Infra Agent 完成。优化手段包括以计算换带宽、以通信换显存，节点内张量并行覆盖线性注意力与 LM Head、ReplaySSM、W8A8 量化、INT8/FP8/BF16 混合精度缓存量化与 Layer Split，再加上 Encode-Prefill-Decode 分离架构，端到端服务性能约提升 3 倍，硬件利用率与每 token 成本接近主流英伟达 GPU；从模型适配到生产就绪用了不到两周。发布前该模型以匿名身份 Ox-Alpha 在 OpenCode 与 OpenRouter 上测试，一周内成为两个平台上使用最多的模型，六天处理超过 62 万亿 token。讨论分成三路：有人指出出口管制反过来逼出了自研芯片与优化能力，并问美国实验室为何不做同等强度的软件优化；有读者追问这 10 万张加速器是否真的全国产，包含内存与光刻环节；也有人质疑文章开头「能力让我们不安」的基调是在为监管叙事占位，并说实际使用中 z.ai 的速度与额度限制并不理想。

18. Landing the Space Shuttle – A Flying Machine and the Thrill of a Lifetime

• 原文入口：inspire.eaa.org/2019/05/16/landing-the-space-shuttle
• HN 讨论：49720854
• 提交者：JojoFatsani（提交于 2026-09-16 08:51）
• 快照热度：8 points | 2 comments
• 原文日期：2019-05-16（2019 年的旧文，今天重新进入榜单）
• 中文要点：EAA 的 Hangar Flying 栏目 2019 年刊登的一篇回忆，作者 Charlie Precourt 是航天飞机指令长，写他第一次亲手把亚特兰蒂斯号降落在肯尼迪航天中心，那是他前往和平号空间站、为期 10 天的任务。他从 5 万英尺、马赫 1 断开自动驾驶，距落地只剩 3 分 25 秒，没有复飞选项；地面通报里出现航向对准锥、拦截点与减速伞，落地速度 195 节。训练靠一架改装的湾流 G-II 商务机代飞：把起落架放下、飞行中调节反推，模拟航天飞机的 20 度俯冲下滑与 300 节进近，左座复刻指令长显示与控制，右座留给教员。进右座前至少 500 次练习进近，当指令长前要 1000 次，他当时已接近 1700 次。这条只有 2 条评论，没有形成讨论。

19. Why I didn’t sign the Fields medallists’ letter

• 原文入口：gowers.wordpress.com/2026/09/17/why-i-didnt-sign-the-fields-medallists-letter
• HN 讨论：49738091
• 提交者：simianwords（提交于 2026-09-17 16:51）
• 快照热度：193 points | 262 comments
• 原文日期：2026-09-17（同时发布在陶哲轩的博客上）
• 中文要点：Timothy Gowers 解释自己为什么没有在 25 位菲尔兹奖得主那封关于 AI 与数学的公开信上签名。他不否认危机存在，只是不同意信里把「概念理解」摆在「解题」之上的判断：他在 25 年前的《数学的两种文化》里就把数学家分成两端，一端以解决问题为动机、把理解当手段，另一端以理解为目的、把解题当手段，两端都在产出，他不愿那封信暗示多数人的数学气质是错的。关于「AI 产出太快、消化不了」，他逐条拆：AI 给出的是证明而不只是真/假陈述，纳维-斯托克斯的结果建立在大量人类数学工作之上；数学高度专门化，若一年出现 1000 个重要结果，多数子领域只需消化其中约 30 个；结果过剩也不必然更糟，因为可以选择消化哪些。他真正担心的是社会结构：本来会读数学博士、日后守护数学传统的年轻人可能不再愿意走这条路，加上政策层可能认为数学家不再被需要、经费更难拿，所以他呼吁同行想办法更有想象力地使用这批年轻人。他另外说明自己没有从 OpenAI 拿过报酬，虽然与其数学团队有联系、也拿过模型的提前访问；真正让他犹豫的是那封信到底在要求什么。讨论区有 262 条评论：有人赞同信里「大量人类数学专家即使不负责证明也有价值」的说法，有人把问题放大成「当人的劳动不再被需要，人做什么」，也有人问如果 AI 给出的是人类读不懂的千页证明，数学界是否真的处境不同；还有读者顺便抱怨了博客页面上的广告。

20. Zettascale (YC S24) Is Hiring ASIC/FPGA Engineers to Build Chips for ASI

• 原文入口：zscc.ai/careers?job_id=109821
• HN 讨论：49743567
• 提交者：el_al（提交于 2026-09-18 01:00）
• 快照热度：HN 上该帖没有分数与评论
• 原文日期：日期未确认（招聘页未标发布日期）
• 中文要点：YC S24 公司 Zettascale 的 ASIC/FPGA 工程师招聘帖，标题说的是为 ASI 造芯片。招聘页能看到的公司信息很少：站点自述在美国旧金山做面向 AI 的 XPU 芯片，招创始工程师，不要求学历，希望应聘者发一个自己做过的演示。带 job_id 的岗位详情由脚本渲染，我们抓不到职责、年限与待遇，本条只停在岗位层。