「証明」とは何か? 数学の難問「四色問題」がAI時代に突きつける問い | 本がすき。
『四色問題』新潮社 ロビン・ウィルソン/著 茂木健一郎/翻訳 歴史上、プロアマ問わ