ページを読み込み中…
2件の記事
AI モデル「Claude」が、数学界の著名な未解決問題である「OpenAI のエルデシュ問題」と呼ばれる課題に対し、簡潔で直感的な証明手法を用いて解決した可能性が報告されています。
研究者らは、実験・証明試行・反例生成を組み合わせたマルチエージェントモデルを開発し、数学的概念を自律的に発見するシステムを提案した。