OpenAI 公布内部模型数学成果：生成 722 篇论文，捐资 500 万支持验证
OpenAI 公开内部前沿模型生成的 722 篇数学论文，涵盖 372 个研究成果，并在 GitHub 提供 Lean 形式化证明。平均每个成果消耗约 3 小时 ChatGPT Pro 算力。10 月 15 日，OpenAI 还向西蒙斯基金会资助 500 万美元，协助数学界验证这些 AI 成果。
OpenAI 公开内部前沿模型生成的 722 篇数学论文，涵盖 372 个研究成果，并在 GitHub 提供 Lean 形式化证明。平均每个成果消耗约 3 小时 ChatGPT Pro 算力。10 月 15 日，OpenAI 还向西蒙斯基金会资助 500 万美元，协助数学界验证这些 AI 成果。