推 a94037501: ai會形式化證明了還有找反例做數學的人223.137.155.244 09/09 11:07
→ a94037501: 太少很多空間給ai做223.137.155.244 09/09 11:07
推 zephyr105: 看AI的垃圾證明 寫不出來AI可能會胡扯 114.136.104.60 09/09 11:07
→ zephyr105: 繞圈圈 114.136.104.60 09/09 11:07
推 a94037501: 那是給一般人用的被降智內部的什麼都會223.137.155.244 09/09 11:08
→ potionx: 世界上有兩種人 一種是會用AI的 一種不會 111.240.95.108 09/09 11:09
推 zephyr105: 上面就說了寫了一堆沒人看審 ai寫的你 114.136.104.60 09/09 11:32
→ zephyr105: 就信喔 114.136.104.60 09/09 11:32
→ potionx: 是的 驗證很重要 盲信和盲否定都不正確 111.240.95.108 09/09 11:34
推 LYS5566: 有Lean 36.226.134.96 09/09 11:37