火星财经消息，据 MTS 报道，有传言称多家前沿 AI 实验室已利用模型给出多项长期悬而未决重大数学问题的解法，但在此前围绕 Navier-Stokes 相关成果引发争议后，这些机构选择暂时不对外发布相关结果。