The Decoder· Matthias Bastian·· 12 天前AI 评分66
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 算力，但未公开提示词和单条算力细节，公司表示将负责任地开放该模型。
来源：The Decoder · the-decoder.com