OpenAI开源372个AI生成数学证明

开源372项AI数学成果

OpenAI已将372个AI生成的数学结果发布至GitHub，涵盖定理陈述、证明过程及可在Lean证明助手内自动验证的形式化代码。所有结果均基于ChatGPT Pro模型生成，平均每项消耗约三小时专用计算资源。

学术界反响两极

此举被部分观察者解读为对传统数学研究节奏的挑战——标题中‘telling the academic world to keep up’直指学界需加快适应AI辅助发现的步伐。然而，25位菲尔兹奖得主联合发声指出，大规模生成可验证的数学真理，未必催生新思想，反而可能挤压探索性、试错性研究所需的‘肥沃土壤’（fertile ground）。