数学家之绝唱？陶哲轩对AI喊停。

天方烨谈 by 基因频道

陶哲轩为什么突然对AI喊停？多位菲尔兹奖得主联名发声，反对把数学难题当成AI的跑分榜。AI能在极短时间内给出答案，人类却来不及理解它是怎么成立的：没人做报告，没人写论文，连按下回车的人都说不清过程。数学证明的完整生命周期，从来不止解出来，更在于被理解、被讲授、被写进教科书。数学要求白箱，可真实世界往往不是。