260427|AI解埃尔迪猜想,美国地热突破

260427|AI解埃尔迪猜想,美国地热突破

NaN分钟 ·
播放数8
·
评论数0

今日 Hacker News 精选:从软件人才危机到 AI 辅助数学证明,再到隐私过滤、地热能突破与开源项目进展。

The West forgot how to make things, now it’s forgetting how to code

人才管道断裂

文章讲述美国国防工业因长期和平红利导致人才流失,Stinger 导弹生产线因关键工程师退休而被迫停摆,类比软件行业对 AI 的依赖正在侵蚀深层工程能力。

AI 带来的误解

开发者普遍相信 AI 能提高效率,但 METR 随机对照试验显示,有经验的工程师使用 AI 编码实际用时比不使用增长 19%,而他们预期提升 24%,期望与实际相差 43 个百分点。许多工程师在后续实验中拒绝离开 AI,表明对工具的依赖已经形成心理惯性。

对策与思考

作者通过修改 PR 模板、强制增加变更说明和截图,并为每个项目配备专职审核员来捕捉模型盲点。评论中有人指出,「Well it’s not like software is critical for modern infrastructure……」,提醒技术决策者不要被营销掩盖的人才短fall。真正的工程素质在于判断力和沟通能力,这些正是目前市场稀缺的能力。

Amateur armed with ChatGPT solves an Erdős problem

事件概述

23 岁业余爱好者 Liam Price 在一次闲散的下午将 Erdős 原始集合下界问题输入 ChatGPT,模型给出了一个看似正确的证明。

背景脉络

该猜想由 Erdős 于 1960 年代提出,涉及无整除关系的整数集合的得分上限。此前仅在素数集合上得到上限 1.6 的证明,下界长期悬而未决。Price 将模型输出发给剑桥二年级学生 Kevin Barreto 共同检查,Barreto 发现方法与以往尝试完全不同,使用了在相关数学领域已知但未用于此类问题的公式。

行业影响

Terence Tao 和 Jared Lichtman 在提炼后确认该思路新颖且具备推广潜力。证明已发布在 erdosproblems.com,社区普遍认为 AI 能提供全新视角,但也警告不要把单一成功过度解读为 AI 数学能力的全面突破。

OpenAI Privacy Filter

核心亮点

OpenAI 发布 Privacy Filter,一个开放权重的 1.5B 参数双向 token 分类模型,专用于检测和遮蔽文本中的个人身份信息(PII)。

关键特性

  • 支持上下文感知的八类 PII 检测(姓名、地址、邮箱、电话、URL、日期、账号、密钥),采用 BIOES 标签产生连贯遮蔽区块。
  • 单向前向传播即可完成标注,支持最高 128k tokens 的长文本,可在本地运行以降低数据外泄风险。
  • 在 PII‑Masking‑300k 基准上达到 97.43% F1(修正后),少量领域微调即可将 F1 从 54% 提升至 96%。

实际影响

开发者可在训练、索引、日志和审核管道中直接调用该模型,实现数据离机的隐私保护。OpenAI 已在内部工作流中使用其微调版本,并计划在 Hugging Face 与 GitHub 上提供 Apache 2.0 许可证的版本,供实验、定制和商业部署。

America's Geothermal Breakthrough

事件概述

美国增强型地热系统(EGS)有望在西部盆地释放最高 150 GW 清洁基荷电力,远超目前约 2.7 GW 的传统地热装机容量。

背景脉络

传统地热依赖自然发生的水热储层,分布受地质限制。EGS 采用压裂类钻技术在干热岩中人工创造储层,因而可以把地热开发延伸至传统资源匮乏地区。美国地质局估算仅大盆地就有 135 GW 潜力。

行业影响

Fervo Energy 正在犹他州建设全球最大 EGS 电站(计划 100 MW 第一阶段),并与 Turboden America 签订 1.75 GW 有机朗肯循环涡轮供货协议。内政部已释放 1.715 亿美元用于下一代野外规模测试,特朗普政府对地热的持续支持使该技术有望成为电网调频和能源安全的重要补充。

Asahi Linux Progress Linux 7.0

项目定位

Asahi Linux 致力于在 Apple Silicon Mac 上运行主line Linux,最新进展伴随 Linux 7.0 发布。

核心能力

  • 安装器通过 GitHub Actions 自动化构建,解决了因设备树不同步导致的 live‑media 启动失败。
  • 新增 Ambient Light Sensor 固件存放在 EFI 分区,配合 Dracut 模块实现 macOS 恢复模式下的固件重建。
  • 通过 Power Management Processor (PMP) 驱动将 M1 Pro 空闲功耗降低约 0.5 W(约 20%)。
  • 蓝牙与 Wi‑Fi 共享 2.4 GHz 频段的干扰经由 Broadcom HCI 扩展得到内核调度优化,消除音频丢失。
  • 变频率(VRR)通过 Display Controller 参数实现,待内核补丁合并后可通过 appledrm.force_vrr 强制启用。

使用场景

开发者可借助更新的安装器在 M1、M1 Pro、M1 Max、M1 Ultra 及最新 M3 机型上获取完整硬件支持,包括 PCIe、键盘/触控板、SMC、NVMe 等。Fedora Asahi Remix 44 计划在此基础上提供现代 KDE Plasma 桌面,为希望在 Mac 硬件上运行原生 Linux 的用户提供稳定选择。

GnuPG – post‑quantum crypto landing in mainline

核心亮点

GnuPG 2.5.19 首次在主线合并 Kyber(ML‑KEM / FIPS‑203)后量子加密算法,为 OpenPGP/S/MIME 提供抗量子密钥封装与签名能力。

关键特性

  • 新增 --use-ocb-sym--show-[only-]session-hash 选项,改进智能卡 PIN 交互及 dirmngr keyserver 配置。
  • 多项底层修复,涉及 PKCS#12 密钥长度处理、GCM 合规性、证书链检查及 RSA 填充验证。
  • 提供 26 语言国际化,其中中文、德语、法语等译文近乎完成。

实际影响

用户可直接在现有 GnuPG 工作流中启用 Kyber 进行后量子安全的邮件加密与文件签名,无需更换密钥管理工具。旧版 2.4 系列两个月后将达 EOL,建议及时升级以获得量子抗性以及最新的错误修复。社区反馈表明,该版本在 Windows 64 位和平台间的兼容性得到显著改善,为后量子过渡提供了可落地的开源实现。


相关链接: