OpenAI、
要
AI要約
3行で- OpenAI が内部モデルによる数学の成果 372 件を公開しました。
- 証明は GitHub で公開され、Lean による形式検証も含みます。
- 数学界では歓迎と反発が分かれています。
AI要約です。詳しくは出典へ。誤りを報告
Karunews が選んだ理由AI が生成した数学の成果を GitHub で公開する動きと、数学界が示す懸念の両方が整理されており、研究の進め方の変化を考える材料になります。
典
出典
6ソース
The DecoderOpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep upthe-decoder.comこの話題を見る