未來人工智慧能解決數學難題嗎？如黎曼猜想，霍奇猜想之類的?

謝邀。不知道。人工智慧的發展方向我覺得沒人清楚。不過即使是舉例子算例子的能力，我覺得也可以做很多事情了。如果電腦能找到S^2 imes S^2上一個嚴格正截面曲率度量，他就證偽了Hopf conjecture不是嘛哈哈~這絕對是能發Annals的結果啊~~

其實大家也不要把數學想得太神聖，很多東西也是機械運算而已，像我們微分幾何要進行大量的線性代數運算，做數論的可能也要算很多例子。這方面都不需要人工智慧，單純的機械運算的程序都可以幫很多忙。