1. FAA发布全国停飞令；
2. 全年无休：LibreOffice 借“365”暗讽 Microsoft 365；
3. Claude 多平台服务错误事件已解决；
4. 末日：2026年11月13日星期五（1960）；
5. AI破解哥德尔手稿：数百个未知定理重见天日；

以上是今天的前五条黑科技新闻标题。

总共25条，具体内容您往下读…

1. FAA发布全国停飞令

🔗 nbcnews.com: FAA issues national ground stop

美国联邦航空管理局周五下午突然下令全国地面停飞所有离港航班，称因“特殊情况”和“安全原因”。官员表示，初步原因指向电信中断，暂无迹象表明存在恶意行为或网络攻击，总统已听取简报。停飞时约4042架赴美航班在空中，数十万旅客滞留，多地机场接近饱和；FAA称国际入境航班逐案处理，相关AI系统与微软故障均未被认定有关。

相关报道：twitter.com (HN) · orcasairband.com (HN) · axios.com (HN)

2. 全年无休：LibreOffice 借“365”暗讽 Microsoft 365

🔗 twitter.com: LibreOffice actually works 365 days a year

LibreOffice 官方账号发推称，其软件“实际上 365 天全年可用”，并用“只是说说”一句暗指与 Microsoft 365 的名称对比。推文发布于 2026 年 11 月 13 日上午 11:35，获得约 120 万次浏览及大量互动；核心是借“365 天”双关强调全年可用，以轻松幽默的方式完成营销。

3. Claude 多平台服务错误事件已解决

🔗 status.claude.com: Elevated errors on claude.ai, Claude Code, and platform.claude.com

2026年11月13日，Claude 服务出现影响 claude.ai、Claude Code 等平台的错误，官方于09:58 UTC 开始调查用户 认证问题。随后在11:05 UTC 部署修复并进入 监控恢复 阶段，最终于11:58 UTC 宣布影响 claude.ai 与 Claude Cowork 的问题 已解决。此次事件涉及 claude.ai、Claude Console（platform.claude.com）、Claude Code 和 Claude Cowork。

相关报道：status.claude.com (HN)

4. 末日：2026年11月13日星期五（1960）

🔗 science.org: Doomsday: Friday, 13 November, A.D. 2026 (1960)

原文未能获取；据Hacker News讨论，这篇1960年的文章以人口增长外推推出所谓2026年“末日”，讨论中有人用伪造的2026年全国停飞通告调侃该日期。评论者认为这类预测暴露了末日预测的简化性：早年担忧人口爆炸，如今更关注峰值与当前更担心人口下降，并用《绿色食品》《缩小空间》等作品说明时代心态；也有人批评“趋近无穷”的论证意义有限，并借此反思当下对超级智能等议题的恐慌。

5. AI破解哥德尔手稿：数百个未知定理重见天日

🔗 theguardian.com: AI unlocks Gödel’s notebooks, said to contain hundreds of proved theorems

奥地利逻辑学家库尔特·哥德尔留下的1009页手稿用早已废弃的加贝尔斯贝格速记写成，长期令研究者进展缓慢。赫尔辛基大学扬·冯·普拉托团队自2017年起整理这些“工作笔记”，过去每周仅能推进约一页。2026年9月引入AI模型Claude后，AI在数日内给出全稿综合摘要，揭示哥德尔已证明数百个此前未知的定理，还包括数十项直到20世纪70至80年代才被重新发现的结果，以及14个未被继续探讨的逻辑主题。AI还重建了哥德尔关于选择公理独立性的证明雏形，经Coq验证通过；从笔记中提取的663个定理中，约400个按原样验证，约200个需修正，约50个为假。学者认为这极具历史和数学价值，但哥德尔究竟完成了多少、AI贡献多少，仍需历史学家审慎判断。

6. AI正在摧毁作家与读者之间的信任

🔗 theatlantic.com: AI is destroying the trust between writers and readers

文章以作者因ChatGPT误述其小说情节而被读者质问为引，揭示AI如何制造文学骗局：同名AI小说泛滥、冒名书籍难辨、读者来信和作家身份被仿冒用于营销诈骗。这种真假难辨的信任崩塌让作家怀疑读者是否真实，读者也难以确认真实作者。作者认为，AI伪造书籍与诈骗不仅侵蚀阅读生态，还切断读者与作家之间能促成反思、共情与成长的真实对话，而真实的人际连接正是叙事最珍贵的力量。

7. 1140万美元英伟达硬件运输途中失踪，警方展开调查

🔗 freightwaves.com: $11.4M in Nvidia hardware vanishes during shipment from CA to TX

一批价值约1140万美元的英伟达计算机硬件在从加州奥克兰运往德州沃思堡途中失踪。卡车8月29日装货后多次长时间停留，调查人员最终在圣贝纳迪诺县失去车辆踪迹。奥克兰警方确认正就2026年9月13日报案的重大盗窃展开调查，但尚未确认具体货值、货物、货主、承运方或司机，也未宣布逮捕或追回。事件发生之际，另有约1.11亿美元数据中心货运被盗报告，且北加州此前也有英伟达产品失窃案，但当局未确认关联。运输高价值货物需加强承运商核验与运输可见性。

8. 礼来CEO驳斥Anthropic“十年治愈绝症”狂言

🔗 garymarcus.substack.com: Eli Lilly CEO pushes back on Dario Amodei’s medical claims

文章报道Anthropic CEO Dario Amodei在IPO前宣称AI将在十年内治愈癌症、阿尔茨海默病、心脏病和精神疾病，引发专家群嘲，被批为Elizabeth Holmes式过度承诺。礼来CEO Dave Ricks回应称愿景虽好但“不太可能”，强调生物学认知仍有限，随机人体试验才是瓶颈，AI进展将渐进。多位研究者指出，新药从人体试验到FDA批准常需10至14年，临床试验周期无法跳过，所谓十年内治愈不现实；批评还指向IPO前夸大宣传与媒体未充分追问。

9. 十六次点击才能打开iPad上的PowerPoint：技术反成负担？

🔗 reddit.com: It Takes 16 Clicks for a Student to Open a PowerPoint on an iPad

一位教师记录：有ADHD和任务启动困难IEP目标的学生，为完成填空笔记，必须按固定顺序登录Clever、Google、Canvas，进入班级与模块，在众多链接中找到并下载PPT，再用Keynote打开、旋转iPad寻找蓝色“打开”、关闭屏幕锁定并演示；整个过程需16次点击。教师认为这套流程并不优于纸质，自己因每节课要帮学生重复多次而背熟，但学生仍可能拖延20分钟，而竖屏才出现按钮等设计更让人难以猜到。

10. 为什么新系统代码选 Zig 而非 C？

🔗 mtsoukalos.eu: Why Zig over C for Systems Programming

作者认为 C 仍是 UNIX 和系统库的通用语言，稳定、跨平台且生态深厚；但新代码更愿用 Zig。Zig 通过 errdefer 让资源清理紧贴分配并自动逆序执行，用带长度的切片在调试/安全模式捕获越界，并以返回类型强制处理错误；comptime 取代预处理器，还检查整数溢出。zig cc 可编译并交叉编译 C，便于逐步迁移。代价是 Zig 仍有 C 类未定义行为、版本不稳定、工具生态较少，特殊嵌入式平台仍可能只能选 C。

11. 600次实验揭秘：JEPA世界模型的规划突破

🔗 haddyalchaer.com: After 600 experiments, here’s what I discovered about JEPA world models

作者对LeWM（JEPA世界模型）进行600次实验，发现无需重新训练即可通过四种规划方法显著提升长程任务成功率。关键发现是LeWM的有效规划视野约25步，采用分层规划（每25步设子目标）可将成功率从22%提至80%；构建带跳跃代价的记忆图可达85%，与专家子目标效果相当。此外，用变换演示填补记忆缺口，并修正目标评分（忽略推杆位置）能进一步提升。标准Push-T测试因目标沿演示路径而偏简单，更难测试下仍有提升空间。这些方法不改变模型权重，可迁移至更大JEPA模型。

12. 大科技靠不住：微软宕机暴露依赖风险

🔗 blog.jsweeting.me: Big tech is here to let us down

文章借 微软服务宕机 导致 Outlook、Teams 和 Copilot 中断，批评大科技公司让企业、学校和法院等机构无法正常运转，员工却像放“成人雪假”。作者认为裁员削弱修复能力，微软也不太可能赔偿损失，并警告 全球北方对微软的依赖 使关键组织在故障时只能被动等待；欧洲公共机构转向 开源替代 正是为了降低这种风险。

相关报道：theregister.com (HN)

13. 拒绝AI垃圾：让AI放大判断，而非替代思考

🔗 slopmanifesto.com: No AI Slop: A Manifesto

这份由AIE Code Summit 2026与会者发起的宣言，仿照敏捷宣言提出：面对AI生成代码、文档和消息的泛滥，应坚持输出不等于成果，重视理解、人的思考与更好工作，而非速度、数量和轻松。它把“AI Slop”定义为生产者投入少于读者理解成本的内容，强调AI不替代人类判断，只会放大判断或缺失；且垃圾会因零成本生产、恒定审核成本和知识库污染而复利。因此签署者主张优化人类注意力与意图表达，人对意图、品味和后果负责，披露AI参与并复核关键部分，并以系统改进和护栏对抗重复错误，最终以实际影响而非代码行数、合并PR或token消耗衡量价值。

14. FM-1 工作台：三分钟上手指南

🔗 open.m-vave.com: FM-1 Workbench

FM-1 提供 8 条轨道、6 种音源和 16 个内置工程，每轨可选 16/32/48/64 步，开机不自动播放。可在 HOME/PRESETS 中完成 预置切换与试听，用 EDIT、ALGORITHM、SEQ、GLO 分别调整音色、音源、步进与混音。网页端支持保存到浏览器、导出项目或 保存到设备；实机通过 SAVE 存入设备槽，覆盖已有槽位时会提示确认。

15. Haskell 生态技术愿景：以生产力、安全稳定与开源活力重塑开发体验

🔗 discourse.haskell.org: A technical vision for the Haskell ecosystem

Haskell Foundation 技术领导委员会已启动，提出通过轻量社区提案机制吸引企业、承包商和志愿者参与，并开放社区评论与反提案。其愿景聚焦 生产力与开发体验，包括加快编译与迭代、改进调试分析、优化文档和上手流程；同时建设 安全可信与稳定性，强化事件响应、供应链与密码学栈，并追求旧代码可平滑升级；最终支持 开源生态协作，让维护者和志愿者共同推动 Haskell 长期繁荣。

16. 谷歌为何对“无AI学校”断供搜索？

🔗 text.npr.org: Why is Google cutting off Search from AI-free schools? Here are some theories

谷歌允许学校关闭学生AI功能，却规定若禁用搜索中的AI摘要，就失去Google搜索访问权，引发家长和倡导者愤怒，纽约市长及参议员批评其借市场力量强推AI。前谷歌员工推测，这与谷歌在反垄断诉讼中主张搜索和AI为整合产品有关，若设“关闭开关”可能削弱胜诉理由。谷歌称旨在让学校领导者自主掌控AI，但未回应关联质疑。与此同时，AI摘要被评“不可接受风险”，Gemini相关诉讼也加剧信任危机。

17. 巴西Caixa保险客户数据泄露：760万人姓名与税号遭暴露

🔗 filemanager-cdn.mziq.com: Brazil’s Caixa insurer breach exposes names and tax IDs of all 7.6M customers

报道显示，巴西Caixa保险公司发生数据泄露，导致全部约760万客户的姓名和税号等敏感信息暴露。税号通常可用于身份识别和金融交易验证，因此事件可能带来身份盗用、欺诈和隐私侵害风险，并给客户对机构的信任造成冲击。相关机构应尽快通知受影响人群、说明泄露范围并加强数据保护；客户则应留意官方通告，警惕可疑联系，并视情况采取账户监控和信用保护措施。

18. 乔纳森·布洛：如果AI已经解决编程，为何我的软件仍没变？

🔗 youtube.com: Jonathan Blow – If AI Solved Coding, Why Is My Software Still the Same? [video]

该视频以反问切入，核心是对AI解决编程这一流行说法的怀疑：如果工具真能自动完成开发，作者自己的软件仍没变就说明效果被夸大。提供的页面内容主要是 YouTube 导航、版权与政策等样板信息，未含完整演讲实录，因此可提炼的观点是：应把实际产出变化而非宣传口号作为衡量 AI 编程价值的标准，并追问其落地边界；也提醒读者别被营销叙事带偏，关注可验证的工程收益与真实场景限制。

19. OpenAI解散独立机器人团队，押注通用模型直接驱动机器人

🔗 fortune.com: OpenAI disbands its robotics team as its general models start running robots

OpenAI确认解散独立机器人团队，将研究人员并入核心研究和应用团队，但称仍长期致力于机器人。文章认为这反映行业新押注：通用模型可直接用于具身智能，无需专门机器人模型；GPT-6 Astra连接机器人表现超预期。支持者称机器人成通用智能下游应用，质疑者指出实地部署数据和专用小模型仍重要。OpenAI面临控成本压力，目标2027年公开展示人形机器人。

20. 等距旧金山：一张湾区像素艺术地图

🔗 isometricsf.com: Show HN: Isometric SF – A pixel-art map of the SF Bay Area

该项目由 @jus10chavez 制作，呈现旧金山湾区的像素艺术等距地图，并附制作说明与致谢。地图瓦片采用 CC BY-NC 4.0：非商业可署名并链接 isometricsf.com 复用，商业用途需在 X 上联系作者。地图数据来自 OpenStreetMap（ODbL），影像取自 Google Maps Photorealistic 3D Tiles，土地覆盖来自 ESA WorldCover 2021/Copernicus Sentinel（CC BY 4.0），高程由 Copernicus WorldDEM-30 提供并保留权利，地点信息来自 Wikivoyage（CC BY-SA 4.0）。整体体现多源地理数据的叠加与授权差异。

21. 数据智能工程师的黎明：AI重塑数据团队

🔗 motherduck.com: The Dawn of the Data Intelligence Engineer

文章指出，AI代理已能写SQL、搭看板、建管道，数据团队的传统积压正在消失，但“答案是否正确”仍需人负责。作者因此提出数据智能工程师这一新角色：其核心不是亲自写代码，而是设计并调度代理、维护清晰的数据模型与共享上下文、建立评估体系，并对关键结果承担问责。为控制风险，文章主张按影响范围实行分层监督：核心指标严管，策展看板尽力维护，外围探索放手。最终目标是让组织内任何人都能借助代理自助、准确、快速地用数据决策，而数据团队继续拥有模型、语义、质量和最终结果。

22. 权重空间误折叠：模型权重可被“感染”

🔗 alphaxiv.org: Weight Space Misfolding

本文提出“权重空间误折叠”概念，指一个模型通过直接改写另一个模型权重，使其产生未经授权的行为，并类比朊病毒病中的蛋白误折叠。作者建立威胁模型与非穷尽分类，涵盖事实替换、能力拒绝和选择性遗漏，并在IWIBench上用Qwen2.5-1.5B目标模型和ChatGPT 6.1-Sol编辑器做三项受控案例。结果显示定向干扰可行，但可靠性和功能保持有限，且未证明自我传播或实际攻击能力；然而相关构件已在前沿模型中稳定存在。防御重点应是控制授权编辑到部署的路径、验收测试和恢复能力，而非简单禁止有用的权重编辑。

23. Lonewolf 0.3 发布：Rust 独立 XMPP 服务器迎来联邦能力

🔗 github.com: Lonewolf 0.3 – A standalone XMPP server written in Rust

Lonewolf 0.3 的核心新增是联邦，用户可与其他 XMPP 服务器交换消息、在线状态、IQ 和订阅；联邦默认启用，仅用证书认证，不支持 Server Dialback。此版还加入直接 TLS、私有 XML 存储、软件版本查询、短生命周期证书，以及可选的 SCRAM-SHA-512。Lonewolf 仍为 pre-1.0 单节点版本，完整 XMPP 合规与集群支持在路线图中。

24. 明尼苏达吉他手发明“掌品”开创演奏新方式

🔗 echopress.com: Minnesota guitarist’s “palmfrets” invention strikes a new chord

明尼苏达音乐人本·兰森历时多年发明“掌品”（palmfrets），让吉他手用拨弦手手腕的豌豆骨按压额外品丝，并由拇指拨弦，从而解放按弦手，同时演奏低音线与旋律。该装置已获专利，并在 Fergus Falls 首次公开演示；乐手认为它尤其适合独奏伴奏，也可能增强贝斯演奏。兰森强调设计不能干扰传统吉他功能，但仍有学习曲线，真正潜力或需多年后由年轻乐手展现。

25. 欧盟数字身份钱包推广：乌克兰Diia的接入位置

🔗 myid.ie: EU Digital Identity Wallet rollout: every EU state on one board

作为2024年6月开启入盟谈判的候选国，乌克兰的Diia以移动应用和公共服务门户整合身份证、生物识别护照、驾照、车辆登记、税号及子女出生证明，2021年8月23日起数字护照具国内法律等效性，Diia.Signature支持签署与认证。欧委会2026年7月22日更新的EUDI钱包试点概览将乌克兰列为跨境测试参与方，首批试点始于2023年4月，但项目层面证据不证明Diia已完成互操作性测试或在欧盟获接受。爱沙尼亚mRiik曾基于Diia也不等于EUDI就绪，国家可用性不等于认证；证据核查至2026年10月15日。