OpenAI 发布 722 份数学手稿与证明引发争议: 专家警告勿将研究交给 LLM

摘要

OpenAI 公布 722 份数学手稿与证明，称逾 400 项结果涉及困扰人类数十年的数学公式，但仅 300 项被形式化，人类或需数年才能验证。研究者发现其中有无意义的解释、说不通的公式和他人已完成的工作；结果由未具名的 OpenAI 内部前沿模型生成，模型名与提示词均未公开，与 AGMAI 建议相悖。数学家担忧，从提示直接跳到答案、缺少中间过程，使这些结果难以被沿用，也未催生新的数学理解。另有观点认为，前沿 AI 数学与网络安全能力汇合可能动摇密码学根基，危及数万亿美元加密货币。有教授主张该领域应更注重建设共同体，而非追求现成解。