RecodeX 重构消息，OpenAI已在GitHub上公开372项由AI生成的数学结果，其中包含可供机器验证的Lean形式化证明。这些结果平均每项消耗约三小时的ChatGPT Pro算力。

不过，25位菲尔兹奖得主警告称，大规模量产数学真理可能摧毁孕育新思想的土壤，而非带来新想法。