IXThinker·2026-10-12 15:50

陶哲軒指證明稀缺時代落幕 數學迎來新階段

菲爾茲獎得主陶哲軒正式發文，宣告「數學2.0時代」已至：人工智能令數學證明日趨氾濫，建基於證明稀缺的數學1.0時代即將落幕。他對AI發展並未一味反對，轉而思考數學界的未來定位。

數學2.0時代來臨

數學界的領軍人物、菲爾茲獎得主陶哲軒近日正式發文指出，人工智能正令數學證明變得氾濫，建立在證明稀缺之上的「數學1.0時代」即將落幕，「數學2.0時代」已經來臨，學科遊戲規則正在改寫。