分享数学领域的AI进展

OpenAI发布内部前沿模型在数学开放问题上的新成果，并在GitHub上分享Lean证明形式化和研究细节。