分享AI数学进展

OpenAI 通过内部前沿模型发布了关于数学中开放问题的新结果，并在 GitHub 上分享了精益证明形式化和研究细节。