AI能不能證明世界數學難題，比如雅可比猜想？

至少，AI能不能證明張益唐關於雅可比猜想的證明是錯誤的？

或者，AI能不能證明莫宗堅關於雅可比猜想的證明是錯誤的？

我們假設這兩個裏麵至少有一個是錯誤的。