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 成果。