AIGC動態歡迎閱讀

原標題：GPT-4野生代言人陶哲軒：搞論文學新工具沒它得崩潰！11頁“超簡短”新作已上線

關鍵字：不等式,公式,實數,算術,論文

文章來源：量子位

內容字數：3832字

內容摘要：豐色 發自 凹非寺量子位 | 公眾號 QbitAI陶哲軒有多愛GPT-4？這回，不止寫論文做研究，學新工具時他也離不開它了。就在今天，他的又一篇成果上線，關于麥克勞林不等式。為了更好地展現其成果，48歲的他開始學習Lean4（一種可作為交互式定理證明工具的函數式編程語言）。他自述，隨著學習該語言“關卡難度”的增加，GPT-4又能幫大忙了——如果沒有它幫我解決各種微妙的語法問題，你都無法想象我有多崩…

原文鏈接：點此閱讀原文：GPT-4野生代言人陶哲軒：搞論文學新工具沒它得崩潰！11頁“超簡短”新作已上線

聯系作者

文章來源：量子位

作者微信：QbitAI

作者簡介：追蹤人工智能新趨勢，關注科技行業新突破