這些本來是助手的工作

來源: 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

請您先登陸，再發跟帖！

發現Adblock插件

如要繼續瀏覽
請支持本站 請務必在本站關閉/移除任何Adblock

關閉Adblock後 請點擊

請參考如何關閉Adblock/Adblock plus

安裝Adblock plus用戶請點擊瀏覽器圖標
選擇“Disable on www.wenxuecity.com”

安裝Adblock用戶請點擊圖標
選擇“don't run on pages on this domain”