這些本來是助手的工作

來源: wzg69 於 2023-12-07 13:15:25 [] [博客] [舊帖] [給我悄悄話] 閱讀數 : (105 bytes)
回答: AI 是對TAO 已經做出的論文進行形式化 由 trivial 於 2023-12-07 12:19:24

現在不用了，他隻要在頂層考慮。中間很多步驟可以跳過，讓機器來證明

所有跟帖： 

• 數學家沒助手。 -trivial- ♀ 給 trivial 發送悄悄話 (0 bytes) () 12/07/2023 postreply 15:57:09

請您先登陸，再發跟帖！