OpenAI在GitHub发布372个AI生成的数学结果，包含Lean形式化验证代码，每个结果平均消耗约3小时ChatGPT Pro算力。

该批成果面向全球学术界开源，但25位菲尔兹奖得主警告，批量生产数学真理可能破坏创新生态。一位参与研讨的数学家表示：“机器验证的证明数量激增，并不等同于数学思想的突破。”

372个证明全部通过Lean机器验证，但菲尔兹奖得主的警告揭示：AI大模型在数学领域的规模化产出，正面临原创性缺失的产业质疑。

来源：权威科技媒体

软盟资讯 news.softunis.com 7×24小时AI快讯