OpenAI 公布内部前沿模型解数学开放问题的进展
Sharing AI progress in mathematics
精选理由
OpenAI 把内部前沿模型做数学开放问题的结果放出来了，连 Lean 形式化证明和细节都传到 GitHub，做形式化数学的可以翻翻。
OpenAI 发布了一篇关于 AI 数学能力进展的分享。其内部一个前沿模型被用于处理数学开放问题，相关结果已公开。团队还在 GitHub 上分享了 Lean 证明形式化内容和研究细节，供研究者查看。
原文 · OpenAI Blog
Sharing AI progress in mathematics
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
