重複過多次， 小艾在可見將來不可能取代數學家

數學機器證明研究多年基本上是毫無頭緒。道理是數學證明沒有規律可循。 做小艾的程序猿不可能比這些數學專家更厲害。