研究OpenAI
OpenAIは、ミレニアム懸賞問題の一つであるナビエ–ストークス懸賞問題に対し、AIが生成した解決策を公開しました。公開内容には詳細な解説文書に加え、定理証明支援言語「Lean」を用いた形式的な証明が含まれています。
この日にAI朝刊へ追加されたニュースを、重要度の高い順に。発表日が前日以前・不明の記事も含みます。
2件のニュース
OpenAIは、ミレニアム懸賞問題の一つであるナビエ–ストークス懸賞問題に対し、AIが生成した解決策を公開しました。公開内容には詳細な解説文書に加え、定理証明支援言語「Lean」を用いた形式的な証明が含まれています。
OpenAIは、法律分野向けの高度な知能、法律事務所向けのカスタムワークフロー、関連する法律データソースとの連携機能、および機密性の高いクライアント業務に対応する法制度水準の制御機能を備えた「Astra for Law」を発表しました。