[NS : roy] OpenAI晒未发布内部模型:几百篇数学公开难题证明全带Lean验证

OpenAI又整新活，拿一个没发布的内部模型去啃数学界的公开难题解出来的证明放了几百篇，每篇都配Lean机器验证，不是模型自说自话模型本体不发，就当能力预告我是觉得这种晒法比发布会上贴跑分有说服力