我不懂數學也不懂物理
但是以神經科學的講法齁
大腦會傾向相信自己已經相信的東西 而且會覺得自己的成見非常的
「理性」 「有邏輯」 「可以證明」
就算是證明是錯的 在大腦的加持之下也會覺得
「合理」 「正確」 「#」
所以電腦的發明就很重要了
等於是第三方公正 反正他沒大腦也沒情緒 你code打下去
出來不對的話一定是你的問題
都讀到理組了
怎麼不直接拿code跑一下 一番兩瞪眼 在那邊用嘴巴算數學
有沒有 八卦

博士虐貓，碩士約砲，學士射精在飲料，校友正在蹲苦窯教授作帳假發票，職業學生看報紙才知道。

alphago會寫證明題嗎

看來你也不懂CS

有道理

嘴三小，不懂就看戲啦幹

........

這種只能用Coq或Adga之類的語言來寫，而且還不一定能夠寫出來有用的證明來跑，數學系用過的都說難用目前程式語言輔助證明也只有四色圖著色這個成績而已，據說接受度也沒很高。難的是方法，不是這種工具

你也不懂電腦

什麼時候你開始有電腦懂數學這一個誤解？

...電腦是人用數學原理製造出來的東西但是現在人們在吵的是數學原理，你跟我說用電腦解決？蠢