Redian新闻
>
陶哲轩:用 ChatGPT 写代码太省时间了

陶哲轩:用 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


- EOF -

推荐阅读  点击标题可跳转

1、为什么都是技术合伙人被踢出局?

2、雷军代码又上热搜了!写了十多年代码,熬过无数通宵

3、那些在一个公司死磕 5~10 年的人,最后都怎么样了?

4、爱奇艺客户端 “白嫖” 电视机,后台满速上传


关注「程序员的那些事」加星标,不错过圈内事

点赞和在看就是最大的支持❤️

微信扫码关注该文公众号作者

戳这里提交新闻线索和高质量文章给我们。
相关阅读
陶哲轩论文漏洞竟被AI发现,26年预言要成真!看定理名猜出研究方向,大神直呼AI能力惊人「陶哲轩×GPT-4」合写数学论文!数学大佬齐惊呼,LLM推理神助证明不等式定理惊呆!某院医生4个月用ChatGPT写了16篇论文,发表5篇!(附ChatGPT干货)微软发布基于LLM的代码生成神器,动动嘴就能写代码!真香!陶哲轩:用ChatGPT写代码太省时间了!尼加拉大瀑布黄金3000天一文总结13个国内外ChatGPT平替产品:是时候可以不那么依赖ChatGPT了~陶哲轩再逼近60年几何学难题!周期性密铺问题又获新突破ChatGPT最强竞品Claude2来了:代码、GRE成绩超越GPT-4,免费可用陶哲轩:我用GPT-4辅助证明不等式定理,论文还会上传arXivPython 吞噬世界,GPT 吞噬 Python!ChatGPT 上线最强应用:分析数据、生成代码都精通陶哲轩:初学者不宜用AI工具做专家级任务,GPT对专家帮助不大GPT-4成功得出P≠NP,陶哲轩预言成真!97轮「苏格拉底式推理」对话破解世界数学难题陶哲轩上手Copilot:不可思议,它能从定理名字猜出我想要的方向陶哲轩:以我的数学经验,室温超导LK-99和复现有很大启发性陶哲轩疯狂安利Copilot:它帮我完成了一页纸证明,甚至能猜出我后面的过程GitHub Copilot让陶哲轩感到“不安”无限量访问GPT-4!ChatGPT企业版来了,可扩展32k上下文,代码解释器随便用chatGPT 太好用了陶哲轩发新论文了,又是AI帮忙的那种5111 血壮山河之武汉会战 浴血田家镇 19GPT-4写代码不如ChatGPT,误用率高达62%!加州大学两位华人开源代码可靠性基准RobustAPI陶哲轩用大模型辅助解决数学问题:生成代码、编辑LaTeX公式都很好用历经3年、17位医生都没有确诊的病例,靠ChatGPT找到正确的诊断。找ChatGPT看病到底是否靠谱?陶哲轩又来安利AI工具了:新论文排版用上VSCode Copilot+插件趣图:这代码太酷了吧ChatGPT 最强竞品 Claude2 来了:代码、GRE 成绩超越 GPT-4,免费可用Chatgpt 图片识别能力超越人类了啊,谁第一眼看走眼的举手ChatGPT 成功诊断 4 岁男孩怪病,击败 17 位医生,这意味着什么?车 祸ChatGPT 突然被 block 了惊了!某院医生用ChatGPT4个月写了16篇论文!成功发表5篇!(附ChatGPT干货教程)对标GPT-4代码解释器!港中大让模型写代码解决数学难题,得分超越GPT-4耶伦的三鞠躬能换来中美金融三年暧昧期吗?陶哲轩新论文:部分证明著名素数猜想,新方法用到了自己的旧模型陶哲轩:GPT-4神助攻,写Python代码轻松省半小时文末送书 | 4个维度讲透ChatGPT技术原理,揭开ChatGPT神秘技术黑盒!GPT-4野生代言人陶哲轩:搞论文学新工具没它得崩溃!11页“超简短”新作已上线
logo
联系我们隐私协议©2024 redian.news
Redian新闻
Redian.news刊载任何文章,不代表同意其说法或描述,仅为提供更多信息,也不构成任何建议。文章信息的合法性及真实性由其作者负责,与Redian.news及其运营公司无关。欢迎投稿,如发现稿件侵权,或作者不愿在本网发表文章,请版权拥有者通知本网处理。