在领先AI实验室争夺数学霸主地位之际，OpenAI花费数百万美元攻克了纳维-斯托克斯问题。竞争对手已开始挑战AI迄今最大的数学突破。