The Decoder· Matthias Bastian·· 17 小时前AI 评分64
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形式化版本；OpenAI还公布了推理摘要、问题尝试统计和计算成本估算，但数学界对大规模AI生成证明的意义仍有分歧。
来源：The Decoder · the-decoder.com