數學機器證明搞了幾十年連邊都不沾

數學那些絕妙證明機器在可見的將來是做不出來的。 比做證明更高層次是發現新的理論和數學工具技巧。 嗬嗬， 小艾同學還早呢。