OpenAI 分享其AI在数学领域的前沿研究进展

Sharing AI progress in mathematics

OpenAI发布内部前沿模型在数学开放问题上的新结果，同时在GitHub上共享Lean证明形式化内容与相关研究细节。