Is mathematics over, or just graduating?

Christian Szegedy 在 10 月 3 日的文章中把 AI 在数学中的现状比作莱特兄弟的首次飞行：直到今年，AI 还只能飞几百米、高度几米，且成本高昂、仅适用于少数狭窄场景，但近几个月已能飞进 Darién Gap 而不坠毁，甚至解出了几个此前无人解出的猜想。他同时指出，航空公司在一些数学家即将登顶的大石头上插旗，引发探索者不满。