三位数学家讨论AI已解决Navier-Stokes存在性、类黎曼假设等重大数学难题的突破。