数学の未解決問題は人工知能に任せるしかない！「四色問題」が投じた巨大な問い一松信『四色問の画像