2025-12-06
計算機能否證明 ABC 猜想 :

電腦能算例子，但不能證明所有情況。

ABC 是理論難題，不是算力問題。

電腦能幫忙找規律，但不能當證明。

形式化系統能檢查證明，但不能自己想出證明。

真正突破還是要靠新的數學想法，不是靠暴力計算。


簡單直接回答：不能。
電腦可以幫忙算例子、找規律或檢查人類寫的證明，但靠電腦自己證明 ABC 猜想是不可能的。