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科研对同行评审流程的冲击。
Anthropic精选推荐指数8282 Anthropic 红队发布 SCONE-bench：AI 智能体在模拟中挖出价值 460 万美元的智能合约漏洞
Anthropic 前沿红队发布 SCONE-bench 基准，包含 2020 至 2025 年间真实被利用的 405 个智能合约，用于评估 AI 智能体的漏洞利用能力。
推荐理由：Anthropic 红队用真实被黑合约构建基准，把智能体攻击能力换算成美元损失，并给出成本与收益的量化对照。
已经到底了