The Decoder· Matthias Bastian·· 2 小时前同新闻AI 评分82
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 形式化验证，平均每个结果消耗约三小时 ChatGPT Pro Thinking 算力。OpenAI 选择 GitHub 而非传统期刊发布，并计划资助相关研讨会，但数学界对此反应不一，25 位菲尔兹奖得主曾联名警告 AI 在数学中的严重错位。
同一新闻，精选展示《OpenAI 分享数学领域 AI 进展》
来源：The Decoder · the-decoder.com