围绕OpenAI是否解决纳维－斯托克斯问题，数学界质疑成果独立性及人类工作的归属。
推荐理由：争议焦点并非AI能否输出证明，而是成果是否独立、可核验且正确归因；这将迫使实验室建立更严格的数学审查与贡献披露机制。
阅读原文