我有幸與 @TheTuringPost 聊了聊 Axiom 和 AI4Math 的各個方面! 請收看: - 我如何定義通用人工智慧(AGI)與特定領域人工智慧(ASI),盤子的比喻,一個健談或詩意的模型能否證明黎曼猜想,以及數學在編碼和工程領域令人難以置信的遷移學習能力 - 為什麼人工智慧數學家需要同時具備證明和構造能力,這分別對應於公理理論的兩個分支:形式化證明和專門發現 - 與程式碼相比,資料稀缺性、自形式化中的先有雞還是先有蛋的問題、Axiom大膽的合成資料嘗試,以及我們如何思考新知識的產生 - 問題解決與理論構建,為什麼“理論構建”比國際數學奧林匹克競賽(IMO)更難衡量,以及為什麼如今法學碩士(LLM)如此強調的文獻檢索/檢索令人不滿 https://t.co/HxRoCSOa2S
正在載入線程內容
正在從 X 取得原始推文,整理成清爽的閱讀畫面。
通常只需幾秒鐘,請稍候。