The Decoder· Matthias Bastian·· 2 天前AI 评分70
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