#数学AI

56年来の数学難問をAIが数百ドルで解いた｜AlphaProof Nexusの衝撃と限界

DeepMindのAlphaProof NexusがLean形式証明でエルデシュ問題を9問自律解決。数学AIの転換点を批判・限界も含めて解説する。