陶哲轩：借助GPT-4，轻松节省半小时编写Python代码

陶哲轩：GPT-4神助攻，写Python代码轻松省半小时

背景与实验

陶哲轩作为著名数学家，早在2026年便预言生成式AI将会在数学研究中扮演重要角色。最近，他通过GPT-4完成了一段Python代码的编写，成功节省了半小时的工作时间。这段代码的目的是计算自然数n的最长子序列长度𝑀(𝑛)，以确保欧拉全能函数ϕ不递减。

GPT-4的表现

在实验中，陶哲轩向ChatGPT明确提出了自己的需求，并复述了问题。GPT-4迅速生成了一段代码，这段代码的巧妙之处让陶哲轩惊讶，尽管在连续整数的子序列计算上存在一定偏差。最终，陶哲轩依靠GPT-4生成的初始代码，手动调整后得到了理想的结果，并获得了M的前10,000个值。

代码生成的过程

陶哲轩在向ChatGPT提问时，提供了详细的背景和要求，尤其是对算法效率的期望。GPT-4随后给出了一个暴力破解法的步骤，尽管这个方法在处理较大n值时效率不高，但为陶哲轩提供了一个有效的起点。

代码的解析与讨论

陶哲轩对GPT-4生成的代码进行了深入分析，并与网友讨论了其来源。尽管有网友质疑这段代码可能来源于网络上的现有代码，但陶哲轩表示，GPT-4能够对其生成的代码给出清晰的解释，这表明它并不是简单的抄袭。此外，他还在网上查找相关代码，未能找到类似的实现。

AI在数学研究中的潜力

陶哲轩对GPT-4的评价非常高，他认为未来的AI工具将能够在数学研究中提供更大的帮助，甚至有望成为数学家们的合著者。他提到，GPT-4在处理模糊的自然语言提示和从复杂数据中提取信息方面表现出色，可以为数学家们的研究提供初步的思路和方向。

AI工具的使用体验

陶哲轩分享了自己在使用AI工具时的体验。他发现AI能够帮助他完成一些日常任务，比如改写论文、查找公式等。虽然AI在解决未解决的数学问题上仍存在局限，但在其他工作相关问题上，AI的帮助显著提高了他的工作效率。

对AI工具的看法

陶哲轩将AI工具的应用分为四类：第一类是日常执行的任务，AI工具对其增值有限；第二类是有一定专业知识但缺乏实践的任务，AI工具可以提供初稿并供修改；第三类是无需高质量输出的简单任务，AI可以作为搜索引擎的补充；最后，第四类是需要专业知识的复杂任务，仍需依赖人类专家。

未来展望

陶哲轩对2026年AI在数学研究中的应用充满期待。他认为，随着AI技术的发展，未来的AI工具将能够更好地服务于数学研究，帮助研究人员更快地生成高质量的学术成果。通过与形式证明验证器、互联网搜索等工具的结合，AI将成为数学家们值得信赖的合作伙伴。

结论

陶哲轩的实验表明，AI工具在数学研究中的潜力巨大，能够显著提高工作效率并提供创新的解决方案。尽管仍需谨慎对待AI生成的内容，但随着技术的进步，AI在未来的数学研究中必将发挥越来越重要的作用。