4分
OpenAI、社内モデルが書いた数学論文722本を公開
OpenAI が未公開の社内モデルによる数学論文 722 本を GitHub に公開。Lean の形式証明つきは 162 本で、残りは検証待ち。発見が AI から届く時代に、人の仕事は確かめる側へ寄っていく。
INDEX · KEYWORD
形式証明
「形式証明」に関連する公開記事をまとめています。
- KEYWORD
- 形式証明
- 範囲
- 公開記事
- 公開数
- 1本公開
INDEX · KEYWORD
「形式証明」に関連する公開記事をまとめています。
OpenAI が未公開の社内モデルによる数学論文 722 本を GitHub に公開。Lean の形式証明つきは 162 本で、残りは検証待ち。発見が AI から届く時代に、人の仕事は確かめる側へ寄っていく。