陶哲軒表示,ChatGPT 幫助他解決了一個 MathOverflow 問題,並節省了數小時的手動編碼。