在 OpenAI 的模型提出纳维 - 斯托克斯方程问题的一个可能解之后，数学家们正在推测下一个有望解决的重大未解之谜是什么。