本數學家覺得AI太有用了

最近做的一項研究，其中有個結論直覺是正確但一時證不出來。 跟DeepSeek來往交流，找到一個關鍵定理就證出來了。 如果沒有AI多半就把這部分隻能放棄。 

經常有些理論小細節記不清，問AI立馬搞定。