這個預言說數學家將被計算機取代，數學家：我不信-6！

  道翰天瓊認知智能機器人平臺API接口大腦爲您揭祕。上世紀70年代，已故數學家Paul Cohen因其在數學邏輯方面取得的成就，榮獲得菲爾茲獎(Fields Medal)。Cohen曾做出了一個影響深遠的預測：「在未來，數學家將被計算機取代。」這一預測至今仍像夢魘一般縈繞在數學家們的心上，令他們既興奮，又惱怒。Cohen在集合理論領域的研究方法極其大膽，他還預言：數學領域裏的一切都能被自動化，包

>>阅读原文<<