主要来源Decoder
查看原文事件专题 ·多源确认
OpenAI发布372个AI生成数学证明
OpenAI在GitHub上发布了372个AI生成的数学结果，包括Lean形式化验证。每个结果平均消耗约3小时ChatGPT Pro计算资源。25位菲尔兹奖得主警告，大规模生产数学真理可能破坏肥沃的研究土壤，而非带来新思想。
当前结论
OpenAI一次性放出372个AI数学证明，菲尔兹奖得主集体发声担忧，AI与数学研究碰撞出火花与争议。
11 个信源83° AI 热度最后更新 2026/10/7 08:54:43
证据链
11 个信源冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。