関連ニュース
OpenAI、ミレニアム懸賞問題「ナビエ・ストークス方程式」の難問を解決したと発表
OpenAIは米国時間9月8日、数学の7大難問「ミレニアム懸賞問題」の1つ、ナビエ・ストークス方程式の存在と滑らかさの問題を、社内のAIシステムで解決したと発表した。流体の運動を記述するこの方程...
CNET Japan
09/09 06:37
Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成
AI開発企業のAnthropicは2026年9月4日、AI「Claude」がフェルマーの最終定理について最初から最後までコンピューターで検証できる証明を完成させたと発表しました。Claudeは1...
GIGAZINE
09/07 06:37
出典メディア
はてなテクノロジー (1)
CNET Japan (1)
GIGAZINE (1)
つながり
数字は「形式化」と一緒に出てきた記事の本数。 グラフには強いものだけが出るので、ここが全部です。
AI・人工知能
3
Lean
2
ミレニアム
1
Rust
1
1300万行
1
Leanコード
1
Anthropic / Claude
1
Claude
1
定理証明支援
1
AI開発
1
PBT
1
1300万
1
ミッション
1
ミッションクリティカル
1
機械検証済み
1
Anthropic
1
自律的
1
OpenAI / GPT
1
定理証明支援系
1
11日間
1
ナビエ・ストークス方程式
1
ミュータントテスト
1
フェルマー
1
追記
1
証明支援システム
1
機械検証済み証明
1
OpenAI
1
米国
1
最終定理
1
ナビエ・ストークス
1
AIシステム
1
コンピューター
1
ミレニアム懸賞
1
AI開発企業
1
証明支援
1