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

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

ChatGPT知识欢迎阅读

原标题:陶哲轩:用 ChatGPT 写代码太省时间了

关键字:ChatGPT代码,ChatGPT数学,ChatGPT模型,ChatGPT机器,ChatGPT问题

文章来源:菜鸟学Python

内容字数:15837字

(永久免费,扫码加入)

转自:机器之心

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

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

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

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

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

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

在这次体验中,他使用的 Prompt 是:

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

importmath
defphi(n):
"""ComputetheEulertotientfunctionforn."""
result=n
foriinrange(2,int(math.sqrt(n))+1):
ifn%i==0:
whilen%i==0:
n//=i
result-=result//i
ifn>1:
result-=result//n
returnresult
defis_non_decreasing(seq):
"""Checkifasequenceisnon-decreasing."""
foriinrange(1,len(seq)):
ifseq[i]<seq[i-1]:
returnFalse
returnTrue
deflongest_non_decreasing_phi_subsequence(n):
"""Findthelengthofthelongestsubsequenceof{1,...,n}onwhichphiisnon-decreasing."""
phi_values=[phi(i)foriinrange(1,n+1)]
max_length=0
foriinrange(n):
forjinrange(i,n):
ifis_non_decreasing(phi_values[i:j+1]):
max_length=max(max_length,j-i+1)
returnmax_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行代码做了一个语音壁纸切换器天天看小姐姐!|

原文链接:点此阅读原文:陶哲轩:用 ChatGPT 写代码太省时间了

联系作者

文章来源:菜鸟学Python

作者微信:cainiao_xueyuan

作者简介:回复 小助手 领取全套Python学习资料,已原创500+篇,从入门,进阶技巧,爬虫数据分析,数据可视化等,以及经验和技巧的总结,趣味原创文章,破解九宫格,破解Google面试题,情人节选对象,微软面试题,弹球游戏,聊天机器人等欢迎关注!

0

评论0

没有账号?注册  忘记密码?