Hacker News· emil-lp·· 2 小时前精选AI 评分88
OpenAI 称其模型推翻计算机科学沿用近 30 年的指数时间假设
AI refutes 30-year-old mathematical assumption in computer science
AI 导读
OpenAI 于 10 月 26 日发布博客称，其模型找到了能突破指数时间假设（ETH）所设速度上限的算法，从而推翻这一提出近 30 年的计算机科学基础假设，并用 Lean 对证明做了形式化验证。
推荐理由
报道梳理了 OpenAI 声称推翻 ETH 后学界的分歧反应，以及该结论对复杂度理论既有成果的连锁影响。
来源：Hacker News · newscientist.com