1樓：godweiyang
一種情況是，窮舉驗證出一部分的基石是正確的，剩下的情況全部可以通過基石推斷出來，那麼是可以的。
還有一種情況是，窮舉到乙個特別特別大的值之後，發現了反例，那麼這個猜想就直接被推翻了。這個例子很多，知乎上搜「有哪些列舉到很大的數後發現是錯誤的數學猜想」有很多。
其他正確的定理，想要通過計算機窮舉來證明是不可能的，窮舉再多也窮舉不完的。
最後很多難題都無法窮舉的，無法設計出比較好的列舉策略，甚至就沒辦法列舉。
2樓：李先生
不能，有現有計算力窮舉不完的情況。還有的問題是根本不能計算的。請學習一門課程 《可計算性與計算複雜性》 理論，計算機不是萬能的，它有達不到的高度，學完你就懂了。
3樓：
能簡單窮舉的都不叫難題。
但也有窮舉完成的難題，4色定理就是啊。
但也不是簡單的窮舉啊，需要證明窮舉所覆蓋的東西可以推論出剩下的部分。
假如哥猜哪天證明了在N>100000000000000000時成立。
然後用計算機窮舉了N<=100000000000000000的所有情況。
那麼窮舉算是佔了多少功勞呢？好像也沒多少功勞。
很多數學上的難題可以通過計算機（人工智慧）來推導證明麼？
事實上，人工智慧從前有概率學派和符號推理學派，符號推理學派期初最早做的就是很多數學定理的推理工作，因此很多數學定理得以用計算機進行證明。但這也是有一定的限度。幾何問題 數值計算型問題 初步的數論問題是比較容易通過計算機或人工智慧去暴力計算和迭代證明的。但是仍然存在很多形式化數學證明是很難通過人工智慧...
學計算機輔修數學難嗎？
華叔 視覺魔術師 既然在上交，那學校就非常不錯了。數學的門檻比較高，不知道你自己本身數學咋樣，考慮到你未來走科研方向，輔修數學在後面讀研 讀博一定是大有幫助。不過通常數學專業課的門檻比CS專業要高很多，所以還得靠自己努力吧。通常見得最多的是數學專業，輔修計算機，將來好就業 ChenZhou 上交就是...
女生，數學不好，大學想學計算機可以嗎？
只要是理工科都要和數學打交道的。數學嘛認真學，試著結合實際應用去理解，多做題練習不會很差。對於工科數學更偏向於應用，考察計算能力。想學計算機不一定代表你會喜歡這個，進了大學你可能會發現這個專業和你想象的不一樣。但是選啥專業估計都會有這個感覺，不如堅持下去，沒努力去試一下就別說學不懂。功課學習還是要紮...