Hacker News 中文摘要

自由BSD（FreeBSD）发布工程团队在2026年9月8日高兴地宣布 FreeBSD 14.5-RELEASE 正式可用，此为 stable/14 分支的第六个发行版。由于本次发布处在遗留稳定分支的后期阶段，几乎没有什么新特性加入，主要精力集中在维护方面。相较于 14.4-RELEASE，其所做的改动大多为程序错误修复、设备驱动更新以及外部第三方维护软件的新版本。

纽约大学（NYU）数学教授特里斯坦·巴克斯特（Tristan Buckmaster）于周二宣布三项证明，含理论数学一大未解问题的初步发现。该成果与安索皮克（Anthropic）数学家莱文特·阿尔珀格（Levent Alpöge）合作，使用科德克斯（Codex）和克劳德（Claude）模型完成。与此同时，围绕开放人工智能（OpenAI）求解同一问题出现罕见争议。巴克斯特在声明中提及不愿牵涉的另一部分故事，称 OpenAI 在其工作公开前并行推进，导致学术纠葛。

由于空中交通管制出现问题，周二英国数百个航班被取消或延误，有警告称将进一步中断。空中交通管制服务商娜茨（Nats）表示事件恢复所需时间比希望的要长。希思罗（Heathrow）、曼彻斯特（Manchester）和东米德兰兹（East Midlands）机场等均报告了严重中断，苏格兰和爱尔兰的机场也经历了延误。一些机场称预计周三运行完整航班时刻表，但警告机场会更繁忙。

缪斯（Muse）是元（Meta）推出的个人 AI 代理，在亮相介绍中以你的个人 AI 代理能把事情办成为核心标语。该产品正式发布，定位为帮助用户实际完成各类日常任务的智能助手，强调落地执行能力而非仅提供建议。

每周，人们通过ChatGPT图片（ChatGPT Images）与GPT图像模型（GPT‑Image models）创建超过30亿张图像。今天，我们推出ChatGPT图片2.5（ChatGPT Images 2.5）这一新旗舰图像模型，为创作流程带来更清晰细节、更精准编辑与更快生成。该模型呈现更自然光照与更丰富纹理，更擅长保留参考照片中的主体，并能在多轮对话中更可靠地遵循编辑指令。相比图片2.0（Images 2.0），图像生成延迟最高降低50%。

我们分享纳维-斯托克斯存在性与光滑性问题的解，该问题是千禧年大奖难题之一。由开放人工智能（OpenAI）内部系统产生的证明显示，流体运动的纳维-斯托克斯方程能在有限时间内产生奇点，并分享证明文稿与精益（Lean）形式化。千禧年大奖难题代表数学前沿最深问题，光滑三维流体运动崩溃约90年未解。使用远超GPT‑6阿斯特拉（GPT‑6 Astra）的内部模型解决该问题。

乐金（LG）电视即便处于离线或待机状态也会被发现在监视用户，这一情况由游戏玩家 Nexus（Gamers Nexus）的调查指出。该媒体测试发现，部分乐金机型在未联网且屏幕关闭时仍在录制音频并扫描周边 Wi-Fi 信号。测试表明，设备内部组件保持运行以收集环境与网络信息，而用户并未收到相关告知。

运行通义千问（Qwen）3.8 27B 模型需要多少 GPU 显存才能不损失质量。完整的 BF16 模型重 55 GB，超出多数消费级硬件。但 17 GB 的 Q4KM 在终端基准（Terminal-Bench）2.1 上媲美全模型，可放入英伟达（NVIDIA）RTX 4090 这类 24 GB 显卡，还能留约 64k tokens 上下文。压缩终有断崖：1 位时模型在 GPQA Diamond 上接近随机，更长推理更差。该模型 GGUF 量化提供 8 位 Q80（29 GB）、4 位 Q4KM（17 GB）、2 位 UD-Q2KXL（10.7 GB）与 1 位 UD-IQ1S（6.2 GB）等选项。

印度圣人巴拉姆（Barlaam）和约萨法特（Josaphat）的故事从国王阿本纳（Abenner）迫害基督徒讲起。阿本纳听占星家说儿子将统治印度，但一人预言王子会成为基督徒圣徒。惊恐的阿本纳将年轻王子约萨法特隔离外界，锦衣玉食。约萨法特好奇外出，见疾病衰老死亡之苦，信仰危机中遇隐士巴拉姆，皈依并坚持信仰。后来阿本纳让儿子共掌王位。

我有多动症（i-have-adhd）提供对多动症友好的输出且无需诊断，可从仓库安装此技能/插件。它用于编码助手，阻止埋没答案，要求行动第一、步骤编号、不说“Hope this helps!”。在改动说明里，旧回答冗长，新回答直接给出运行 npm install jsonwebtoken@latest 与编辑 src/auth.ts:42 等步骤。