OpenAI 说它的 AI 解开了百万美元的纳维-斯托克斯难题,又一口气放出 722 篇数学论文,菲尔兹奖得主却联名发声明、还有人喊抵制。用大白话捋清:AI 到底证明了什么、哪里翻了车、数学家在吵什么;最后我给 Opus 5.5 出了三道题,看它会不会硬编证明。