Sharing AI progress in mathematics
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
原文：https://www.a8q9.cn/en/article/sharing-ai-progress-in-mathematics-6efe31.html