The Decoder· Matthias Bastian·· 23 小时前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 条由其内部前沿模型生成的数学结果，称每条都解决了一个开放问题或在关键方向取得实质进展，其中包含对若干主流计算机算法的改进以及与黎曼猜想相关的进展。
来源：The Decoder · the-decoder.com