AI证明价值引发数学家争议

2026年10月22日，X用户Rohan Paul发布消息称，在OpenAI就纳维-斯托克斯问题作出声明后，一位哈佛数学家对“正确的AI证明”价值展开讨论。现有报道内容仅提及这一争议的起点，未提供OpenAI声明的具体内容、该数学家的姓名或观点，也未说明纳维-斯托克斯问题是否已获解决，因此目前只能确认AI证明的价值之争已被提出。

AI 根据报道生成 · 55 分钟前更新