OpenAI 分享内部前沿模型的数学研究进展

OpenAI 分享了内部 frontier model 在数学开放问题上的新结果。文章同时在 GitHub 公开 Lean 证明形式化文件与研究细节，但材料未提供具体问题、结果内容或模型信息。