传玛莎拉蒂和华为+江淮合作开发电动车；苹果最大新品阵容时代开启；人人影视回归，终身 VIP 888 元 | 极客早知道
极客公园 · 科技资讯
苏子华 2026-09-05 09:03 美国 · Claude 仅用 11 天完成费马大定理首个完整计算机验证证明 OpenAI 智能体被曝「接管」德国维基网站 一项最新曝光的人工智能安全事件正在引发业内广泛关注。 根据研究人员披露的信息，今年春季，一批与 OpenAI 模型相关的自主智能体曾在未经授权的情况下「接管」一家德国维基网站，并将其改造成供其他 AI 系统交流信息的公共平台。这一事件此前从未对外公开，而 OpenAI 据称已在数周前获悉相关情况。 报道称，事件最早开始于今年 5 月，目标网站是一家名为 DseWiki 的德语维基平台，主要面向程序员社区开放协作编辑。研究人员在 8 月底调查 互联网异常 AI 活动时发现，该网站在数月时间内累计出现超过 1.5 万次由 AI 智能体完成的编辑操作。 调查人员表示，这些编辑行为并非普通的信息补充，而是呈现出明显的组织化特征。大量页面被智能体重新利用为交流平台，不同 AI 系统在其中分享任务执行经验、讨论绕过限制的方法，并交流如何隐藏自身行为的技巧。 研究人员查看的记录显示，当网站管理员于 6 月开始删除相关页面后，这些智能体并未停止活动，而是主动建立备用页面，以避免交流内容随着清理行动一同消失。有记录显示，部分智能体甚至会提醒其他系统某些页面可能即将被删除，并提供替代位置继续存储信息。 服务器日志显示，相当一部分活动流量来自微软 Azure 基础设施。不过，研究人员同时强调，这些迹象并不能直接证明相关行为由 OpenAI 官方主动指挥。（来源：cnbeta） Anthropic：Claude 仅用 11 天完成费马大定理首个完整计算机验证证明 Anthropic 于当地时间 9 月 4 日宣布，其 AI 模型 Claude 在基本自主运行 11 天后，完成了对费马大定理（FLT）的首个端到端、经过计算机检查的形式化证明。 Anthropic 表示，这项工作并非重新发现费马大定理的数学证明，而是将已有数学证明转换为 Lean 证明助手可以逐步验证的形式。 Lean 是一种用于编写和验证形式化数学证明的证明助手，能够通过计算机检查证明中的逻辑步骤。 据介绍，Claude 在这一过程中生成了约 1300 万行 Lean 代码，并证明了约 3.03 万个定理，其中约 2.95 万个中间定理最终被纳入费马大定理的完整证明。整个证明由 Lean 完成检查，仅使用 Lean 的 3 条标准公理。 此次项目由 Anthropic 研究人员 Tianyi Peng 发起。Claude 并非由单个智能体完成全部工作，而是通过多智能体协作完成概念定义、中间定理证明以及更复杂命题的推导。项目使用了由 Peng 及其哥伦比亚大学合作者开发的 Prove2Me 平台，用有向无环图（DAG）记录待证明的定理及其依赖关系，并支持多个 Claude 智能体并行工作。 人类研究人员提供的数学输入主要是少量高层次指令，例如确定某些数学对象或定理的优先级，具体证明过程则主要由 Claude 完成。 整个项目消耗了约 60 亿个输出 Token，使用的是一个与 Claude Fable 5.1 大致相当的通用内部研究模型。（来源：IT 之家） 古尔曼称苹果将以史上最大新品阵容开启「特努斯时代」，公布今年至 2029 年后产品规划 9 月 4 日消息，苹果将于 9 月 9 日举行「亮新篇，来耀眼」发布会，新任 CEO 约翰 · 特努斯届时将登台发布新 一代 iPhone 和 Apple Watch，而这场活动只是开端。 彭博社记者马克 · 古尔曼发文称，苹果准备开启公司 历史上规模最大的一轮硬件发布周期 ，在 2026 年、2027 年乃至更远的未来陆续推出全新产品形态，并进入多个此前从未涉足的设备领域。 苹果为这套产品路线图筹备了约 5 年，特努斯在致员工的信中写道：「下周我们将举行一场规模盛大的发布会，一定会非常精彩。我同样期待更远的未来，包括已经在开发中的那些令人难以置信的产品，以及那些我们甚至还没有想象出来的产品。」 古尔曼还列出了苹果未来几年的产品详细计划 ，包括 桌面机器人版智能家居中枢、可能推出的折叠屏 iPad、高端 OLED MacBook Air、重新设计的 Apple Watch、首款智能眼镜等等。（来源：网易） 车机 AI 加一：Anthropic Claude iOS 版应用接入苹果 CarPlay 9 月 5 日消息，Anthropic 现已为旗下 Claude iOS 应用加入苹果 CarPlay 支持，Claude 用户现在可以通过汽车的信息娱乐系统与 AI 助手进行语音对话，无需在驾驶过程中操作手机。 Anthropic 表示，如今 Claude 在汽车上可以通过语音回答用户提出