证明之后：从搜索压缩到验证器瓶颈

导读

OpenAI 宣布，其内部推理模型取得了十项新的数学成果。其中若干问题已经悬而未决数十年，每项成果都附有机器可检查的证明。数学界的反应既震惊又夹杂着一丝绝望：这些成果中，有几项或许至少足以支撑一篇博士论文，甚至可能达到菲尔兹奖级别，而一台机器竟在一天之内拿出了十项，实在令人难以置信。