The Decoder· Matthias Bastian·· 6 天前AI 评分75
OpenAI 在 GitHub 发布 372 个 AI 生成数学证明
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI 导读
OpenAI 在 GitHub 发布由内部前沿模型生成的 372 个新数学结果，每个结果旨在解决开放问题或取得实质进展，内容涉及重要计算机算法改进和 Riemann hypothesis 相关推进。
来源：The Decoder · the-decoder.com