The Decoder· Matthias Bastian·· 8 天前AI 评分12
OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI 导读
OpenAI 在 GitHub 发布由内部前沿模型生成的 372 项数学成果，涵盖黎曼猜想等进展。多数结果经 Lean 形式化验证以应对人工审查瓶颈，平均耗时约 3 小时 ChatGPT Pro Thinking 算力。此举引发学界争议，25 位菲尔兹奖得主警告其可能削弱对数学概念的理解。
来源：The Decoder · the-decoder.com