Nature Portfolio

人工知能：数学競技でメダル級のAIシステム

複雑な数学理論を証明できるAI（artificial intelligence；人工知能）システムを報告する論文が、今週の Nature に掲載される。Google DeepMindのAlphaProofは、2024年国際数学オリンピック（IMO：International Mathematics Olympiad）で銀メダル級の成績を収めた。