OpenAI发布372个AI生成数学证明
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
OpenAI一次性放出372个AI数学证明，菲尔兹奖得主集体发声担忧，AI与数学研究碰撞出火花与争议。
OpenAI在GitHub上发布了372个AI生成的数学结果，包括Lean形式化验证。每个结果平均消耗约3小时ChatGPT Pro计算资源。25位菲尔兹奖得主警告，大规模生产数学真理可能破坏肥沃的研究土壤，而非带来新思想。
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
OpenAI has published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification. Each result consumed about three hours of ChatGPT Pro compute on average. But 25 Fields Medal winners warn that mass-producing mathematical truths could destroy fertile ground rather than bring new ideas to life. The article OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up appeared first on The Decoder .
