本数学家觉得AI太有用了

最近做的一项研究，其中有个结论直觉是正确但一时证不出来。 跟DeepSeek来往交流，找到一个关键定理就证出来了。 如果没有AI多半就把这部分只能放弃。 

经常有些理论小细节记不清，问AI立马搞定。