初学者不宜用AI工具做专家级任务

近几个月来，著名数学家陶哲轩一直尝试用ChatGPT等大模型AI工具来辅助解决数学问题，并与大家分享结果、交流心得，比如用ChatGPT写代码、证明数学定理、生成LaTeX表达式程序代码等。对于自己的研究以及人们来说，GPT等AI工具的作用究竟大不大呢?近两天，陶哲轩似乎得出了他的结论。