分享数学方面的AI进展

OpenAI从内部前沿模型发布数学公开问题的新成果,并分享关于GitHub的Lean证明形式化和研究细节.

本文为 RSS 摘要，完整内容请查看原始来源。编辑审核尚未完成。