AI平均3小时完成一个数学证明，科研进入大通胀时代？