OpenAI发布722篇数学手稿引发学界争议

OpenAI发布722篇数学手稿，声称用内部模型在平均3小时内解决包括四维挂谷集猜想在内的多个难题，手稿已上传GitHub并获万星。但数学界普遍质疑其验证难度，指出缺乏Lean形式化证明、未公开模型与提示词，且25位菲尔兹奖得主联名批评AI将攻克名题作为营销手段。尽管部分成果族包含Lean说明，但多数手稿仍需人工核查，验证成为当前最大挑战。