AI 與數學：我終於有了一些空閒時間，開始嘗試使用 AI -- ChatGPT Pro -- 來解決一個我十多年前擱置的舊數學問題。我對細節有些生疏，但 AI 可不是。 我對進展已經相當印象深刻，我指出了我的猜想，它開始將其分解，進行數值實驗，然後從中推導出猜想，進一步測試這些猜想，等等。 我還不想透露我正在研究的具體問題，也不想說它到目前為止幫我找到了什麼。而且我自己也有點生疏，因為已經有一段時間沒有研究數學問題了。但我可以看到，如果我是一名全職的數學教授，這個工具將是無價的。 那些以數學研究為生的你們 -- 你們覺得 AI 在工作中有多有用？它是否已經幫助你解決了你的一個重大問題？