Terence Tao 的 ChatGPT 對話：關於 Jacobian Conjecture 反例

此事件標誌著大型語言模型（LLM）在處理高階數學邏輯輔助與疑難挑戰上的應用進入新階段。頂尖數學家表現出的高度興趣反映了 AI 與科學研究整合的潛力，這具體的「反例」產出示即使最終被證偽，也能推動數學證明方法的演進。