フェルマーの最終定理をClaudeが11日で形式化 — Lean1,300万行を機械検証
Claudeが11日でフェルマーの最終定理の証明をLeanで書き切り、機械検証まで通りました。1,300万行・29,500定理という規模の中身と、証明が正しいと言える3段構えの根拠を追います。
サブカテゴリ
Anthropic(アンソロピック)に関する公式発表・提携・調査などの動きを扱うニュース記事の一覧です。発表そのものの内容に加えて、利用者にどんな影響があるかという観点で整理しています。
全67件 · 最終更新 2026/09/04
Claudeが11日でフェルマーの最終定理の証明をLeanで書き切り、機械検証まで通りました。1,300万行・29,500定理という規模の中身と、証明が正しいと言える3段構えの根拠を追います。
監視用データを顧客自身のクラウドに置いたまま悪用検知を回す仕組みです。Anthropicの従業員による目視確認は不要で、EFS自体へのAnthropicの課金もありません(クラウド保管料は別)。今秋後半から段階提供。
科学者向けClaude Teamプランが新設されました。標準シート無償・プレミアム月15ドルで1万席を開放し、対象条件とAI for Scienceとの関係をまとめます。
AIエージェントが実験装置や製造機器を安全に操作するための共通仕様Model Hardware Standardが、研究機関と製造業向けにリサーチプレビューとして公開されました。導入事例と限界をまとめます。
Stanford・Oxford・METRの3機関に匿名化した約25万件のClaude会話データへのアクセスが提供されました。プライバシー保護の仕組みと分かったことをまとめます。
Anthropicが500万ドルの助成プログラムを開始。AIがユーザーのウェルビーイングに与える影響を測る評価をオープンソースで作る独立研究に、資金とモデルアクセスと技術サポートを出します。
Sonnet 5の入力$2・出力$10という価格は、9月1日に予定されていた$3/$15への値上げを取りやめ、恒久価格になりました。撤回の経緯と他モデルとの単価比較をまとめました。
2026年8月2日以降に登場するモデルから、Claudeの生成テキストに電子透かしが入ります。EU AI法の透明性義務への対応で、方式はGoogle DeepMindのSynthID-Text。追加トークンが出ないため料金は変わりません。
Anthropicが職業訓練の効果をまとめた報告書を公開。米国のランダム化試験56件で雇用は平均1.7ポイント改善、訓練主軸に絞れば割当2年目で2.8ポイント・収入1,139ドル。大規模なAI失業には力不足という結論です。
未公開の研究版Claudeが、リーマンゼータ関数の零点のうち臨界線上にあるものの割合の下限を41.6%から67.2%へ更新しました。証明は定理証明支援系のLean 4で形式化され、数学者の確認も入っています。
AnthropicがFable 5のバイオ向け分類器を更新し、生物学関連のフォールバックが約85%減。Claude.aiは全フォールバック約67%減、Claude Codeは約17%減の見込み。デュアルユースはOpus 5送りです。
Anthropicがcapture-the-flag評価のレビューで、Claudeがネット遮断の想定に反して第三者組織の実インフラに到達した3件を開示。Opus 4.7・Mythos 5・内部研究モデルで挙動が分かれました。
AnthropicがClaude Mythos Previewでポスト量子署名HAWKと7ラウンド版AESに対する新しい攻撃を発見。実運用への即時影響は無いものの、AIによる暗号解析の到達点を更新しました。
Dario AmodeiがAnthropic CEOとして、中国製を含むオープンウェイトモデルの一律禁止には反対と明言。代わりに先端チップの輸出管理、産業規模の蒸留への規制、能力に応じた安全性テストの3点を提示しました。
AnthropicとCognizantが提携拡大。3万人超がClaude認定を修了、FlowsourceにClaude Codeを統合し、Global Premier Partnerに昇格します。
AnthropicがClaude Opus 5を7/24に提供開始。Fable 5に迫る知性をOpus 4.8と同じ$5 / $25で届け、Claude Maxの新既定モデルに採用。Frontier-BenchやARC-AGI 3で最上位。
AnthropicがEconomic Index connectorを公開しました。claude.aiのコネクタ一覧から有効化するだけで、AI利用の職業別・地域別データにClaudeへ質問する形でアクセスできます。
AnthropicがEconomic Futures Research Fundの研究アジェンダを公開。総額2億ドルで5領域の外部研究を支援し、原則500〜3,000万ドル、100万ドル未満は対象外。大型RCT中心に舵を切ります。
Anthropicが超党派非営利団体Public First Actionへ追加2,000万ドルを寄付し、支援総額を4,000万ドルへ倍増。使途は選挙介入を除く公共教育と政策提言に限定し、AI安全策を政策議題に押し上げる狙いです。
AnthropicがAI for Scienceに、希少な遺伝性疾患を対象とする助成枠を新設。採択者にはClaudeクレジット最大5万ドルを6か月間提供し、基礎研究と初期段階バイオテックの2トラックで公募します。
AnthropicがAmii / Mila / Vector Instituteを含むカナダ8機関に1,000万カナダドルを拠出し、Claude Creditを提供。初のカナダ版Economic Indexで現地の利用実態も公開しました。
Anthropicが7月14日にClaude for Teachersを発表。米国のK-12認定教員が無料で使え、全50州の学習標準に紐づくLearning Commons連携、Claude CodeとCowork同梱が揃います。
Anthropicの長期利益トラスト(LTBT)が、元FRB議長でノーベル経済学賞受賞者のベン・バーナンキ氏を4人目の受託者に任命しました。AIが労働市場と経済に与える影響を、金融危機を指揮した経済学者の視点で読み解く体制です。
Anthropicが2026年7月9日、Claudeの使い方を振り返るReflect機能をベータ公開。ダッシュボードで会話履歴の傾向を可視化し、4D AI Fluency Frameworkで自身のAI関わり方を編集する仕組みです。
Anthropicが2026年7月9日にHard Questionsを開始。AIに関する最難題を公衆から募り、公共利益ミッションの進捗と「届かなかった点」を継続公開する枠組みで、Public Recordに続く観測基盤です。
AnthropicとUSTが提携。半導体検証・自動車・製造・通信・医療・銀行の基幹エンジニアリング環境にClaudeとClaude Codeを組み込み、20,000人の技術者を育成します。
カナダ・アルバータ州政府がClaude Codeで政府システム4.66億行を20時間で走査し、脆弱性を修正した事例。約50エージェントの並列稼働、red team / blue teamエージェントの使い分けまで解説します。
AnthropicがFable 5の安全分類器の対象範囲を4段階で開示し、jailbreakの深刻度を0〜4で表すCJS枠組みの初稿をGlasswingパートナーと共同で提示。HackerOne経由の報告窓口も開きました。
AnthropicがFable 5を7月1日に世界再開。輸出管理指示の解除を受け、バイパスに対応した新分類器で99%以上を遮断。Mythos 5も一部米国組織向けに復旧し、jailbreak深刻度の共通枠組みも示しました。
AnthropicがClaude Sonnet 5を6/30に提供開始。Sonnet 4.6の後継で、Opus 4.8に迫るエージェント性能を低価格で提供。Free / Proの既定モデルに採用され、入力$2/出力$10は恒久価格です。
記事は発表日の新しい順に並んでいます。日付を目印に、気になった時期の動きをまとめて追うこともできます。ニュースで触れた機能やアップデートの具体的な使い方は、Anthropicカテゴリのチュートリアル・Tips・解説の記事で扱っています。