您的位置:首页 > 互联网

陶哲轩点破天机:不懂数学别想靠ChatGPT飞升!_陶哲轩算天才吗

发布时间:2024-07-08 17:00:00  来源:互联网     背景:

声明:本文来自于微信公众号 新智元(ID:AI_era),作者:新智元,授权转载发布。

【新智元导读】冲锋在AI辅助数学研究第一线的陶哲轩,近日又有神总结:ChatGPT提升的,是我们在编码、图表等次要任务上的能力;而真要搞好数学研究,基础不扎实的话,AI也是没用的。

使用ChatGPT一年半了,陶哲轩的感想如何?

最近,一直冲锋在探索AI辅助研究功能前线的数学大神陶哲轩,总结了ChatGPT对自己数学研究过程的帮助。

有趣的是,他发现AI辅助在数学方面的用处倒是有限,但它大大提升的,是自己在次要任务上的能力,比如编码和制作图表。

所以说,想要搞好数学研究,还是需要扎实的数学基础,纯靠AI是没用的。

数学不好的人,其实AI的帮助可能也没那么大

陶哲轩表示,使用#Python的matplotlib.pyplot库的一个额外收获是,自己现在可以相对轻松地创建定性图表,来说明更多非正式关系了。

在以前,他只能用文字或者草草绘制的手写草图来表达这种非正式关系。

为此,陶哲轩发现了一个有效的工作流:向ChatGPT请求一个简化示例的代码,然后自己调整和修改代码,直到输出符合预期为止。

比如,通过下面这几轮对话,在几分钟内他就得到了自己想要的图表。

最后陶哲轩总结道,AI辅助在自己主要研究的数学领域倒是用处有限,但它大大提高了自己在编码、制作图表这类次要任务中的能力,同时也将自己在一般任务中的能力,提升到了至少是初学者的水平。

同时他也点出,在自己看来,对于那些精通编程但并不那么精通数学的人来说,AI辅助可能就不会起到这么大的作用。

陶哲轩和ChatGPT的对话,具体如下——

https://chatgpt.com/share/064ae58d-7400-4589-a027-d66a8a8a236e

陶哲轩问:在Python中,我知道如何使用pyplot软件包制作图形的单个图像。有什么方法可以让我用Python制作多个图形的幻灯片或其他动画图像吗?比如,制作一个幻灯片,展示函数$x$, $x^2$, $x^3$, $x^4$对于$x \in [0,1]$的图形。

ChatGPT回答说:是的,你可以使用matplotlib包中的matplotlib.animation模块,在Python中创建多个图形的幻灯片或动画图像。

接下来,ChatGPT就给出了创建该函数动画的具体步骤,详细给出了代码——

1. Install matplotlib if you haven't already:

pipinstallmatplotlib

2. Use the following code to create an animation:

importnumpyasnpimportmatplotlib.pyplotaspltimportmatplotlib.animationasanimation#Definetherangeforxx=np.linspace(0,1,400)#Definethefunctionsfunctions=[lambdax:x,lambdax:x**2,lambdax:x**3,lambdax:x**4]#Createafigureandaxisfig,ax=plt.subplots()line,=ax.plot(x,functions[0](x))#Setaxislabelsandtitleax.set_xlabel('x')ax.set_ylabel('f(x)')ax.set_title('AnimatedFunctions')#Initializetheanimationfunctiondefinit():line.set_ydata([np.nan]*len(x))returnline,#Updatetheanimationfunctiondefupdate(frame):line.set_ydata(functions[frame](x))ax.set_title(f'Function:$x^{frame+1}$')returnline,#Createtheanimationani=animation.FuncAnimation(fig,update,frames=len(functions),init_func=init,blit=True,repeat=True,interval=1000)#Savetheanimationasagifani.save('animated_functions.gif',writer='imagemagick')plt.show()

同时, ChatGPT还给出了相应解释:首先要导入必要模块,比如导入numpy进行数值运算,导入pyplot进行绘图,导入animation创建动画。

然后需要定义x的范围,创建一个从0到1的数组x,包含400个点。

接着需要定义函数、创建图形和坐标轴、初始化动画函数等等。

ChatGPT给出的答案很好,但每个动画中只能显示一个函数。

为了达到目的,陶哲轩进一步提问道:如果我想让每个动画显示两个函数呢?例如,第一帧显示$x$和$x^2$,第二帧显示$x^2$和$x^3$,第三帧显示$x^3$和$x^4$。

ChatGPT表示:要在动画的每一帧显示两个函数,可以修改代码,为每一帧绘制两条线。

接下来,ChatGPT还是给出了详细的代码。

1. Installmatplotlibif you haven't already:

pipinstallmatplotlib

2. Use the following code to create the animation with two functions per frame:

importnumpyasnpimportmatplotlib.pyplotaspltimportmatplotlib.animationasanimation#Definetherangeforxx=np.linspace(0,1,400)#Definethefunctionsfunctions=[lambdax:x,lambdax:x**2,lambdax:x**3,lambdax:x**4]#Createafigureandaxisfig,ax=plt.subplots()line1,=ax.plot(x,functions[0](x),label='$x$')line2,=ax.plot(x,functions[1](x),label='$x^2$')#Setaxislabelsandtitleax.set_xlabel('x')ax.set_ylabel('f(x)')ax.legend()ax.set_title('AnimatedFunctions')#Initializetheanimationfunctiondefinit():line1.set_ydata([np.nan]*len(x))line2.set_ydata([np.nan]*len(x))returnline1,line2#Updatetheanimationfunctiondefupdate(frame):line1.set_ydata(functions[frame](x))line2.set_ydata(functions[frame+1](x))ax.legend([f'$x^{frame+1}$',f'$x^{frame+2}$'])returnline1,line2#Createtheanimationani=animation.FuncAnimation(fig,update,frames=len(functions)-1,init_func=init,blit=True,repeat=True,interval=1000)#Savetheanimationasagifani.save('animated_double_functions.gif',writer='imagemagick')plt.show()

随后ChatGPT照例给出了详细解释:为了在0,1的区间上创建($x$和$x^2$,$x^2$和$x^3$,$x^3$和$x^4$)的函数,需要定义x的范围、定义函数、创建图形和坐标轴、初始化动画函数等。

陶哲轩表示:这样就差不多可以了,但图例似乎无法随动画更新,它会停留在x^3和 x^4。有没有办法在每一帧都更新图例?

针对这个问题,ChatGPT给出了对策,就是通过清除现有图例并创建新的图例,来更新每一帧的图例。

随后,ChatGPT贴心地给出了可以正确更新图例的修改后的代码。

importnumpyasnpimportmatplotlib.pyplotaspltimportmatplotlib.animationasanimation#Definetherangeforxx=np.linspace(0,1,400)#Definethefunctionsfunctions=[lambdax:x,lambdax:x**2,lambdax:x**3,lambdax:x**4]#Createafigureandaxisfig,ax=plt.subplots()line1,=ax.plot(x,functions[0](x),label='$x$')line2,=ax.plot(x,functions[1](x),label='$x^2$')#Setaxislabelsandtitleax.set_xlabel('x')ax.set_ylabel('f(x)')ax.set_title('AnimatedFunctions')#Initializetheanimationfunctiondefinit():line1.set_ydata([np.nan]*len(x))line2.set_ydata([np.nan]*len(x))returnline1,line2#Updatetheanimationfunctiondefupdate(frame):line1.set_ydata(functions[frame](x))line2.set_ydata(functions[frame+1](x))ax.legend([f'$x^{frame+1}$',f'$x^{frame+2}$'])returnline1,line2#Createtheanimationani=animation.FuncAnimation(fig,update,frames=len(functions)-1,init_func=init,blit=True,repeat=True,interval=1000)#Savetheanimationasagifani.save('animated_double_functions.gif',writer='imagemagick')plt.show()

ChatGPT解释道:更新函数中的ax.legend()调用,就可以清除现有图例,并且使用每帧的新标签进行更新了。这样就可以确保,图例反映的是当前显示函数的功能。

陶哲轩继续提问——

我想让Python绘制一个用数字描述,但用字符串标注的函数图。例如,我想绘制这样一幅图:横轴上标有『今天』、『下周』和『明年』,分别代表x=1、x=2和x=3的位置,纵轴上标有『初级』、『中级』和『专家』,分别代表y=1、y=4和y=9的位置(因此纵向标签的间距并不相等),要绘制的图形是抛物线y=x^2的图形。如何绘制?

ChatGPT回答:要绘制横轴和纵轴用字符串标注但与特定数值相对应的图表,可以使用matplotlib库并自定义刻度标签。

当贝x3最佳投影尺寸

1. Installmatplotlibif you haven't already:

pipinstallmatplotlib

2. Use the following code to create the plot:

importnumpyasnpimportmatplotlib.pyplotasplt#Definethenumericalvaluesforthexandypositionsx_values=[1,2,3]y_values=[1,4,9]#Definethecorrespondingstringlabelsforxandyaxesx_labels=["Today","Nextweek","Nextyear"]y_labels=["Beginner","Intermediate","Expert"]#Definethefunctiontobeplotted(y=x^2)x=np.linspace(1,3,100)y=x**2#Createafigureandaxisfig,ax=plt.subplots()#Plotthefunctionax.plot(x,y,label='$y=x^2$')#Setthexandyaxislabelsax.set_xlabel('Time')ax.set_ylabel('Level')#Setthexandyaxistickpositionsandlabelsax.set_xticks(x_values)ax.set_xticklabels(x_labels)ax.set_yticks(y_values)ax.set_yticklabels(y_labels)#Addalegendax.legend()#Setthetitleax.set_title('Parabola$y=x^2$withCustomAxisLabels')#Displaytheplotplt.show()

并且给出了相应解释。

至此,陶哲轩的问题就被ChatGPT完美解决了。

网友:图表存在幻觉

在陶哲轩的评论区,有网友指出了此图的准确性有问题:两条线之间的山谷意味着什么?那里的相对位移应该更大才对。

在他看来,用手绘涂鸦来表达这类非正式想法是比较合适的,可以让形式与内容相匹配,避免了使用和标准化这些AI工具过程中的缺点。

对于这名网友的找茬,陶哲轩进行了详尽的回复。

他解释道,如果自己想要传达复杂关系的图像,手绘图是很不方便的,一方面原因是自己不擅长手绘,另一方面,也是因为无法很轻松地编辑出一个草图,让它部分地传达自己的想法。

而借助Python,自己就可以轻松地循环,进行十几次尝试,然后找到一个能捕捉到自己想要的细微差别的方法了。

例如,他确实有意让初级领域和次级领域之间的山谷在AI的帮助下获得更高的推动力(这个山谷代表着两个相邻的领域)。

在陶哲轩看来,纯数学是自己的主要领域,而计算机编程是次要技能;自己对于设置和安装机器学习软件包并没有直接经验,但后者与这两个专业相邻,所以他会把它放在这个图的中间位置。

而对于图表不够精确这个问题,陶哲轩解释道,数轴上没有数字标签,应该就已经意味着这是一张非正式图像。

陶哲轩问题

或者,他建议我们可以创建其他信号,来更加强调图形的非正式性,比如让线条更厚、更模糊,同时选择不那么专业的字体。

这些在Python中是很容易做到的,但如果要手工完成,就只能重绘图像了。

同时,针对这位网友的建议,陶哲轩也表示,在使用ChatGPT/Python之前,自己的确也提前手绘了草图。

随后,陶哲轩又在图表上进行了一些调整,添加了一些不建议使用AI辅助的情况:在几乎没有先验知识的情况下尝试用AI处理中等难度的任务,或者在只有中等先验知识的情况下尝试处理专家难度的任务。

陶哲轩表示,在这种特殊情况下,此类更新在手绘图像上是可行的,并且只需要添加新绘图就可以了,而不是删除或修改现有绘图。

但他强调,对于许多其他类型的修订,使用手绘图像作为主图像来源会很不方便。

资深用户陶哲轩

其实早在2023年3月,陶哲轩就开始探索如何将AI加入到自己的工作流里了。

起初,陶哲轩想让ChatGPT根据他的描述直接得到Kummer定理这个名字。不过,AI给出的结果却是一个Legendre公式。好在,后续可以根据这个线索,通过传统搜索引擎轻松找到答案。

据此,陶哲轩认为,AI在数学中的作用是提供一个初步解答,然后可以通过更传统的方法进行细化。

山东卖羊最新骗局

接下来,陶哲轩从原理上对比了传统计算机软件工具和AI工具,发现二者的工作流极为不同。

例如,对于传统的LaTeX到PDF编译器来说,只要输入的代码正确,那么一定可以得到一份完美的PDF。但如果输入的代码有格式错误,结果要么是编译错误,要么是一份严重混乱的PDF。

而AI LaTeX编译器则可以更加优雅地处理噪声或格式错误的输入,但它不能以一键完成的方式使用,而是需要进行大量的互动。

随后,在大量的尝试中,陶哲轩又发现了一些ChatGPT在处理数学问题时的小亮点。

比如,一旦AI学会了用户的需求,用户就可以用最少的解释或预格式化来提供进一步的数据,而AI依然可以推断出一个令人满意的输出。

例如,在随后的此类请求中,即使输入不是MathSciNet格式,AI仍然能够继续我在附加请求中隐含引入的参考命名约定。

总的来说,这些AI工具并不能帮助直接攻克未解的数学问题,但它们在各种相关的任务中相当有用,尽管之后常常需要一些手动调整。

天才陶哲轩是哪里人

2023年4月,在经过一段时间的使用之后,陶哲轩针对AI和人类(主要是自己)各自的优势进行了一波总结。

1. 对于每天都要做的任务,陶哲轩已经掌握了足够的技术来优化工作流。在这方面,AI工具的帮助不大。最明显的就是在研究数学,同时也包括他已经极为熟练的邮件撰写。

2. 对于有一些专业知识但很少实践的任务,AI工具是有帮助的。比如创建初稿或者提供灵感,然后陶哲轩自己再去进行验证和完善。这一类的例子包括数据处理、翻译成外语,或以很少使用的格式编写文本(比如,公开演讲、规则文件等)。

3. 对于几乎没有专业知识且不需要极高质量和可靠输出的任务,也可以询问AI工具,并或多或少地听从它的建议。在这里,AI的功能相当于一个操作更简便的搜索引擎。

4. 对于没有专业知识但需要质量和可靠性的任务,就必须咨询人类专家了。一个例子是修理复杂、昂贵且精密的设备。

最新qq下载的文件在手机什么位置

比如,第二类任务:

陶哲轩让GPT用LaTeX输出流程图后,得到了下面这张图片。

可以看到,这张流程图还比较粗糙,不过对于熟练使用LaTeX的陶哲轩来说,只需简单修改一下,即可得到下面这个成品。

再比如,第三类任务:

陶哲轩让GPT把自己之前的帖子总结为流程图,结果如下。

2023年9月,陶哲轩对ChatGPT的探索,已经深入到用它来写代码了。

作为实验,他要求ChatGPT写一段Python代码,为每个自然数n计算1,...,n的最长子序列的长度


返回网站首页

本文评论
64位性能更好!小米要对32位App动手了:7月逐步清理
快科技4月27日消息,今日,小米方面发布金标联盟64位适配时间节点最新通知,宣布将从今年7月1日起,小米、OPPO、vivo等主流应用商店将逐步清理仅支持32位的应用。官方表示,自2023年...
日期:04-27
苹果iPhone成重点“整改目标”,欧美正考虑限制或禁用零件配对
来源:中关村在线11月14日,据国外媒体报道,维护权倡导者正在密切关注下一个目标:零件配对。欧洲和美国正在考虑出台相应的法律法规,以限制零件配对问题的出现。win11使用安卓应用...
日期:11-14
古永锵:宿命与思考开启乔布斯生命潜能
  乔布斯的成功来自于他的创新精神,他对产品自我破坏性颠覆的研发,对品牌开拓近乎偏执的专注,成就了苹果在全球范围内史无前例的业绩。作为《史蒂夫·乔布斯传》简体中文版...
日期:07-24
亏损1400亿后 扎克伯格自我打脸:元宇宙算不上重点业务「扎克伯格投资元宇宙」
凤凰网科技讯 北京时间12月1日消息,由于在元宇宙业务上耗资巨大,脸书创始人马克扎克伯格(Mark Zuckerberg)正面临越来越大的反对声音。不过,他在周三辩解称,公司对于元宇宙的押...
日期:12-12
卢伟冰为什么加入小米「Redmi K70发布前卢伟冰压力很大很焦虑:网友建议明天发」
快科技11月25日消息,小米集团卢伟冰发文表示,虽然K70系列的产品力极强,但每次发布会前还是压力很大,很焦虑。对此,有网友建议,明天直接发布,后天就不焦虑了。富士康美国造车5g生产...
日期:11-25
南京网红暴猴遭霸凌长期水上漂 网友直呼天道好轮回
您还记得南京那只网红猴子吗?一只流浪的猕猴曾因在南京市街头捣乱、追逐宠物,甚至闯入居民家中行窃,被视为知名“网红暴猴”。后来,这只猴子在南京市红山森林动物园落户,但由于...
日期:04-14
斯坦福团队发布全球首个超小型多模态AI代理模型Octopus V3,函数调用准确度媲美GPT-4
近日,斯坦福大学的NEXA AI团队宣布推出全球首 个多模态AI代理模型Octopus V3,让AI代理更加智能、快速、能耗及成本降低。今年四月份初,NEXA AI推出了备受瞩目的Octopus V2,该模...
日期:05-09
国际标准图查询语言 GQL 正式发布,悦数图数据库业界首家原生支持
·GQL 是自1987年发布 SQL 标准以来,ISO 组织发布的第二个数据库标准语言·悦数图数据库 v5.0版本原生支持 GQL,已有首批企业用户采用经过行业多年的讨论和行动,图查询语言 GQL...
日期:04-18
科技兴牧 湖北移动数智赋能助力畜牧业开启智养新时代_中国移动智慧养猪
通信世界网消息(CWW)在湖北恩施建始畜牧局“建始牧云”平台大屏幕上,养殖场\户数量、养殖类别、养殖规模、存栏数量等信息一目了然。近日,由中国移动湖北公司助力搭建的畜牧业信...
日期:12-15
两天内骤降20℃有多反常? 高度重视气候变暖带来的气候风险_气候变暖会带来什么影响
2023年12月15日发布的天气预警,指出12月13日至12月16日将迎来今冬最强寒潮,导致国内大部分地区温度急剧下降。中央气象台发布了寒潮橙色预警,预计降温8~12℃,一些地区甚至超过20...
日期:12-15
油气管网智能化方案「AIGC带来油气智能化新路径」
当前,生成式人工智能(AIGC)技术已成为最火爆的科技赛道,典型代表是美国的ChatGPT和中国的“文心一言”,其强大的计算功能和全新的服务模式,引来了各界广泛关注。特斯拉cybertruck...
日期:04-28
小米14 Ultra绝配!小米全新专业摄影手柄入网:手机秒变相机_小米手持拍照
快科技1月17日消息,小米14 Ultra未发,配件先行,日前,小米一款"专业摄影手柄(移动电源)"的新品通过3C认证,生产商为蓝思科技。参考小米13 Ultra的专业摄影套装,这款全新专业摄影手柄...
日期:01-18
5分钟5000元,五一挤到天上了_五分钟到一分钱
声明:本文来自于微信公众号开菠萝财经(kaiboluocaijing),作者 | 金玙璠,编辑 | 艾小佳,授权转载发布。“五一出行,怎么才能避开人山人海?”陈琳很早就开始琢磨。她最终决定,“飞到...
日期:05-04
藏文版 WPS Office 正式发布:全面适配 Linux 生态,集成汉藏互译工具等_藏文版WPS
  10 月 21 日消息,今日,金山办公宣布国内首个纯国产化藏文版办公软件“藏文版 WPS Office”正式发布。   金山办公表示,藏文版 WPS 全面适配 Linux 生态。据金山办公研...
日期:07-17
魅族前高管李楠发文吐槽小米:什么样的消费群体造就什么样的品牌
近日,前魅族高管李楠在社交平台上发文,对小米手机的价格策略提出了一些质疑。他认为小米依赖中国的成本优势,以低价格销售搭载高端配置的手机,这种做法是“反消费主义”。作为业...
日期:01-01
小米13真机曝光:本月发布 骁龙8 Gen2首发_小米13啥时发布
小米13系列晚间又传出了新消息,结合目前小米13的入网信息和相关的曝光,小米13确实快来了,今天有人曝光了小米13的真机背部,并且称小米13将会采用直屏方案,而且会大几率首发骁龙8...
日期:11-05
哥伦比亚广播公司推出事实核查新闻部门,调查AI深度伪造和虚假信息
划重点:ai搜索智能精选华为mate 40 pro拆解苏宁电器买的空调维修找谁啊...
日期:11-08
海澜之家官宣张颂文代言 是其首个代言品牌_海澜之家官宣张颂文代言 是其首个代言品牌吗
3月28日早上,男装品牌海澜之家(600398)官方微博宣布张颂文成为品牌形象大使,“男人的衣柜”换了新面孔。据悉,这是张颂文首次担任品牌形象大使,粉丝们也纷纷表示“张老师终于有商...
日期:03-29
2011年第一届东北创业者大会1月8日开幕(在东北创业)
  由中国互联网创业者联盟、落伍者、中国站长俱乐部共同主办的2011年第一届东北互联网创业者大会将于2011年1月8日在哈尔滨举行,届时东北三省创业者、国内知名站长、投资...
日期:07-25