OpenAI 公布模型成果：Lean 验证证明指数时间假说不成立

OpenAI 宣布了三项由模型生成的研究结果，分别涉及调和分析、计算复杂性理论和量子场论。其中最引人关注的是在复杂性理论中，模型给出了一个经 Lean 验证的证明，表明长期存在的指数时间假说（Exponential Time Hypo...

Read More