我認為我們對數學的定義將根本改變。 數學家過去花時間解決複雜的方程式,而自動化使他們能夠進行更抽象的創造性工作。 但儘管計算機、通信和AI方面取得了所有進展,數學仍然主要是在孤立的環境中進行,使用黑板和沙發。大多數合作是在會議上面對面進行的。 這開始發生變化。未來的數學將更像是編寫軟件。這兩者將越來越趨於融合。