Sharing AI progress in mathematics
原文出处: OpenAI Blog (openai.com)
原文链接: https://openai.com/index/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.
以上文字摘自该媒体公开的 RSS 摘要，仅供导读，不能替代原文。
版权声明
本页由 TechPulse 周刊 自动生成。报道内容的著作权归 OpenAI Blog 所有，本站不转载全文。