2025 年人类刚把三维挂谷猜想往前推了一大步，2026 年 10 月 OpenAI 说内部模型把局部平滑猜想推到了所有维度，还做了 Lean 形式化。
媒体标题写成王的猜想被 AI 一夜通关，听着爽。可仓库自己写得很清楚：这些材料更像原始研究数据，部分结果可能有问题，仍待同行审查。它 10 月初刚撤回过几篇手稿。
我的理解是，科研瓶颈正在从找答案，挪到验证答案。你要是还把 AI 只当聊天玩具，可能低估了它改写分工的速度；你要是把每条通关新闻当定论，又可能高估了发布即真理。
$TAO $FET
媒体标题写成王的猜想被 AI 一夜通关，听着爽。可仓库自己写得很清楚：这些材料更像原始研究数据，部分结果可能有问题，仍待同行审查。它 10 月初刚撤回过几篇手稿。
我的理解是，科研瓶颈正在从找答案，挪到验证答案。你要是还把 AI 只当聊天玩具，可能低估了它改写分工的速度；你要是把每条通关新闻当定论，又可能高估了发布即真理。
$TAO $FET
