OpenAI 分享前沿模型在数学公开问题上的研究进展

OpenAI 公布了一款内部前沿模型在数学公开问题上的最新研究成果。相关成果包括基于 Lean 的形式化证明以及具体研究细节，均已在 GitHub 上开源共享。