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

  • 情报分类：技术学习与提效
  • 分类依据：内容涉及技术、AI、软件工具或工程实践
  • 信息来源：NodeSeek 最新主题
  • 发布时间：2026/10/19 11:50:31