OpenAI、
要
AI要約
3行で- OpenAI が社内モデルの数学成果 722 本を公開しました。
- 多くには Lean の形式証明が付いています。
- 数学者組織は成果の過程を支持しないと強調しました。
AI要約です。詳しくは出典へ。誤りを報告
Karunews が選んだ理由AI が生み出した数学成果の公開方法と、数学者組織の提言を巡る対立が具体的に示されており、今後の検証の枠組みを考える材料になります。
典
出典
4ソースこの話題を見る