第一次Dartmouth會議，Simon和Newell的Logic Theorist就證明了數學原理52個定理中的38個

來源: whaled 於 2025-09-29 19:08:50 [] [舊帖] [給我悄悄話] 閱讀數 : (0 bytes)
本帖於 2025-09-29 19:12:23 時間, 由普通用戶 whaled 編輯
回答: 隻能說LLM做不到，不能說AI也做不到。 由 whaled 於 2025-09-29 19:02:52
請您先登陸，再發跟帖！