克雷数学研究所（CMI）发表了一份中立声明，确认了近期关于“纳维-斯托克斯问题”（Navier-Stokes Millennium Prize problem）已被解决的声明。该公告未提及 OpenAI 或特定研究人员，强调了对此类重大主张进行正式且“从容”评估的必要性，这是该研究所的标准流程。 Hacker News 上的讨论凸显了人工智能驱动的数学方法与传统科学界之间的巨大张力。争议要点包括： * **评审流程：** 根据 CMI 的规定，任何拟议的解决方案都必须在同行评审期刊上发表，并需经过两年的等待期，以供学术界审查和验证。 * **人工智能的角色：** 关于人工智能生成的“证明”（如在 Lean 等工具中生成的数百万行代码）究竟是代表了对数学理解的实质性进步，还是仅仅是“猎取奖项”，学术界存在深刻争议。批评者认为，绕过人类理解范畴的证明削弱了数学研究的初衷，而支持者则将其视为该领域的必要进化。 * **争议与归属：** 有关抄袭和争夺署名权的攻击性行为引发了不信任感。许多数学家担心，以企业为主导、依赖海量算力的方法，可能会将数学探索这种极具个人色彩和创造性的活动“商品化”并取而代之。