AI求解NS问题：option C以反例证明猜想为假（作者引以讨论，团队未具名，作者期待技术报告）

先了解这件事

Hugging Face 联创 Thomas Wolf 回应 OpenAI 用下一代模型（强于 GPT-6 Astra）的 agent 群组证明 Navier-Stokes 千禧年问题猜想为假的结果，称其令人印象深刻。