要約
2026年10月6日、OpenAIは内部の最先端モデルによって生成された新しい数学の成果を発表しました。この取り組みは、数学コミュニティとの情報共有を改善するために、Institute for Advanced Studyの独立した数学および人工知能に関するアドバイザリーグループと協力して進められています。公開された結果はGitHubリポジトリに掲載され、論文の改訂や引用のためのプロトコルも整備されています。
このリポジトリには、コンピュータによってチェック可能な数学的証明の形式化も含まれており、今後も追加の形式化が行われる予定です。また、科学の透明性を促進するために、結果の取得方法に関する詳細も公開されており、平均して約3時間のChatGPT Proの計算能力が使用されたことが報告されています。
OpenAIは、AIによって生成された主要な成果を理解するためのワークショップや会議を資金提供し、今後の進展を促進することを目指しています。数学や他の科学分野における最先端モデルの評価を継続し、責任を持って成果を発表することで、さらなる科学の発展を推進していく方針です。
元記事: https://openai.com/index/sharing-ai-progress-in-mathematics/
公開日: Tue, 06 Oct 2026 22:17:21 +0000
この記事はAIアシスト編集により作成されています。
📰 元記事: 元記事を読む