5news.日本のニュースを一箇所に

速報

› 緊急地震速報、初の警報取り消し M9.9と過大推定、気象庁が謝罪 › 送球ミス「取り返す」ソフトバンク正木が逆転弾 CSファイナル › Studio Ghibli creates illustrated Kyoto sightseeing map, available at any 7-Eleven Japan store › 「iPhone Duo」の出荷がもう「2027年1月」表記に受け取り枠が即埋まる › ニデック、永守氏ら9人に損害賠償請求へ取締役会で決定 › マチ★アソビ Vol.31前夜祭は3時間超でトークありクイズありの大祭りに › マイカー自粛、クラクション24時間禁止 APEC控える中国・深圳 › 尹前大統領に控訴審でも懲役30年求刑平壌への無人機投入指示 › Perplexityが安全な自律型AIエージェント構築支援のためサンドボックスプラットフォーム「SPACE」をオープンソース化 › 証拠の核心だった「吸い殻」地裁に否定され、検察の立証が瓦解 › 緊急地震速報、初の警報取り消し M9.9と過大推定、気象庁が謝罪 › 送球ミス「取り返す」ソフトバンク正木が逆転弾 CSファイナル › Studio Ghibli creates illustrated Kyoto sightseeing map, available at any 7-Eleven Japan store › 「iPhone Duo」の出荷がもう「2027年1月」表記に受け取り枠が即埋まる › ニデック、永守氏ら9人に損害賠償請求へ取締役会で決定 › マチ★アソビ Vol.31前夜祭は3時間超でトークありクイズありの大祭りに › マイカー自粛、クラクション24時間禁止 APEC控える中国・深圳 › 尹前大統領に控訴審でも懲役30年求刑平壌への無人機投入指示 › Perplexityが安全な自律型AIエージェント構築支援のためサンドボックスプラットフォーム「SPACE」をオープンソース化 › 証拠の核心だった「吸い殻」地裁に否定され、検察の立証が瓦解

テクノロジー

Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成

GIGAZINE · 2026年9月7日 15:37

AI開発企業のAnthropicは2026年9月4日、AI「Claude」がフェルマーの最終定理について最初から最後までコンピューターで検証できる証明を完成させたと発表しました。Claudeは11日間にわたってほぼ自律的に作業し、証明支援システム「Lean 4」で約1300万行のコードを生成。Anthropicはフェルマーの最終定理について初の完全な機械検証済み証明だと説明しています。続きを読む...

GIGAZINEで全文を読む ›

この要約はメディアの公開フィードから5Newsが集約したものです。文脈も含めた全文はgigazine.netにあります — コンテンツの権利はGIGAZINEに帰属します。

GIGAZINEのその他の記事

すべて見る ›

マチ★アソビ Vol.31前夜祭は3時間超でトークありクイズありの大祭りに

GIGAZINE · 41分前

Perplexityが安全な自律型AIエージェント構築支援のためサンドボックスプラットフォーム「SPACE」をオープンソース化

GIGAZINE · 1時間前

Googleが「魔法状態の培養」を量子プロセッサ「Willow」で実証、量子ビットのエラーを約40分の1に減らすことに成功

GIGAZINE · 2時間前

「マチ★アソビ vol.31」イベントスケジュール一覧まとめ

GIGAZINE · 3時間前

テクノロジーのその他の記事

すべて見る ›

「iPhone Duo」の出荷がもう「2027年1月」表記に受け取り枠が即埋まる

ITmedia Mobile · 31分前

マチ★アソビ Vol.31前夜祭は3時間超でトークありクイズありの大祭りに

GIGAZINE · 41分前

Perplexityが安全な自律型AIエージェント構築支援のためサンドボックスプラットフォーム「SPACE」をオープンソース化

GIGAZINE · 1時間前

Googleが「魔法状態の培養」を量子プロセッサ「Willow」で実証、量子ビットのエラーを約40分の1に減らすことに成功

GIGAZINE · 2時間前

コードを書かずに“自分専用IME” 日英を自動切り替えできる「Meltype」にAI変換を載せてみた

ITmedia · 2時間前

「マチ★アソビ vol.31」イベントスケジュール一覧まとめ

GIGAZINE · 3時間前