Thomas Wolf· @Thom_Wolf · X·· 29 天前精选AI 评分78
AI 导读
Hugging Face 联创 Thomas Wolf 回应 OpenAI 用下一代模型（强于 GPT-6 Astra）的 agent 群组证明 Navier-Stokes 千禧年问题猜想为假的结果，称其令人印象深刻。
推荐理由
作者回应 OpenAI 的 Navier-Stokes 结果，提出当前 AI 数学突破偏重反例搜索，缺乏优雅性与数学品味，为判断该领域进展提供了另一角度。
整理与数据来源：AIHOT
来源：Thomas Wolf · x.com