行业中美对照多源确认88°11:33OpenAI 宣布证明挂谷猜想等三项成果，发布方式引科研界不满OpenAI 说它用 AI 证明了挂谷猜想还证伪了指数时间假说，但物理成果只给少数专家看，数学家们不买账，争议点在开放性上。#OpenAI#挂谷猜想#杨-米尔斯理论#Lean 形式化证明10 个信源在谈事件专题IIT之家11 个信源在谈原文稍后读已读值得跟进有用关注 OpenAI