我认为我们对数学的定义将会发生根本性的变化。 数学家们过去花时间解决复杂的方程式，而自动化使他们能够进行更多抽象的创造性工作。 但尽管计算机、通信和AI取得了所有进展，数学仍然主要是在孤立的环境中用黑板和沙发进行的。大多数合作是在会议上面对面进行的。 这开始发生变化。未来的数学将更像是编写软件。这两者将越来越趋于融合。