OpenAI 与 Anthropic 称推翻 ETH 假设,理论计算机科学界大量研究受影响
OpenAI 和 Anthropic 本周各自宣称推翻了存在 27 年的指数时间假设(ETH),两家公司都把证明以自然语言和 Lean 格式发布在 GitHub 上,但研究者尚未独立验证。
推荐理由:多位理论计算机科学研究者讲述 ETH 被推翻后自身论文与研究方向受冲击,呈现 AI 加速科学结论更替的一线反应。
OpenAI 和 Anthropic 本周各自宣称推翻了存在 27 年的指数时间假设(ETH),两家公司都把证明以自然语言和 Lean 格式发布在 GitHub 上,但研究者尚未独立验证。
推荐理由:多位理论计算机科学研究者讲述 ETH 被推翻后自身论文与研究方向受冲击,呈现 AI 加速科学结论更替的一线反应。