瓶颈在上游，保证有边界

TianoCore 10 月 22 日发布安全公告，披露 EDK II 中的一个漏洞——这是一套用于构建启动固件的开源代码。能在网络启动阶段投递恶意数据包的攻击者，可借此破坏内存并执行代码。

Ars Technica 报道称受影响的参考代码使用极广；但公告与公开提出的修复，并不能说明哪些成品机器已拿到厂商更新。

10 月 23 日，美国能源部（DOE）将氦气认定为关键材料，理由是它在半导体制造中不可或缺，且供应存在风险。

能源部表示：许多用途没有替代品，需求增速快于产量，国内的精炼能力与审批许可制约着扩产。

Anthropic 与 Theorem 报告：Claude 修补代码并生成数学证明，覆盖 123 个开源库中的 239 个测试入口；结果由独立的证明检查器 Rocq 校验。

保证的内容很具体：在声明的输入、内存、硬件与操作系统假设下，这些编译后的测试不会崩溃。10 月 22 日的发布同时公开了证明及其所依赖的计算机行为模型。

纽约市交通局（NYC DOT）10 月 23 日宣布，在布朗克斯 Fordham Road 进行试点，在真实车流下测试工业废料的「第二生命」：一种沥青含 96% 再生材料，其中 66% 为钢渣（炼钢副产品）。

另一种配方则在胶结料中使用再生塑料。两者不能互换：96% 这个数字只属于钢渣配方。交通局将持续监测其表现。

由 OKX 与洲际交易所（ICE）合资的 OKXICE，在 10 月 26 日的公告中列出 26 家反对其拟议代币化股票交易场所的公司，IBM、IonQ、Oracle、Intel 在列。

代币化指在区块链上表示股份，并通过安排保留股东权利。

在 Star Trek 中饰演 Pavel Chekov 的 Walter Koenig 去世，享年 90 岁；其经纪人在 10 月 26 日发布的报道中证实了消息。

进取号上这位年轻的俄罗斯领航员，呈现了来自敌对国家的人并肩工作的图景。

Northwestern University 的研究者在电磁阱中囚禁了单颗正电子（电子的反物质对应体），并控制了它的单个量子态——可以理解为在粒子微小的「能级阶梯」上准备并读取特定台阶。

该成果于 10 月 21 日发表在《Physical Review Letters》，此前已有预印本。