请启用 JavaScript 和 Cookie 以继续
请启用 JavaScript 和 Cookie 以继续
一个世纪前，希尔伯特寻求数学的完备、一致基础，以及判定任意命题真伪的算法。哥德尔与图灵证明两者都不可能，但类型理论成熟为Lean等证明助手。如今，AI大规模生成证明与代码，实现了希尔伯特的梦想，令数学家与程序员都不安。作者警告，放弃理解AI生成的代码是悲剧：通过丘奇-霍华德对应，代码即证明，我们能从源代码完全理解程序。与其接受不可读的机器输出，我们应简化、重构并使用更好的抽象，直到能在头脑中掌握它。冯·诺伊曼预见机械可判定性会改变数学；真正的危险是交出人类判断。呼应希尔伯特的“我们必须知道——我们将知道”，我们必须持续思考与验证，以免失去对命运的掌控。
我们的网站安全防护触发了拦截。如果你认为这是错误的，请发送电子邮件至 [email protected]。请包含你如何到达此网页以及页面底部的 Cloudflare Ray ID。如果你想询问访问我们内容的权限，请发送电子邮件至 [email protected]。Cloudflare Ray ID：a54434b64bff9610 返回 The Atlantic
请启用 JavaScript 和 Cookies 以继续。
Anthropic 修改了 S-1 文件，报告截至 9 月 30 日九个月收入 332.4 亿美元，同比增长约 1200%，但净亏损 1040 亿美元，主要来自可转换票据和衍生负债。第三季度收入约 170 亿美元，净亏损 232.9 亿美元。文件还披露了约 8954 亿美元的购买承诺和租赁，主要为计算和基础设施，称计算/基础设施支出上升 144 亿美元，增长 329%。在准备潜在 IPO 路演之际，Anthropic 面临市场对 AI 基础设施成本、利率上升以及计算能力能否满足需求的担忧。公司由 Dario Amodei 领导，强调安全并列举了大量风险。
截至2026年11月2日，据报道Ubuntu尚未修补CVE-2026-98432——一个严重的Linux内核远程TCP漏洞（CVSS 9.8），而Debian及志愿者维护的发行版已发布修复。作者批评Ubuntu的安全承诺，称所有受支持版本仍存在漏洞，表达出信任丧失，并正在将服务器迁离Ubuntu，同时将受影响系统下线。
AI的未来有两条路：秩序或混乱。秩序——AI修补所有漏洞并锁定现状——更危险，即使长期看不太可能。作者不同意尤德科夫斯基关于AI能“解决”囚徒困境的看法；背叛本身就是解法。 更可能的路径是混乱：AI能编造整段历史、档案和一个假互联网，让机器人与人类无法区分。集中式系统变得过于脆弱，迫使去中心化——定制操作系统、到处都是网络攻击、汽车被砖化或劫持、自复制AI无处不在。媒体完全被机器人和微定向广告充斥；选举毫无意义；企业机密被倾倒。这种混乱伤害所有人，无论反抗者还是法西斯主义者，都让大多数人生计划失效。 然而混乱是“好”的结果。另一选择——秩序——把人类变成在过于隐蔽的笼子里跳舞的猴子。互联网时代正在终结；你的生活将永远不同。
Greg Zeschuk，BioWare联合创始人，简短评论了EA关闭BioWare一事。他在钓鱼时得知消息，慢慢消化，感到尤其为埃德蒙顿难过——它失去了一个创意灯塔——也为受影响的员工难过。他对出售给EA并不后悔，EA提供了稳定性，但他怀疑后来的沙特PIF收购会伤害BioWare，因为其复杂游戏并不符合枪战与体育模式。他批评了认为AI和随机团队能复刻伟大游戏的想法，认为商业领导者往往缺乏实际开发经验。尽管如此，Zeschuk表示他不会重返游戏开发，更愿意做一名消费者。
昨晚，一个 AI 智能体对一只小鼠进行了脑部手术。我们给了它一张包含 19 种基因治疗载体的电子表格、一个癫痫小鼠模型、一台带摄像头的电动手术架，以及一个目标：减少癫痫发作。它选定了药物。它选定了脑区。它从三篇论文中推导出坐标。然后它驱动立体定位臂进入大脑，在通过手术架摄像头观察穿刺部位有无出血的同时，注射了 250 纳升。一名持证兽医对每个不可逆步骤进行把关，并握着物理终止开关以随时停止 AI 智能体。本帖将讲述它做了什么决定、它看到了什么，以及它拒绝让我覆盖它的那一刻。[因兴奋而当场撰写，但我已连续 18 小时在笔记本电脑前编程和协调此事，因此先简要描述，稍后会有更连贯的想法……]