私は数学の定義が根本的に変わると思います。 数学者は複雑な方程式を解くことに時間を費やしていましたが、自動化によってより抽象的な創造的な作業に専念できるようになりました。 しかし、コンピューターや通信、AIの進歩にもかかわらず、数学は依然として黒板とソファで孤立して行われています。ほとんどのコラボレーションは会議での対面で行われます。 これは変わり始めています。将来的には数学はソフトウェアを書くようなものになるでしょう。この二つはますます収束していく。