関連ニュース
Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成
AI開発企業のAnthropicは2026年9月4日、AI「Claude」がフェルマーの最終定理について最初から最後までコンピューターで検証できる証明を完成させたと発表しました。Claudeは1...
GIGAZINE
09/07 06:37
証明付きバイブコーディングで証明支援系を作った - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure y...
はてなテクノロジー
08/13 02:46
出典メディア
はてなテクノロジー (2)
GIGAZINE (1)
つながり
数字は「証明支援」と一緒に出てきた記事の本数。 グラフには強いものだけが出るので、ここが全部です。
AI・人工知能
2
Lean
2
証明支援系
2
TL;
1
1300万行
1
Leanコード
1
証明付き
1
米OpenAI
1
TL;DR
1
リーマン予想
1
Are
1
論文722
1
recovered.
1
Anthropic / Claude
1
証明付きバイブコーディング
1
Claude
1
形式証明
1
AI開発
1
Codex
1
deleted.、Are
1
1300万
1
deleted.
1
article?
1
機械検証済み
1
Anthropic
1
証明付
1
自律的
1
フロンティアモデル
1
OpenAI / GPT
1
論文722本
1
GitHub
1
Draft
1
バイブコーディング
1
11日間
1
、Qiita
1
722本
1
社内AI
1
関連難問
1
フェルマー
1
フロンティア
1