OpenAIの数学上の主張が浮き彫りにするAIの検証ボトルネック
OpenAIのモデルが重要な数学問題を解いたという報告は、より深い問題を示しています。証明の生成は安くなりつつある一方で、検証、帰属、公開は依然として人間の速度で進んでいます。
最新
すべての投稿
OpenAIのAstra for Lawは新モデルではなく、法律AIシステム
OpenAIの法律分野での発表の本質は、新しい基盤モデルそのものではなく、その周辺にあるシステムです。ドメイン検索、信頼できるツール、権限、ベンチマーク、レビュー経路が重要になります。
OpenAIのナビエ–ストークス証明主張を解説
OpenAIは、AIエージェントがナビエ–ストークス方程式の特異性を発見し、その証明をLeanで形式化したと述べています。より難しい論点はその先にあります。査読、クレジット、そして数学における非公開エージェント群の力です。