2026-10-28 Hacker News Top Stories
内容提要
OpenAI公布数学、计算机与物理三组研究主张，称证明局部平滑猜想、推翻指数时间假说并推进规范场构造，但材料待学界核验，且不意味着P=NP。参议员要求公开涉702条款的秘密法院裁决。OpenAI发布低价快速的GPT-6.1 Terra。另有文章反思AI加剧工作碎片化、维基百科清理AI内容、CPython实验性JIT面临移除，以及AI时代人月神话仍受串行依赖制约。
延伸解读
OpenAI 研究主张的验证边界
OpenAI 公布的三组研究材料均强调需学界核验，且物理学材料尚未公开。数学与计算机科学部分虽声称证明或推翻重要猜想，但公开的 Lean 形式化仅覆盖较弱版本，不能将论文全部主张视为已独立审定。读者应区分“发布方主张”“形式化验证范围”与“学界共识”，避免将预印本结论直接等同于领域定论。
次指数算法不等于 P=NP
预印本提出的 kSAT 次指数时间算法若成立，会动摇指数时间假说及相关条件性下界，但次指数时间仍非多项式时间，因此不解决 P 与 NP 关系。一般多项式归约可能放大实例规模，固定宽度 SAT 的改进不自动推广到整个 NP 类，也不保证现有 SAT 求解器或密码分析立即获得实用加速。
702 条款失效后的监控延续
第 702 条立法授权虽已于 6 月失效，但 3 月法院批准仍允许相关收集持续至 2027 年 3 月，因此条款失效不等于监控立即停止。争议核心是依据 702 条收集的数据如何被查询，以及过滤工具、事先批准和日志等控制措施是否充分。参议员要求公开秘密裁决，反映国家安全保密与公开法律依据、有效监督之间的持续张力。
GPT-6.1 Terra 的成本与选择负担
GPT-6.1 Terra 以较低 API 价格和更快任务完成速度为卖点，官方基准显示其在部分任务上优于旧版 Terra，但困难编程任务上 Astra、Sol 仍更强。发布方报告的错误率数据来自特定压力测试，不能视为通用错误率。实际账单受任务类型、推理强度、输出长度和重试次数影响，用户需结合自身工作流验证，而非仅凭官方基准选择模型。
Q&A
OpenAI 公布的数学、计算机科学和物理学三组研究主张分别是什么？
数学部分声称证明欧氏波方程在所有维度的局部平滑猜想，并推出 Kakeya 猜想等结果；计算机科学部分声称推翻指数时间假说，已邀请外部专家参与工作组；物理学部分声称在四维相互作用规范场及费米子理论的严格数学构造上取得进展，涉及 Yang–Mills 理论、QCD 及标准模型的一种统一完备化。
OpenAI 的预印本声称推翻指数时间假说，这是否意味着 P=NP？
不是。该预印本提出固定宽度 kSAT 的确定性次指数时间算法，但次指数时间仍不是多项式时间，因此论文并未解决 P 与 NP 的关系；一般多项式归约也不自动保留这种时间界。
GPT-6.1 Terra 的 API 定价是多少？主要面向哪些用户？
标准 API 每百万输入 token 为 1 美元、缓存输入为 0.05 美元、输出为 5 美元，官方称价格比 GPT-5.6 Terra 与 GPT-6.1 Sol 低 50%。该模型面向 ChatGPT Work 与 Codex 的 Plus、Pro、Enterprise 和 Edu 用户提供，并以 gpt-6.1-terra 名称开放 API。
为什么作者感觉 AI 让工作更忙而不是更少？
AI 让实现想法更便宜，作者因此同时启动更多任务；每个智能体都会不时提出问题、等待批准或交付待审代码，注意力被切成碎片。编码能力增长得比规划、判断和审查能力更快，工作并未自然缩短。
维基百科的 WikiProject AI Cleanup 主要做什么？当前更棘手的问题是什么？
该项目由志愿者发现并清理 AI 生成的维基百科内容，始于 2023 年 12 月。更棘手的问题正从虚构文献转向歪曲真实来源：引用确实存在，却未支持条目声称的内容。
CPython 实验性 JIT 为什么面临从主分支移除？
指导委员会要求先通过正式提案说明性能目标、维护方式及兼容安排，但用于回应的 PEP 836 于 10 月 19 日撤回，作者表示缺乏继续推进当前版本所需的个人精力。因此该 JIT 面临从 3.16 开发主线移除，但 3.15 保持既有状态。
《AI 时代的人月神话》的核心观点是什么？
文章认为，增加智能体仍无法消除串行依赖，瓶颈正转向需求澄清、审查与整合。缺乏明确协调时，多个智能体还可能相互覆盖工作；作者把旧警句改写为：向需求不清楚的项目增加智能体，只会更快得到错误答案。
