公众号 · 夕小瑶科技说·· 6 小时前精选AI 评分83
OpenAI与Anthropic先后用AI证明指数时间假说ETH不成立
一文看懂OpenAI刚刚捅出的计算机界大篓子
AI 导读
OpenAI发布67页论文、3977个Lean源码文件和超71万行形式化证明代码，宣称证明指数时间假说（ETH）不成立，Anthropic随后放出Claude独立证出的同款结论。
选题角度
原文给出67页论文、71万行Lean证明和具体复杂度公式，适合讲清AI如何用亚指数算法推翻ETH以及为何现实中仍算不动。
来源：公众号 · 夕小瑶科技说 · mp.weixin.qq.com