OpenAI 与 Anthropic 内部模型先后称找到推翻指数时间假设（ETH）的反证
OpenAI 刚宣布推翻了计算机科学界相信近 30 年的一项重要假设，Anthropic 的 Claude 也找到了反证，两家公司的内部 AI 模型，据称都在 10 月 16 日找到了答案。 ...
AI 导读
10 月 26 日 OpenAI 宣布其内部研究模型于 10 月 16 日生成推翻 1999 年指数时间假设（ETH）的反证，17 日通过 Lean 完成形式化验证。
来源：sleepy0x13 · x.com