近來(lái)，美國(guó)總統(tǒng)科技顧問(wèn)委員會(huì)（PCAST）成立了一個(gè)生成式人工智能工作組。

值得一提的是，數(shù)學(xué)天才陶哲軒在這個(gè)工作組中擔(dān)任了co-leader的角色。

陶哲軒在自己的博客發(fā)文稱，我和Laura Greene共同主持這個(gè)生成式人工智能工作組。

他博客中表示，這一小組主要研究生成式人工智能技術(shù)在科學(xué)和社會(huì)產(chǎn)生更廣泛的影響，包括流行的基于文本的大語(yǔ)言模型（如ChatGPT），圖像生成的擴(kuò)散模型（如DALL-E2、Midjourney），以及科學(xué)應(yīng)用模型（如蛋白質(zhì)設(shè)計(jì)或天氣預(yù)報(bào))。

陶哲軒主持生成式AI小組

白宮在13日發(fā)布的文章中提到，PCAST成立的生成式AI小組幫助評(píng)估人工智能關(guān)鍵機(jī)遇和風(fēng)險(xiǎn)，并就如何最好地確保這些技術(shù)的開(kāi)發(fā)和部署盡可能公平、負(fù)責(zé)和安全提供意見(jiàn)。

文末，可以看到工作組的成員中，陶哲軒位列其中。

此外，AMD的首席執(zhí)行官蘇姿豐（Lisa Su）也是這個(gè)生成式AI小組中的一員。

根據(jù)陶哲軒的博客，生成式AI小組將在5月19日（星期五）舉行的PCAST會(huì)議期間行公開(kāi)會(huì)議。

直播鏈接：https://www.whitehouse.gov/pcast/meetings/2023-meetings/

兩個(gè)專(zhuān)家小組將介紹當(dāng)下生成式人工智能的情況，最后進(jìn)行廣泛的問(wèn)答環(huán)節(jié)。這些發(fā)言者包括：

人工智能促進(jìn)科學(xué):

Anima Anandkumar （加州理工學(xué)院 & 英偉達(dá)）

Demis Hassabis （Google DeepMind）

李飛飛（斯坦福）

人工智能與社會(huì):

Sendhil Mullainathan （芝加哥）

Daron Acemoglu （麻省理工學(xué)院）

Sarah Kreps （康奈爾大學(xué)）

此外，陶還提到，工作小組正就如何推進(jìn)生成式人工智能應(yīng)用的積極部署，以及如何最好地降低風(fēng)險(xiǎn)，征求公眾的意見(jiàn)。

最初關(guān)注的是，如何在不犧牲言論自由，發(fā)現(xiàn)、抵制、減輕人工智能產(chǎn)生的虛假信息和DeepFake，這是一個(gè)富有挑戰(zhàn)性的話題。

ChatGPT加入工作流之后

ChatGPT橫空出世后，也得到了像陶哲軒這樣數(shù)學(xué)大家的青睞。

在Mathstodon上最新帖子中，分享了自己關(guān)于生成式AI工具的看法。

我開(kāi)始看到自己和當(dāng)前生成式AI工具之間的比較優(yōu)勢(shì)在哪里。對(duì)于每天執(zhí)行的任務(wù)，我已經(jīng)開(kāi)發(fā)了足夠的技術(shù)來(lái)優(yōu)化我的工作流程，人工智能工具對(duì)我來(lái)說(shuō)并沒(méi)有太多的增值。最明顯的是在研究數(shù)學(xué)方面，但也包括撰寫(xiě)電子郵件。

對(duì)于那些我有一些專(zhuān)業(yè)知識(shí)，但很少實(shí)踐的任務(wù)，人工智能工具是有幫助的：通常我可以用它們來(lái)創(chuàng)建輸出的初稿，然后我可以驗(yàn)證和修改，或至少作為靈感來(lái)源使用。在某些情況下，靈感是由于AI的不足，這符合坎寧安法則的精神，但它仍然比我自己嘗試解決問(wèn)題更有成效。這一類(lèi)的例子包括數(shù)據(jù)處理，翻譯成外語(yǔ)，或以我很少使用的格式寫(xiě)文本（比如公開(kāi)演講，規(guī)則文件等）。 

對(duì)于那些我沒(méi)有什么專(zhuān)業(yè)知識(shí)，也不需要極高的質(zhì)量和可靠的輸出的任務(wù)，可以簡(jiǎn)單地詢問(wèn)人工智能工具，并或多或少地聽(tīng)從其建議。 在這里，人工智能的功能是作為傳統(tǒng)搜索引擎的一個(gè)稍微方便的版本。 

最后，對(duì)于那些我不具備專(zhuān)業(yè)知識(shí)，但又需要質(zhì)量和可靠性的任務(wù)，人工智能和我自己都無(wú)法解決，我必須咨詢?nèi)祟?lèi)專(zhuān)家。比如修理一個(gè)復(fù)雜、昂貴、精致的設(shè)備。

總之，陶哲軒對(duì)于生成式AI工具的看法分為四類(lèi)，值得注意是的是，在他的數(shù)學(xué)專(zhuān)業(yè)領(lǐng)域中并沒(méi)有太多增值。

對(duì)于第三種情況，陶舉例讓ChatGPT將前一篇文章總結(jié)為一個(gè)流程圖。

ChatGPT提供了文本的描述。陶表示，據(jù)推測(cè)，未來(lái)的多模態(tài)GPT將能夠直接提供流程圖，而不是給出一個(gè)文本描述。

對(duì)于第二類(lèi)任務(wù)的一個(gè)例子：在意識(shí)到我可以要求GPT以LaTeX格式輸出流程圖后，得到了下面的第一張圖片，這顯然是不完美的。但由于我熟悉LaTeX，手動(dòng)將其修正為第二張圖片并不困難。

很明顯，前段時(shí)間爆火的ChatPDF，陶也用在工作流中了。

3月，陶表示，自己決定嘗試以不同的方式將AI工具納入我的工作流程。其中就包括ChatGPT、DeepL等工具。

在接下來(lái)一段時(shí)間中，他經(jīng)常分享了一些自己使用ChatGPT等工具的體驗(yàn)。

許多ChatGPT隱藏功能都被他挖掘了出來(lái)，比如尋找公式、解析代碼格式的文檔、改寫(xiě)論文語(yǔ)句等等。

比如，ChatGPT有時(shí)可以在數(shù)學(xué)中做一個(gè)半成品的語(yǔ)義檢索，也就是用它來(lái)生成一些提示。

比如，陶哲軒讓ChatGPT從描述中識(shí)別庫(kù)默爾定理，它沒(méi)能給出正確答案，但根據(jù)它給出的近似答案（Legendre公式）。

對(duì)此，陶哲軒稱，人工智能在數(shù)學(xué)中的作用是提供一個(gè)初步的近似答案，然后可以結(jié)合傳統(tǒng)搜索引擎輕松找到正確答案。

陶哲軒還發(fā)現(xiàn)了ChatGPT在處理數(shù)學(xué)問(wèn)題時(shí)的亮點(diǎn)，能夠識(shí)別不同語(yǔ)言的數(shù)學(xué)概念音譯版。

另外，可以要求ChatGPT轉(zhuǎn)換從MathSciNet獲得的一堆參考文獻(xiàn)，并在LaTeX書(shū)目環(huán)境下將其格式化為\bibitems。

然而ChatGPT 就沒(méi)有犯錯(cuò)的時(shí)候嗎？

在一個(gè)關(guān)于「素?cái)?shù)是否無(wú)窮多」的證明問(wèn)題中，陶哲軒發(fā)現(xiàn)ChatGPT給出的答案并不是完全正確的。

從另一面看，他發(fā)現(xiàn)ChatGPT給出的論證思路是可以被固定下來(lái)的，并且這個(gè)思路他之前都從未見(jiàn)過(guò)。

ChatGPT等AI工具是否加入你的工作流？