從開放網路上發現值得讀的內容，收藏真正重要的。AI 為你摘要、串連、整理你所知道的一切。
著名數學家陶哲軒近期分享了他對人工智慧與自動證明系統結合的看法，探討其對數學研究的影響。
暫無內容
— Hacker News
相關文章
陶哲軒：「一次長時間的AI對話幫助我回答了一個MathOverflow問題」
7 個月前
陶哲軒：人工智慧工具與人類的聰明才智之別
4 個月前
Mathematical methods and human thought in the age of AI
24 天前
DeepMind 最新突破：用於處理數學證明的人工智慧
5 個月前
陶哲軒：AI 輔助在 Erdős 問題網站上日益普及
