陶哲轩：用 ChatGPT 写代码太省时间了

最新推荐文章于 2025-11-25 04:00:02 发布

转载最新推荐文章于 2025-11-25 04:00:02 发布 · 247 阅读

CC 4.0 BY-SA版权

原文链接：https://mp.weixin.qq.com/s?__biz=MzIxNjM4NDE2MA==&mid=2247526019&idx=1&sn=66ce8932a6a0b4bd3b7c4b390a026aee&chksm=978bf14ca0fc785ace58d8211e3ca3180978d1de4804aac463ae0613fa001a0f0c661529cf0b&scene=126&sessionid=0

文章标签：

#chatgpt #人工智能

（永久免费，扫码加入）

转自：机器之心

自从用上了 ChatGPT，陶哲轩就时不时来夸奖一番。

数学家陶哲轩可太喜欢 ChatGPT 了！

几个月前，我们报道过陶哲轩使用 ChatGPT 辅助解决数学问题。当时，他觉得虽然测试结果不太令人满意，但也并没有对 ChatGPT 持完全否定的态度。他觉得，像 ChatGPT 这类大型语言模型在数学中可以用来做一些半成品的语义搜索工作，也就是用它来生成一些提示。

陶哲轩还认为，「我预计如果使用得当，到 2026 年，AI 将成为数学研究和许多其他领域值得信赖的合著者。」

近日，陶哲轩又分享了一个新体验：使用 ChatGPT 写 Python 代码计算 Phi 非递减序列的数学问题，他觉得也非常有价值。

前一阵的前提还是「未来」，现在他又对 ChatGPT 搞数学发表了一通意见，可见还是不死心，还在想方设法地要用 AI 大模型提升自己的工作效率。

在这次体验中，他使用的 Prompt 是：

在对话的结果中，ChatGPT 先解释了一番，给出了以下 Python 代码：

import math

def phi(n):
    """Compute the Euler totient function for n."""
    result = n
    for i in range(2, int(math.sqrt(n)) + 1):
        if n % i == 0:
            while n % i == 0:
                n //= i
            result -= result // i
    if n > 1:
        result -= result // n
    return result

def is_non_decreasing(seq):
    """Check if a sequence is non-decreasing."""
    for i in range(1, len(seq)):
        if seq[i] < seq[i-1]:
            return False
    return True

def longest_non_decreasing_phi_subsequence(n):
    """Find the length of the longest subsequence of {1,...,n} on which phi is non-decreasing."""
    phi_values = [phi(i) for i in range(1, n+1)]
    max_length = 0
    for i in range(n):
        for j in range(i, n):
            if is_non_decreasing(phi_values[i:j+1]):
                max_length = max(max_length, j-i+1)
    return max_length

n = 6
print(longest_non_decreasing_phi_subsequence(n))  

# Output: 5

在陶哲轩看来，这番生成的结果有非常有趣的点，例如，它能够生成一个非常聪明的程序来计算 totient 函数。但部分地方也存在计算的偏差。

使用完后，陶哲轩认为结果已经足够好，「我能够使用 GPT 最初生成的代码作为起点手动生成我想要的代码，这可能节省了我大约半个小时的工作。」此外他还说，在未来类似的计算中，他能会再次转向 GPT 来提供初始代码。

而在与读者的互动中，我们可以发现，大家对于 ChatGPT 帮忙写代码是十分欢迎的。有些人表示我不太懂代码，不过有 ChatGPT 以后，从零开始写程序不是什么问题了。

第一个生成式 AI 杀手级应用，恐怖如斯？

这时有人就问了：如果说你不怎么会代码，那又是怎么搞明白 ChatGPT 生成的代码是否正确的呢？

陶哲轩表示，我不经常用 Python 编写代码，所以我也没有掌握一些基本语法（比如 for 循环），并且按引用传递和按值传递之间存在一些微妙之处，这让我很困惑。几乎每次，包括当我最终错误地初始化二维数组时，我必须通过手动检查动态更新来调试。所以，拥有几乎正确的代码，并且已经具有正确的语法对我来说有很大帮助，否则我将不得不搜索几乎每一行代码来弄清楚如何准确地表达它。

相比编写数学证明（这更多地属于我的领域专业知识），我同意你的观点，即 GPT 提供的不完全正确的论证对我来说不会特别有帮助。AI 生成的内容还不如我自己从头开始写。

用大模型搞定不熟悉的专业知识，看来这就是未来人们使用 ChatGPT 提升生产力的方式？

此外，也有人比较关心这些生成代码的来源是哪里？是否有版权问题？但似乎真的挺难溯源。

在你的工作中，你会使用 ChatGPT 来生成代码做辅助吗？

参考链接：

https://mathstodon.xyz/@tao/110991566012143311

https://chat.openai.com/share/a022e1d6-dddc-4817-8bbd-944a3e742d9f

最后是广告时间，推荐一下我们的会员群（不喜欢可以忽略哈），目前有风投天使投资人，猎头HR，抖音大V，情感博主，律师，心理咨询师，医疗销售，地产，保险，钢琴老师，运营商，企业咨询，跨境电商，建筑，互联网行业的数据分析师，后端开发，python测试等行业的同学加入。

微信咨询：coder_v5 (务必备注你的来意）

微信长按试看内容

三天内不满意可直接退款！！！

推荐阅读:
入门: 最全的零基础学Python的问题  | 零基础学了8个月的Python  | 实战项目 |学Python就是这条捷径
干货:爬取豆瓣短评，电影《后来的我们》 | 38年NBA最佳球员分析 |   从万众期待到口碑扑街！唐探3令人失望  | 笑看新倚天屠龙记 | 灯谜答题王 ｜用Python做个海量小姐姐素描图 ｜碟中谍这么火，我用机器学习做个迷你推荐系统电影
趣味:弹球游戏  | 九宫格  | 漂亮的花 | 两百行Python《天天酷跑》游戏!
AI: 会做诗的机器人 | 给图片上色 | 预测收入 | 碟中谍这么火，我用机器学习做个迷你推荐系统电影
小工具: Pdf转Word，轻松搞定表格和水印！ | 一键把html网页保存为pdf！|  再见PDF提取收费！ | 用90行代码打造最强PDF转换器，word、PPT、excel、markdown、html一键转换 | 制作一款钉钉低价机票提示器！ ｜60行代码做了一个语音壁纸切换器天天看小姐姐！｜