已收录文章摘要，完整内容可前往原文阅读。
转自 量子位数学2.0时代已至。近日，数学界的领军人物、菲尔兹奖得主陶哲轩正式发文：AI正在让数学证明变得泛滥，建立在证明稀缺之上的数学1.0时代即将落幕。自打OpenAI宣布解决纳维–斯托克斯千禧年