四色定理に約30年ぶりの新証明、地図を4色で塗り分けるアルゴリズムが大幅に高速化

この記事についての感想

四色定理に約30年ぶりの新証明が出たってマジでビビったわ。そもそも四色定理ってあれじゃん、どんな平面の地図でも隣り合う国が同じ色にならないように塗るには4色あれば十分ってやつ。これ昔からコンピュータ使って証明されてはいたけど、約30年ぶりにアルゴリズムが大幅に高速化されたっていうんだからマジで数学界隈の進化スピードはんぱねえな。数学とかプログラミングに詳しくないオレからすると、たかが地図塗り分けで何十年も研究されてんの？って感じだけど、こういう基礎的な部分の最適化が巡り巡って他の複雑な計算とかAIの進化とかにも効いてくるんだろうなって勝手にエモくなってる。しかもアルゴリズムが速くなったおかげで処理の負担がガチで軽減されるらしいし、こういう地味だけどすげえブレイクスルーが世の中の便利さを支えてるんだよなー。それにしても数学の歴史って何百年単位で積み上げられてるのに、今でもこういうアップデートがあるんだからロマンしかねえわ。てか四色だけで塗り分けられるって最初に思いついた人、脳みどうなってんのマジで神がかってるよな。これからもこういうアツい数学ニュースがあればどんどんバズってほしいわ、全然関係ないけど色塗りパズルやりたくなってきた。