OpenAI：官网动态·· 27 天前同新闻AI 评分71
OpenAI 发布内部前沿模型产出的数学研究成果
Sharing AI progress in mathematics
AI 导读
OpenAI 发布一批由内部前沿模型产出的新数学成果，成果以 GitHub 仓库形式公开，并附论文修订与引用协议，其中许多证明已用 Lean 形式化以便计算机验证。
同一新闻，精选展示《OpenAI 一次性发布 700 多份数学手稿，数学家们反应震惊与反感》
来源：OpenAI：官网动态 · openai.com