OpenAI 在 GitHub 发布 372 个 AI 生成的数学结果
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI 导读
OpenAI 在 GitHub 上发布了 372 个由 AI 生成的数学结果，其中包含可供机器验证的 Lean 形式化证明，每个结果平均消耗约三小时的 ChatGPT Pro 算力。25 位菲尔兹奖得主警告，批量生产数学真理可能破坏孕育新思想的土壤，而不是带来新想法。
阅读原文