OpenAI公布内部模型给出的Unique Games等372项数学结果

OpenAI昨天公布内部模型给出的372项数学结果，作者称其中包括Unique Games猜想的证明，部分附有Lean证书。该模型平均每题约用3小时GPT-Pro级算力，在约8000道长期未解问题上成功率约5%，并可能在未来一两个月向付费ChatGPT用户开放。作者写道这些证明几乎还无人读懂，数学与理论计算机科学研究者正抢着消化文稿。