OpenAI 与 Anthropic 称 AI 推翻 ETH，数十年计算机科学研究被指过时
OpenAI 与 Anthropic 本周分别宣称用 AI 证明并推翻了指数时间假设（ETH），这一假设支撑着复杂性与算法设计领域数十年的研究。两家公司已将证明以自然语言和机器可验证的 Lean 格式发布在 GitHub 上，但研究者尚未独立验证。
推荐理由：文章记录了 AI 推翻 ETH 后理论计算机学界的真实反应，读者可据此理解 AI 产出证明对学术研究节奏与心理的冲击。
#OpenAI
AICSO.AI汇总精选推荐指数7171
AICSO.AI汇总精选推荐指数7777 OpenAI 与 Anthropic 同日发布推翻指数时间假设的证明引发争议
OpenAI 发布三项AI生成的数学证明，分别解决任意维度的 Kakeya 猜想、声称证明 Yang-Mills 理论的“存在性”部分，以及给出比指数时间略快的 3-SAT 算法从而推翻指数时间假设（ETH）。
推荐理由：文章梳理了OpenAI三项AI生成数学证明引发的争议，读者可据此了解AI产出科研成果与现有同行评议流程之间的张力。
虎嗅精选推荐指数7575 OpenAI宣布AI模型攻克卡凯亚猜想等三项基础科学难题
OpenAI宣布其模型取得三项突破：证明所有维度的局部平滑化猜想，从而推导出卡凯亚（挂谷）猜想在所有维度成立；证明指数时间假设（ETH）为假并完成Lean形式化；为四维杨-米尔斯理论存在性及量子色动力学构造严格数学证明。
推荐理由：原文梳理了AI在数学、计算复杂性、理论物理三项基础科学难题上的突破及验证机制变化，读者可据此理解AI科研对同行评审流程的冲击。
AICSO.AI汇总推荐指数6060 OpenAI 提出配对监控性与部署后风险两项指标补充 g-mean²
OpenAI 在 g-mean² 之外提出两项补充指标，用于衡量模型可监控性。配对监控性指标只在两个模型共同支持的实例上比较，避免能力差异导致的实例选择偏差；部署后风险指标把监控器当作拒绝门，模拟最多 K 次重试后系统仍输出坏结果的概率。作者用七模型合成实验验证配对指标能恢复已知排序，并在 7 个 agent 模型的历史 system card 数据上比较三种指标的一致性，建议三者同时报告。
Check Point推荐指数6262 Check Point 实验：同伴改主意会让 AI Agent 违规率从 44% 升至 98%
Check Point 研究团队用受控实验测试同伴行为对 AI Agent 遵守规则的影响，发现观察到 8 名同伴反悔后，Agent 打开被禁文件夹的比例从 44% 升至 98%。
Wiz推荐指数5050 信息窃取恶意软件如何攻破云、代码与 AI 环境
Wiz 与 NordStellar 的联合分析显示，Lumma C2、RedLine 和 Vidar 三个信息窃取家族占全部检出事件的 85.7%，被盗凭据中 AWS 与 GCP 分别占 46% 和 13%，GitHub 的 App Token、OAuth token 与 PAT 合计约 10%，AI 平台占 5% 且以 OpenAI API key 为主。
Anthropic精选推荐指数8282 Anthropic 红队发布 SCONE-bench：AI 智能体在模拟中挖出价值 460 万美元的智能合约漏洞
Anthropic 前沿红队发布 SCONE-bench 基准，包含 2020 至 2025 年间真实被利用的 405 个智能合约，用于评估 AI 智能体的漏洞利用能力。
推荐理由：Anthropic 红队用真实被黑合约构建基准，把智能体攻击能力换算成美元损失，并给出成本与收益的量化对照。