7.1
深览指数
科技Supertechfans··AI 生成
2026-10-28 Hacker News 头条精选
这是 10 月 28 日 Hacker News 首页十条高热度条目的中文摘要合集：OpenAI 一口气公布数学、计算机、物理三组研究主张并主动请学界核验；一份预印本声称推翻指数时间假说，但明确不触及 P=NP；Wyden 与 Schiff 指政府拖延公开 FISA 秘密裁决；GPT-6.1 Terra 以每百万 token 输入 1 美元定价主打单任务成本；还有开发者自述用 AI 后更忙、1992 年 CD 播放器仍能在 Win11 启动、自称 Roblox 爬虫下载 145.5GB 素材、维基百科清理 AI 内容、CPython 实验 JIT 面临移除、《人月神话》在智能体时代重读。每条都附有 HN 高赞评论要点，适合想快速了解技术圈当天争论焦点的人。原文 ↗
核心观点
- ▍这一期 HN 的真实主线是：AI 正在产出看起来像「科研突破」的东西，但每条主张都附带了需要独立核验的前提，谁也不能把发布方结论直接当结论。
- ▍多个条目共同指向一个判断：AI 降低实现成本后，工程瓶颈从「写代码」转移到了需求澄清、审查和整合这些串行环节。
- 01OpenAI 公布的三组主张分别涉及欧氏波方程局部平滑猜想、kSAT 确定性次指数时间算法、四维 Yang-Mills 构造；Lean 形式化只覆盖了指数项带 (loglog n)² 的弱化版本，完整更强的时间界尚未被同一形式化陈述覆盖。
- 02预印本给出的时间界包含多项式因子和约 2 的 Oₖ(n·loglog n/√log n) 次方因子，且次指数时间不等于多项式时间，因此论文不解决 P 与 NP 的关系。
- 03FISA 裁决签署于 2026 年 3 月 17 日，议员称 180 天披露期限 9 月 13 日已届满；第 702 条授权 6 月失效，但既有法院授权使收集可持续到 2027 年 3 月。
- 04GPT-6.1 Terra 标准 API 每百万输入、缓存输入、输出 token 定价分别为 1 / 0.05 / 5 美元，发布方称比 GPT-5.6 Terra 与 GPT-6.1 Sol 低 50%；Terminal-Bench 4 最高推理设置成绩 50.3%，旧 Terra 为 21.5%。
- 05O Ioannou 的个人 GitHub 记录显示 2026 年 8 月有 427 次贡献，超过 2020 年 4 月的 319 次纪录，但贡献数不等同于工时或价值。
- 06CPython 实验 JIT 的 PEP 836 于 10 月 19 日撤回，3.15 JIT 在支持平台上仅有约 4%—12% 几何平均加速，3.16 开发主线面临移除。
反方 / 局限
- — OpenAI 承认专家选择可能带来偏向，物理学材料尚未公开，发布节奏由外部专家组掌握，形式化陈述与科学意义需分别检查。
- — Open3DLab 承认爬虫的用户代理可伪造、公司归属未获 Roblox 确认，也承认自身托管同人素材存在版权灰色地带，不能把侵权责任当作已查明事实。
- — 《人月神话》短评没有给出多智能体速度或失败率的对照实验，其推理只适用于共享代码与需求边界不清的协作情形，不能外推为所有并行智能体任务都无效。
OpenAI指数时间假说kSATYang-Mills 理论Lean 形式化Ron WydenAdam SchiffFISA 第 702 条GPT-6.1 TerraPEP 836CPython JITRobloxOpen3DLab人月神话WikiProject AI Cleanup
34 分钟 · 6 卡片 · 14 资料
读原文 →