Claudeがフェルマーの最終定理を11日で形式化、初の完全な機械検証済み証明GIGAZINE（ギガジン）

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

by ライブドアニュース編集部

ざっくり言うと

この記事の見出しと要約はライブドア社が開発したAIにより自動生成されたものです。実験的な機能のため、記事本文と併せてご確認ください。
  • AnthropicのAI「Claude」がフェルマーの最終定理の形式化証明を完成させた
  • Claudeは11日間で約1300万行のLeanコードを生成し機械検証を達成したとのこと
  • 数十のClaudeエージェントが分担し、初の完全な機械検証済み証明となった
記事を読む

ランキング

  • 総合
  • 国内
  • 政治
  • 海外
  • 経済
  • IT
  • スポーツ
  • 芸能
  • 女子
  1. 1. 新千歳検疫 ヤギ生肉から口蹄疫
  2. 2. 出川哲朗「引き際」を問われ即答
  3. 3. 結婚するつもりはない 2割超え
  4. 4. 中国 日本人ビザを約7倍に値上げ
  5. 5. 生活保護却下 ガーナ人が敗訴
  6. 6. 「551」関東に常設店出さぬワケ
  7. 7. 酒酔っていただけではない問題点
  8. 8. 森本レオさん 83歳で突然の死去
  9. 9. さんま、義太夫さん訃報に失意
  10. 10. 西武戦 選手とコーチが一触即発
  1. 11. 78人食中毒「本音」に怒り噴出
  2. 12. 「スキルス胃がん」4つの症状
  3. 13. 高校生死亡 3人は別に監禁事件か
  4. 14. ウィゴー ヒロアカコラボ見送り
  5. 15. Snow Man運営の抽選方法に疑問も
  6. 16. 中村江里子「再々結婚式」に反響
  7. 17. 朝礼で「ファック」氷山の一角か
  8. 18. 昭和の大物「干されたら借金」
  9. 19. 1万5000人→237人 都市が廃墟に
  10. 20. V6解散翌朝にLINE抜けたメンバー
  1. 1. 新千歳検疫 ヤギ生肉から口蹄疫
  2. 2. 結婚するつもりはない 2割超え
  3. 3. 中国 日本人ビザを約7倍に値上げ
  4. 4. 生活保護却下 ガーナ人が敗訴
  5. 5. 酒酔っていただけではない問題点
  6. 6. 朝礼で「ファック」氷山の一角か
  7. 7. 日本で17年間生活 他国で驚愕
  8. 8. サウジ「東西パイプライン」停止
  9. 9. NHK 受信料巡り滋賀のホテル提訴
  10. 10. 地震炊き出し 根拠なき情報拡散
  1. 11. 外国籍13人 免許更新拒否で提訴
  2. 12. 世界の数学者25人 AI巡り非難
  3. 13. AEON熊本、全テナント契約解除へ
  4. 14. 「台風のたまご」2つ発生へ?
  5. 15. 疲労の大本は「体のサビ」だった
  6. 16. 初任給「0円」100万円支払い命令
  7. 17. 京都の陸上大会 23人が体調不良
  8. 18. 「ちょっと無理」中古品に抵抗も
  9. 19. ケーキ店 死亡男性は前日も訪問
  10. 20. フェス騒音 15キロ離れた場所も
  1. 1. 父の暴力で半身麻痺「母が憎い」
  2. 2. 寝るだけで賞金222万円の大会
  3. 3. 横浜市長選挙、福山敦士氏が立候補の意向固める　前回市長選にも出馬
  4. 4. 「ふっこう応援割」に専門家懸念
  5. 5. 内閣改造で浮上「自民裏金議員」起用案 永田町でささやかれる入閣候補4人の名前
  6. 6. 札幌市長選候補に自民市議を擁立　選考委投票で決定
  7. 7. 那須夫婦殺害 犯行計画の杜撰さ
  8. 8. 怖い…尼崎の公園に「謎の顔」
  9. 9. "クール・ジャパン"海外事業開始
  10. 10. 宮崎謙介氏の妻が送っている生活
  1. 11. 不祥事起こす企業は宗教がない?
  2. 12. 香山氏 中国語学ぶ理由が炎上か
  3. 13. 「優秀なインド人が日本から流出している」江戸川区議に初当選したよぎさんが語る在日インド人のリアル - 石川奈津美
  4. 14. 45歳でマンション購入 女の末路
  5. 15. 新庄氏の「9.11」私見に疑問の声
  6. 16. 深夜待機も 泣く園児0だったワケ
  7. 17. 乳房はエロい いつから意識変化?
  8. 18. 日本人夫婦の7割が「レス」調査
  9. 19. 佳子さま美しすぎる 平服に歓喜
  10. 20. 2連続流産 苦しい胸の内を明かす
  1. 1. 靖国落書き被告 中国で実刑8年
  2. 2. 中国製EV 深刻すぎる問題浮上
  3. 3. 靖国は「ドイツなら違法」物議
  4. 4. 歌舞伎町や鎌倉 路上排泄問題に
  5. 5. Apple初の折りたたみ型iPhoneの名前は「iPhone Duo」、iPhone史上最大の7.6インチディスプレイがポケットに収まる新モデルの価格は36万4800円から
  6. 6. ホルムズ海峡代替ルートに打撃
  7. 7. 土石流の街 人形で家族を見送る
  8. 8. トランプ氏「投票しないと地獄」
  9. 9. ノルウェーのアストリ王女が死去
  10. 10. シカが家に迷い込みプールへ落下
  1. 11. 中印首脳、国境問題解決に取り組むと表明
  2. 12. 中ロ国境紛争は「半分こ」原則で解決　唐家セン・元外相が回顧録で明かす
  3. 13. 習近平主席、インド・ニューデリーに到着　盛大な歓迎
  4. 14. 韓国は漢字を廃止したはずなのに人名や地名はなぜ漢字併記なの？＝中国
  5. 15. 日本語版では 北方領土の色変更
  6. 16. SpotifyのエンジニアがClaude Codeのトークン消費を約90％削減した方法とは?
  7. 17. 国連安保理、テロ目的の新技術悪用増加に深い懸念“対抗するため加盟国が協力を”　米同時多発テロから25年
  8. 18. 「プーチン氏と会談必要」渡米へ　ゼレンスキー氏、12月にG20
  9. 19. ロシア大統領、欧米の制裁批判　「多国間主義強化」訴え
  10. 20. 解体が決まった世界最大を誇るロシアの潜水艦「タイフーン級原子力潜水艦」の公開写真
  1. 1. 1万5000人→237人 都市が廃墟に
  2. 2. 羆に頭蓋骨砕かれた猟師の本音
  3. 3. 36歳地方移住「謎の罰金」で後悔
  4. 4. 偏差値40台 資産3億の母フリーズ
  5. 5. キオクシア 本当にオワコンか
  6. 6. 「iPhone Duo」で何が変わるのか
  7. 7. 死後に「子に住まい継承」少数派
  8. 8. NISA配当 銀行受取で2割引かれる
  9. 9. 定年後の健保 任意継続が安い訳
  10. 10. ニデック 社内から後任社長選出?
  1. 11. 「ラスカー賞」に日本人4人選出
  2. 12. 知らないと損をするdカード改悪の全貌 放置で年会費が発生する落とし穴
  3. 13. 住宅ローン 固定期間後の選択肢
  4. 14. 空港への到着 出発直前はなぜNG?
  5. 15. 店消えても地下街閉鎖できぬワケ
  6. 16. 秋の新作『デミたまチーズ』を期間限定発売、「たまご“20%”増量キャンペーン」も開催【築地銀だこ】
  7. 17. Suica後継キャラ 3案が出そろう
  8. 18. 共働き「世帯年収910万円」のわが家…今年から「年48万円」の“私立高校の授業料”は、所得制限がなくなりタダのはずが、学校から「請求28万円」が！ 無償化されたのになぜでしょうか？
  9. 19. Tamar AIが第83回ベネチア国際映画祭で、創造性を解き放つ新たなAIストリーミングプラットフォーム「Glanze」を発表
  10. 20. 妊活から卒乳までの時間を、一日の光に。ノンカフェインティー「mamani TEA」4種を発売
  1. 1. 「今夜は君と無限発射編」に驚愕
  2. 2. 「iPhone Duo」完成度がスゴい
  3. 3. SBのiPhone 18 Pro 実質2.4万円
  4. 4. マリファナや野菜を自宅で簡単に育てられる全自動栽培ボックス「Leaf」
  5. 5. ドイツの超過激スプラッターがやってくる！　オラフ・イッテンバッハ監督特集上映「ゴアゾーン」新文芸坐で開催［ホラー通信］
  6. 6. 米Motorola社『DROID X』レビュー
  7. 7. Google Pixel 8 ProとPixel 8を実際に買って届いたので製品版実機開封の儀＆外観フォトレビュー、Pixel 7とどう違うのか徹底比較してみた
  8. 8. 戸惑うスマホ、第1位の不満とは?
  9. 9. 11インチiPadのシルバーとブルーが売れてる　タブレット人気ランキングTOP10　2026/9/12
  10. 10. 「あなたの人生は“アタリ”ですか？」　オリジナルホラー『ガチャ-廻世界-』2027年２月公開［ホラー通信］
  1. 11. 身近なところから協力しよう！デザイナーによる節電ポスター
  2. 12. レノボ、1600万画素カメラスマホ VIVE Shot 発表。シャッター専用ボタンつき
  3. 13. 「写真プリントは携帯ショップへ」が常識に？ ソフトバンクが世界初のセルフ式印画紙プリント機「ファーストラボ」を展開
  4. 14. 史上最大の闇サイト「Silk Road」事件の鍵を握る「第三の悪徳捜査官」現る
  5. 15. Part 1. 終わりの始まり──連載「The Rise and Fall of Silk Road」
  6. 16. PayPay、スキャン方式の画面デザイン更新　支払い方法を判別しやすく
  7. 17. オフィスアプリの中に、いつの間にかAIエージェントが住みついていた【AI活用術】
  8. 18. ドコモが「iPhone 18 Pro/Pro Max」の価格発表、実質9万9990円～
  9. 19. 認証されていないウインドウズで動いているロシアのATM
  10. 20. 合法的に手に入れることの出来る最も高価なペットトップ13
  1. 1. 西武戦 選手とコーチが一触即発
  2. 2. バレー男子日本 ロス五輪に王手
  3. 3. 日本ハム伊藤 コーチ動作に異議
  4. 4. 松井秀喜さん 19歳の反抗を告白
  5. 5. メッツ・ソト 怠慢走塁に批判
  6. 6. 松井氏 張本さんの助言に反発か
  7. 7. 大谷 右上腕炎症 PO出場に暗雲
  8. 8. 彩艶の獲得見送り 強豪が後悔か
  9. 9. G大阪サポ居残り 幹部が対話
  10. 10. 遠藤航 W杯無念「出たかった」
  1. 11. クリスタル・パレスvsイプスウィッチ スタメン発表
  2. 12. G大阪 6戦未勝利で幹部が謝罪
  3. 13. 海外競馬に珍客 あわや大惨事
  4. 14. イラン決勝へ 監督が日程に怒り
  5. 15. フワちゃん、乱入で６人タッグ王座挑戦をアピール　外敵ＡＥＷの王者トリオに英語で宣戦布告「スターダムにベルト返せ」首絞められる大乱闘に発展
  6. 16. 「50年住宅ローン」はやっぱりヤバいのか？ ついに金融庁が実態調査・監視強化に乗り出す不穏
  7. 17. 男子バレー日本戦で「奇声」話題
  8. 18. ブラックバーン 伊藤を逃し批判
  9. 19. 舟山騎手 運転死亡事故で捜査中
  10. 20. アストン・ヴィラ指揮官、今夏加入のガルナチョの躍進に期待「今は時間が必要」
  1. 1. 出川哲朗「引き際」を問われ即答
  2. 2. 森本レオさん 83歳で突然の死去
  3. 3. さんま、義太夫さん訃報に失意
  4. 4. 78人食中毒「本音」に怒り噴出
  5. 5. ウィゴー ヒロアカコラボ見送り
  6. 6. Snow Man運営の抽選方法に疑問も
  7. 7. 中村江里子「再々結婚式」に反響
  8. 8. 昭和の大物「干されたら借金」
  9. 9. V6解散翌朝にLINE抜けたメンバー
  10. 10. 中条あやみ 麻薬検査中スカウト
  1. 11. 梅沢富美男「激怒」で降板の過去
  2. 12. 東出昌大 ライフライン断ち実践
  3. 13. 身長176cmの女性 第二の人生注目
  4. 14. コナン3週連続 平次が告白なるか
  5. 15. 福山雅治「攻め衣装」にX騒然
  6. 16. タイタニック唯一の日本人生存者
  7. 17. コナン2時間SP オールスター集結
  8. 18. 川口春奈の結婚「元カレ」が本音
  9. 19. 橋下氏 ちいかわ巡り慌てて撤回
  10. 20. 城田優 高校時代に片思いの女優
  1. 1. 50代女性 残念な食事マナー
  2. 2. 「言ってない」言い張る人の心理
  3. 3. 妊娠30週で子宮全摘 凄絶な事例
  4. 4. 年収2500万円の女医、質素な生活
  5. 5. 離婚から20年 26歳青年とホテル
  6. 6. 知っておきたい片付けの落とし穴
  7. 7. 夫が借地を乗っ取り やばすぎた
  8. 8. 元なでしこ 山崎円美が1児の父に
  9. 9. ユニクロ新作穿いた50代女性驚き
  10. 10. おうち時間が楽しくなるおすすめの動画コンテンツは？ ドキュメンタリーやお笑いも！
  1. 11. 父から性虐待 15歳で妊娠し中絶
  2. 12. 「赤ちゃんが別の場所で育ってる可能性があります」医師から想定外の発言…！ 心拍が確認できなかったのにどういうこと!?
  3. 13. 近所に住む年老いた両親。献身的に支える長女がこぼした本音「煩わしい」／わたしの親が老害なんて（2）
  4. 14. 血液型【ケンカしやすい相手】あるある　A型は自己中な人、AB型は甘えん坊な人！
  5. 15. 恋愛に縁がない手相ベスト3
  6. 16. みんなどんな恋バナしてる？男女でありがちな内容8選と注意したいポイント
  7. 17. 【ラヴィジュール】MINAMOさんが魅せる♡新作ランジェリーが登場♪
  8. 18. 「次会う時まで持ってて」と言える。男性が本命にだけ“大切な物”を預けたくなる心理
  9. 19. 【最後にスカッと！】後輩のミスを笑う意地悪な先輩。ある日先輩が落としたメモを拾うと、そこには【恐ろしい事実】が...！？
  10. 20. キル フェ ボンのハロウィン限定タルト登場！かぼちゃ尽くしの秋スイーツに注目