陶哲轩亲证：ChatGPT助4小时搞定开源，GPT官网级AI如何重塑科研？

type

status

date

slug

summary

陶哲轩与AI：从工具到“合著者”的进化

陶哲轩对AI大模型的关注与应用由来已久。他并非简单将AI视为一个计算器或搜索引擎，而是积极探索其在数学研究中的深层价值。在此次开发开源项目之前，陶哲轩就曾多次分享使用GPT-4等模型解决数学难题、辅助编码甚至发现论文错误的经历。他曾大胆预测：“如果使用得当，到2026年，AI将成为数学研究和许多其他领域值得信赖的合著者。” 这次，他用实际行动进一步验证了自己的判断。

这次的开源项目，目标是开发一个能自动或半自动验证渐近估计的框架。这类任务在数学分析中十分常见，但此前缺乏成熟的自动化工具。陶哲轩坦言，他过去一直希望能有这样一个工具，而现在，借助ChatGPT，这个愿望得以实现。这标志着AI在他科研工作中的角色，正从一个辅助工具，逐渐向一个能够深度参与、共同创造的“伙伴”进化。

ChatGPT：4小时高效开发的幕后功臣

陶哲轩在项目完成后，大方地分享了与ChatGPT的完整对话记录。从对话中我们可以清晰地看到，ChatGPT在此次开发过程中扮演了至关重要的角色。项目启动之初，陶哲轩向ChatGPT提出了需求：“我想编写一些Python类来操作符号表达式……你能帮我编写一些具有这种功能的基础类来入门吗？” ChatGPT迅速给出了响应，并提供了可用的代码框架。

在后续的开发中，无论是具体的编程细节，如Python中乘法和除法操作符的实现方法，还是更偏工程性的问题，如“如何在与当前python文件相同的目录下导入python文件？”，ChatGPT都给出了及时有效的解答。这整个过程，如同一个经验丰富的编程导师在旁指导，大大缩短了陶哲轩摸索和调试的时间。最终，这个原本可能需要数天甚至数周才能完成的概念验证工具，在4小时内便宣告成功。这充分展示了当前AI大模型在代码生成、问题解答、逻辑梳理方面的强大能力。对于希望在国内使用类似服务的用户，寻找可靠的ChatGPT镜像站或了解ChatGPT国内如何使用的方法，将能极大提升工作效率，体验到ChatGPT不降智的智能辅助。

开源项目“estimates”：自动化数学研究的新探索

陶哲轩开发的这个名为“estimates”的开源项目 (https://github.com/teorth/estimates)，虽然他谦虚地称之为“概念验证软件工具”，但其意义不容小觑。它专注于解决渐近估计的验证问题，即判断形如 X≲Y 或 X≪Y 的不等式是否成立。这类问题在手工处理时，虽然单个不难，但当数量庞大或需要复杂案例拆分时，就变得非常繁琐且易出错。

该工具的出现，为这一领域的自动化处理提供了一个可行的框架。正如陶哲轩所言：“这当然是一个极其不优雅的证明，但优雅并非重点，重点在于它是自动化的。” 这句话点出了AI辅助科研的一个核心价值：将研究者从重复、繁琐的工作中解放出来，更专注于创新性的思考和探索。未来，这类工具的进一步发展，有望显著提升数学研究的效率和精度。

从陶哲轩的实践中汲取智慧：拥抱AI，释放创造力

陶哲轩的这次实践，不仅仅是数学领域的一则趣闻，更对所有科研工作者和开发者带来了深刻的启示：

积极拥抱新技术：顶尖学者尚且如此积极地学习和应用AI，我们更应保持开放心态，主动了解和尝试这些能极大提升生产力的工具。无论是访问GPT官网，还是寻找国内可用的ChatGPT官方中文版服务，都是迈向未来的重要一步。

明确AI的定位：AI是强大的助手，而非取代者。陶哲轩在与ChatGPT的互动中，始终保持主导地位，清晰地提出需求，判断AI生成内容的有效性，并进行整合与优化。

从小处着手，迭代验证：陶哲轩从一个“概念验证”工具开始，逐步实现自己的想法。这种敏捷开发、快速迭代的思路，同样适用于我们利用AI解决实际问题。

协作与分享：陶哲轩建议数学家与专业程序员协作开发此类软件，并开源了自己的项目。这种开放协作的精神，是推动技术进步的重要动力。

对于广大希望在国内使用ChatGPT的用户而言，关注如 https://chat.aigc.bar 这样的平台，可以更便捷地体验到前沿AI技术，探索ChatGPT在国内使用的更多可能性。

结论：AI赋能科研，未来已来

陶哲轩与ChatGPT的这次成功合作，再次证明了AI大模型在复杂智力活动中的巨大潜力。它不仅能完成简单的编码任务，更能深度参与到科研项目的构思、设计和实现中。虽然目前AI辅助工具尚有不足，正如陶哲轩所说，生成的证明可能“不优雅”，但其自动化、高效的特性，正以前所未有的方式改变着科研范式。

未来，随着AI技术的不断进步，我们有理由相信，AI将成为越来越多领域研究者不可或缺的“合著者”和“智能伙伴”。积极学习、善用AI，将是我们抓住时代机遇，释放创新潜能的关键。而对于那些寻求稳定、高效的ChatGPT体验的用户，了解并选择合适的ChatGPT镜像站或官方渠道，将是开启这段智能探索之旅的第一步。