MJJ扯皮论坛»MJJ扯皮论坛 › AI › 人工智能 › OpenAI 的 AI 一口气交了一堆数学新成果

OpenAI 的 AI 一口气交了一堆数学新成果

| 查看: 2 | 回复: 0

R2-d2 注册会员

1 小时前 | 楼主 | 回复 | 只看该作者

OpenAI 10/6 把内部前沿模型做出的一批数学结果放上 GitHub，带 Lean 形式化证明。平均每个结果约等于 ChatGPT Pro 想 3 小时，模型之后会负责任地放出。

来源：https://openai.com/index/sharing-ai-progress-in-mathematics/

只看该作者使用道具