AIが数学のミレニアム懸賞問題の一つを解決 ノート