陶哲轩

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

【新智元导读】陶哲轩早就预言，2026年GPT能帮数学家合著论文。今天，GPT-4就帮他写出一段代码，直接节省了半小时的工作量。刚刚，陶哲轩大赞:用ChatGPT写Python代码，效果真是太好了，它直接为我节省了数学研究中半小时的工作量!作为实验，他要求ChatGPT写一段Python代码，为每个自然数n计算1，...，n的最长子序列的长度𝑀（𝑛），其中欧拉全能函数ϕ不递减。