新智元报道
(资料图)
编辑:编辑部
【新智元导读】最近,「数学天才」陶哲轩表示,自己将领导白宫生成式人工智能工作组,就当前AI评估并收集意见。在陶哲轩看来,加入工作流的ChatGPT在数学专业领域中,并没有太多增值。
近来,美国总统科技顾问委员会(PCAST)成立了一个生成式人工智能工作组。
值得一提的是,数学天才陶哲轩在这个工作组中担任了co-leader的角色。
陶哲轩在自己的博客发文称,我和Laura Greene共同主持这个生成式人工智能工作组。
他博客中表示,这一小组主要研究生成式人工智能技术在科学和社会产生更广泛的影响,包括流行的基于文本的大语言模型(如ChatGPT),图像生成的扩散模型(如DALL-E2、Midjourney),以及科学应用模型(如蛋白质设计或天气预报)。
陶哲轩主持生成式AI小组
白宫在13日发布的文章中提到,
文末,可以看到工作组的成员中,陶哲轩位列其中。
此外,AMD的首席执行官苏姿丰(Lisa Su)也是这个生成式AI小组中的一员。
根据陶哲轩的博客,生成式AI小组将在5月19日(星期五)举行的PCAST会议期间行公开会议。
直播链接:https://www.whitehouse.gov/pcast/meetings/2023-meetings/
两个专家小组将介绍当下生成式人工智能的情况,最后进行广泛的问答环节。这些发言者包括:
人工智能促进科学:
Anima Anandkumar (加州理工学院 & 英伟达)
Demis Hassabis (Google DeepMind)
李飞飞(斯坦福)
人工智能与社会:
Sendhil Mullainathan (芝加哥)
Daron Acemoglu (麻省理工学院)
Sarah Kreps (康奈尔大学)
此外,陶还提到,工作小组正就如何推进生成式人工智能应用的积极部署,以及如何最好地降低风险,征求公众的意见。
最初关注的是,如何在不牺牲言论自由,发现、抵制、减轻人工智能产生的虚假信息和DeepFake,这是一个富有挑战性的话题。
ChatGPT加入工作流之后
ChatGPT横空出世后,也得到了像陶哲轩这样数学大家的青睐。
在Mathstodon上最新帖子中,分享了自己关于生成式AI工具的看法。
总之,陶哲轩对于生成式AI工具的看法分为四类,值得注意是的是,在他的数学专业领域中并没有太多增值。
对于第三种情况,陶举例让ChatGPT将前一篇文章总结为一个流程图。
ChatGPT提供了文本的描述。陶表示,据推测,未来的多模态GPT将能够直接提供流程图,而不是给出一个文本描述。
对于第二类任务的一个例子:在意识到我可以要求GPT以LaTeX格式输出流程图后,得到了下面的第一张图片,这显然是不完美的。但由于我熟悉LaTeX,手动将其修正为第二张图片并不困难。
很明显,前段时间爆火的ChatPDF,陶也用在工作流中了。
3月,陶表示,自己决定尝试以不同的方式将AI工具纳入我的工作流程。其中就包括ChatGPT、DeepL等工具。
在接下来一段时间中,他经常分享了一些自己使用ChatGPT等工具的体验。
许多ChatGPT隐藏功能都被他挖掘了出来,比如寻找公式、解析代码格式的文档、改写论文语句等等。
比如,ChatGPT有时可以在数学中做一个半成品的语义检索,也就是用它来生成一些提示。
比如,陶哲轩让ChatGPT从描述中识别库默尔定理,它没能给出正确答案,但根据它给出的近似答案(Legendre公式)。
对此,陶哲轩称,人工智能在数学中的作用是提供一个初步的近似答案,然后可以结合传统搜索引擎轻松找到正确答案。
陶哲轩还发现了ChatGPT在处理数学问题时的亮点,能够识别不同语言的数学概念音译版。
另外,可以要求ChatGPT转换从MathSciNet获得的一堆参考文献,并在LaTeX书目环境下将其格式化为\bibitems。
然而ChatGPT 就没有犯错的时候吗?
在一个关于「素数是否无穷多」的证明问题中,陶哲轩发现ChatGPT给出的答案并不是完全正确的。
从另一面看,他发现ChatGPT给出的论证思路是可以被固定下来的,并且这个思路他之前都从未见过。
ChatGPT等AI工具是否加入你的工作流?
参考资料:
https://terrytao.wordpress.com/2023/05/13/pcast-working-group-on-generative-ai-invites-public-input/
https://www.whitehouse.gov/pcast/briefing-room/2023/05/13/pcast-working-group-on-generative-ai-invites-public-input/
标签:
要文