OpenAI 公布内部前沿模型在数学开放问题上的新结果
OpenAI 公布了内部前沿模型在数学开放问题上的新研究结果，并在 GitHub 上分享了 Lean 证明形式化与研究细节。
推荐理由：OpenAI 公布内部前沿模型在数学开放问题上的新结果，并同步开放 Lean 证明形式化与研究细节，可作为判断其数学推理能力边界的依据。
OpenAI 公布了内部前沿模型在数学开放问题上的新研究结果，并在 GitHub 上分享了 Lean 证明形式化与研究细节。
推荐理由：OpenAI 公布内部前沿模型在数学开放问题上的新结果，并同步开放 Lean 证明形式化与研究细节，可作为判断其数学推理能力边界的依据。