  |
俺はね、近年AlphaProofのようなAIが数学的証明をできるようになってすんげーワクワクしてんのよ
だってさ、俺が適当に集合論を使って対象を定式化して、んで「これ解いて」とか「こういう感じの定理とかない？」って言ったら証明してくれるんだろ？
すごいじゃん、IT。いままでちまちま手探りで証明しなければならなかったものが、一気にショートカットになるってことだ
まあもちろん、問題の難易度によってはチンプンカンプンな結果を出してしまうかもしれないが、それでも数学的証明ができるというのは革命だろ
ティモシー・ガワーズとかテレンス・タオもSNSでAIに期待してることをつぶやいてたし、やっぱ時代の先端を行っている人たちは「ITは今が旬！」って思ってるな
19
