The Decoder· Matthias Bastian·· 14 小时前同新闻AI 评分77
OpenAI 在 GitHub 发布 372 条 AI 生成的数学证明，呼吁学界跟上节奏
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI 导读
OpenAI 在 GitHub 发布了由内部前沿模型生成的 372 条数学结果，称每条结果都解决或推进了一个开放问题。多数结果来自对单个 AI 智能体的单次提示，平均消耗约三小时 ChatGPT Pro Thinking 算力，与此前需要一万个智能体、数百万美元算力的 Navier-Stokes 解法形成对比。
同一新闻，精选展示《OpenAI 公布内部前沿模型在数学开放问题上的新结果》
来源：The Decoder · the-decoder.com