量子位· 关注前沿科技·· 1 小时前精选AI 评分88
OpenAI 与 Anthropic 同日宣称用内部模型推翻指数时间假设 ETH
「指数时间假设」不成立！OpenAI和A社同日出大结果了
AI 导读
OpenAI 和 Anthropic 在 10 月 16 日前后脚宣布，各自用内部模型推翻了计算复杂性理论中的指数时间假设（ETH），并给出 Lean 形式化证明。
推荐理由
两家公司同日宣称用内部模型推翻计算复杂性理论中的指数时间假设，并公开 Lean 形式化证明，数学家已介入审查。
来源：量子位 · mp.weixin.qq.com