王虹证明三维挂谷猜想花了5年，获得菲尔兹奖，OpenAI只花了3小时证明了四维挂谷猜想。数学家们呼吁禁止AI解题，要以人类的慢节奏去解决数学问题。
数学到底是为了锻炼人类思维，还是为了解决实际问题？如果是解决问题，那么AI的快速是最好的，不需要等待百年之久才有人探明真相。
禁止快速解决问题的方法，靠人去绞尽脑汁，费尽时间，似乎不符合经济社会的效率要求。
数学的意义到底在哪?