OpenAI本周宣布,用上万个人工智能体(AI Agent)工作88小时,为困扰数学界百年的纳维—斯托克斯方程的存在性与光滑性问题,找到解法并通过验证。关于问题本身及重要性,已有很多科普,这里不再赘述。

官宣前,学界就已流传研究取得进展的消息。OpenAI公布方案后,还与另一组研究同一问题的数学家发生争议:后者也使用包括ChatGPT在内的主流模型,而OpenAI的路线与它高度重合;OpenAI也没否认,去标识化的用户数据可能用于模型改进。

撇开路线和成果归属的争议,更值得关注的,是它背后的象征意义。