隻能說LLM做不到,不能說AI也做不到。
本帖於 2025-09-29 19:07:00 時間, 由普通用戶 whaled 編輯
所有跟帖:
•
第一次Dartmouth會議,Simon和Newell的Logic Theorist就證明了數學原理52個定理中的38個
-whaled-
♂
(0 bytes)
()
09/29/2025 postreply
19:08:50