第四次数学危机来了

前三次危机都源于数学内部逻辑矛盾，而这一次却来自人工智能。它为何被称为数学史上的第四次危机？