OpenAI 拟公开 400 个 AI 生成的数学证明，学者热议消化难题

RexDouglass · x · 2026-10-06

有数学圈人士透露，OpenAI 即将在公开服务器上发布约 400 个 AI 生成的数学证明。其中被强制推导的 Navier–Stokes 例子尚无人完全弄懂，多位专家仍在研究中。

转发者借数学家 Francesc 的观点指出：这和天文学家面对海量星系、昆虫学家面对无数物种一样，学界本就长期被「读不完的材料」淹没，数学事实也将进入同样状态。但数学不是靠堆正确命题生长的——证明必须被理解、提出新问题、启发新思想，在数学家消化这些成果前，其对数学学科的实际影响仍然有限。