数学におけるAIの進捗状況の共有
OpenAIは、内部フロンティアモデルから数学のオープンな問題に関する新しい結果を公開し、リーン証拠正式化とGitHubの研究の詳細を共有します.
AI NEWS JOURNAL
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.