說這話屬於對數學一竅不通。 數學家是最不可能被小艾取代的職業

數學機器證明研究連門都沒摸著。 那些程序猿能搞明白，得數學大獎再說。