數學、物理難題為什麼不能全部讓計算機去解，而仍然要科學家絞盡腦汁？

12-05

只說物理學。

物理學是一門實驗科學。

1：數學問題可以，不過「如何讓計算機去解答」是一個很麻煩的問題，更麻煩的問題是「如何驗證解答的過程和結果是否正確」
2：物理問題少有不用計算機參與計算的吧？？你想說的是什麼物理難題？

計算機解數學問題是存在的。
早在四色猜想證明的階段，就用到了計算機進行輔助驗證，只不過並不是完整地生成解答。
我了解相對多的領域，是計算機對於平面幾何問題的證明。
而且不但可以證明，還可以發現新的定理，還可以給出人類可讀的、甚至非常漂亮的證明。
——好吧這是張景中說的。

= =具體信息就去看就好了我就不多截圖……
這是上世紀的內容了，現在應該進展更多了
==================================
補充： @龍騰道
首先我只知道平面幾何方面的證明成就。
數學和物理涉足的領域是很廣泛的。
計算機並不能發明新的理論來解決問題。
證明和求解，計算機比較擅長求解，但是現在計算機的機能也是有限的，很多東西不能直接計算。
另外，計算機只能給予數值計算，而不能直接轉化為精確解。這涉及太多太多的理論。
比如很多時候能把數值解轉化為精確解。
比如很多時候數值解會發散，需要大量的理論支持進行處理。
比如很多時候需要估計數值解的精度上限。
就算是求解，計算機能做的也是非常有限的，何況數學和物理的問題遠遠不僅限於求解……
利益相關：計算流體力學方向。

因為你和天才的差距遠遠大於你和計算機的差距

因為全用計算機解得話比較慢

因為計算機處理不了無窮.
只要把問題從無窮化歸到有限的情況，計算機就可以解決。
比如四色定理，地圖當然有無數種畫法，計算機是無能為力的，它只能驗證有限種情況。
然而有人還真就把四色定理化歸到了數千個有限的單元上，所以這個定理就理所當然地被計算機暴力驗證了……

當然這只是理論上計算機可以做。四色定理的證明已經耗費了很大的算力了，要是那種元素數目多的有限群問題，雖然理論上可以窮舉，但是估計舉個幾百年才能舉完

機械化計算本身就是一個巨大的坑，人類還沒有實現把任意問題轉化為機械計算的方法。

所有的coding都是暫時的只有對世界本質的理解才是永恆的

計算機只能處理有限量，不能處理無限的量，無限的量一般只能由理論來完成

一看就知道你沒怎麼了解過計算數學。

很多科學家的工作就是絞盡腦汁地讓計算機解數學和物理上的難題。