“数学天才”陶哲轩也爱上 GPT-4:节省了大量繁琐工作
由 ChatGPT 掀起的 AI 热潮,在经过 GPT-4的震撼发布后,又被推至新的巅峰——不仅引起业界无数人的关注,如今还“出圈”成为了数学天才陶哲轩喜爱的 AI 工具之一。
本周,陶哲轩在开源社交平台 Mastodon 上发文:“今天,我可以明确地说:GPT-4确实为我节省了大量繁琐的工作。”
将 AI 工具纳入工作流程
事实上,早在一个多月前陶哲轩就开始摸索 ChatGPT 的各种用法了,但当时他对这类 AI 工具的评价还比较保守:“虽不能直接帮我攻克未解决的数学问题,但处理一些相关工作时还挺有用。”
陶哲轩最早决定将 AI 工具纳入其日常工作中,是在3月5日:“我决定有意识地尝试不同方式,将 AI 工具(如 DeepL、ChatGPT 等)纳入我的工作流程。”
以 DeepL 为例,陶哲轩曾将推荐信中的一些段落上传至 DeepL 以作优化,最终他同意并采纳了 DeepL 近一半的建议,另一半则因不符合他的个人风格而被忽视。基于此,陶哲轩指出:“我认为盲目地用 DeepL 生成的方案替换原始段落并不是一种改进,但将其用来生成优化建议颇有成效。”
至于在使用 ChatGPT 的过程中,陶哲轩更是陆续挖掘出了许多“隐藏功能”:
? 在描述各种语言中专有名词的推荐发音方面表现良好(明显优于传统搜索引擎),还不需要语音知识。
?可将从 MathSciNet 获得的参考文献格式,转换为 LaTeX 参考书目环境中的 \bibitems,且后续会自动进行转换。
?很擅长解析代码格式的文档,然后返回一个正确格式的代码查询。
?要求 ChatGPT 例举一些优秀学生可能会在本科线性代数课上提出的问题,它能给出一些很好的例子。“这激发了我对课程方向的更多想法,以及有关作业的一些潜在问题。”
因此,将 AI 工具融入工作中近半个月后,陶哲轩在3月19日总结道:“总的来说,我发现这些 AI 工具虽然不能直接帮我完成核心任务,但对各种相关工作而言还是很有用的(尽管通常还会进行一些手动调整)。”
期待将 AI 集成到各种软件工具中
值得一提的是,本月初陶哲轩还意外发现了使用 AI 工具的另一个功能,即某种程度上遵循了坎宁安定律(指人们纠正错误答案要比回答问题更快):
很多次我要求 GPT 为某些任务提供一些文本,但对其输出不满意,于是便刺激我写了一些更符合我喜好的内容。可能我只会从 GPT 生成的文本中借用一两句话,但如果没有最初的文本作为提示,我应该不会受到启发并激励自己写出新版本。
同样,我最近需要联系某个非数学领域的专家,于是我首先问了附近地区的一位同事,他一开始没想到任何建议。然后我就问了 GPT,它提供了几个名字,其中有一个看起来特别合适。然而当我把这个名字告诉我同事时,他立即觉得这不是一个合适的人选,并迅速提出了其他四五个相当合适的名字。
到了本周,让陶哲轩进一步“爱”上 GPT-4的契机,在于他最近要忙的工作:“作为 ICM 结构委员会主席,我需要收集上一届 ICM 上发言人(约200名)的各种统计数据。”
据陶哲轩介绍,这些原始数据不是以电子表格形式、而是以网页和 PDF 格式的一些表格形式提供给他的。过去,陶哲轩一直都是“认命”地先把数据手动输入电子表格,然后查找各种表格函数,找出如何准确计算出所需数据的方法:“这是一项乏味的任务。”
但如今已将 AI 工具纳入工作流程的陶哲轩,机智地将这个工作丢给了 GPT-4来处理:“这两项任务用 GPT-4几分钟内就能轻松完成,过程甚至还有些令人愉快(唯一乏味的地方是在原始数据、GPT-4和电子表格之间进行剪切和粘贴)。”
使用 GPT-4所带来的效率提升,令陶哲轩感慨道:“我现在期待着将 AI 集成到我使用的各种软件工具中,这样就连剪切和粘贴的步骤都可以省略了。(如果能够自动解决90% 的 LaTeX 编译问题就太棒了……)”
网友:“这种事情他没有助手吗?”
令陶哲轩也折服的GPT-4,今日在 HackerNews 上也引起了不少讨论。
部分网友对陶哲轩的评价深有同感:“我昨天自己第一次使用 GPT-3。本来我想要一些代码来列出我可用的 DynamoDB 表,但总出现错误,于是我问 ChatGPT 要修复该错误,它立刻告诉我如何更新我的设置 .xml 文件。当然,不问我也知道如何做,但这可能需要半小时,而使用 ChatGPT 大约需要5分钟。”
但也有许多网友对陶哲轩用GPT-4处理的工作感到意外:“他是目前全球顶尖的数学家之一,还要花时间整理会议统计数据吗?这种事情他没有助手吗?”
参考链接:
https://mathstodon.xyz/@tao/110172426733603359
https://news.ycombinator.com/item?id=35538945
昆仑万维CEO回应推出天工AI搜索:与传统搜索引擎是不同维度的产品
近日,昆仑万维宣布推出国内第一款AI搜索产品——天工AI搜索,并开启内测申请(内测地址:search.tiangong.cn)。这款搜索引擎采用大语言模型技术,能够通过对话式交互理解用户意图,提供精准、个性化的答案。与传统搜索引擎相比,天工AI搜索具备更好的信息提取能力、知识生成能力和意图识别能力。此外,天工AI搜索也即将具备图像、语音等多模态搜索能力,更大程度地释放生产力、提升用户效率。站长网2023-09-01 11:26:130000实测快手“AI玩评”功能,以后AI也要来抢热评了
以后,AI也要来抢热评了。继8月推出“文生文”大语言模型“快意”(KwaiYii)后,快手又在“文生图”赛道推出了自研大模型“可图”(Kolors)。据了解,从8月下旬开始,快手AI团队就已在公司内部开启了可图大模型的内测,并支持网页版工具和标准化API两种使用方式。依托可图大模型,快手开始在短视频评论区内测“AI玩评”功能,这是继“AI对话”之后,快手在短视频场景内落地的又一AIGC能力。站长网2023-09-25 09:18:380000AI图像平台Fotor推出一站式AI长视频平台Clipfly
近日,图像编辑平台Fotor正式拓展视频领域,推出名为Clipfly的全新一站式AI长视频平台。Clipfly集成了AI视频生成、增强和编辑等多种功能,用户可在该平台完成从构思到最终视频输出的整个流程。站长网2024-03-15 14:29:190000德国、法国和意大利就未来人工智能监管达成协议
根据路透社看到的一份联合文件,法国、德国和意大利已就如何监管人工智能(AI)达成协议,预计将加速欧洲层面的谈判进程。这三个政府支持对所谓的AI基础模型实施「强制性自我监管」,通过行为准则来进行。这些模型旨在产生广泛的输出,但他们反对「未经测试的规范」。「我们共同强调,AI法案规范的是AI的应用,而不是技术本身,」联合文件中说。「固有风险在于AI系统的应用,而不在于技术本身。」站长网2023-11-20 09:35:400000为什么要拆分王朝/海洋APP?比亚迪官方回复来了
8月31日,比亚迪王朝/海洋APP、小程序正式拆分独立运营。王朝车主前往比亚迪王朝APP,海洋车主前往比亚迪海洋APP,王朝海洋共有车主及未进行车主认证的用户可自行选择。关于大家最关心的问题:为什么要拆分APP?比亚迪也给出了答案:为了给车主们提供更精细化的客户服务。站长网2023-09-02 15:26:050000