科学技術

OpenAIのAIが未解決の数学問題を次々と攻略。「答えるAI」から「発見するAI」へ

OpenAIが、AIによって数学・理論計算機科学の10件の未解決問題を解決、または大幅に進展させたと発表。次期モデル「Astra」の成果やLeanによる証明検証、AIが研究者になる可能性をわかりやすく解説します。