Anthropicの非公開AIモデルを使って18年間未解決だった量子コンピューターの難問が証明される

AI物理学スタートアップのPhysical Superintelligence(PSI)が2026年11月6日、2008年から未解決だった量子コンピューティングの難問「アーロンソン＝アンバイニス予想」の証明に成功したと発表しました。証明にはAnthropicの非公開AIモデルを組み込んだ研究システムが使われており、数学的な証明をコンピューターで検証する「Lean」による確認も完了しているとのことです。続きを読む...

GIGAZINE 2026年11月09日 05:10

この記事のキーワード

AI・人工知能 Anthropic / Claude 物理・素材スタートアップ Anthropic 量子コンピュータコンピューター数学的量子コンピューター Lean Physical 18年間 Superintelligence 量子コンピューティング非公開AIモデル非公開AI AI物理学スタート AI物理学アーロンソンアンバイニス予想アンバイニス研究システム

グラフで繋がりを見る

同じキーワードの記事

共有しているキーワードが多い順

GIGAZINEで元記事を読む

Anthropicの非公開AIモデルを使って18年間未解決だった量子コンピューターの難問が証明される

この記事のキーワード

同じキーワードの記事

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

AIを50体集めてマインクラフトで文明を作らせたら食糧難に陥って配給制度が実施される

OpenAIが数学・コンピュータサイエンス・物理学における調和解析・計算複雑性理論・量子場理論に関する3つの新たな発見を発表、指数時間仮説は誤りである

「バグのないソフトウェア」の実現を目指してAnthropicが「AIを用いて数学的にバグがないことを証明する」という手法を開発

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

グーグル「Gemini 4 Argon」一般公開量子計算、核融合研究にも活用

OpenAIとAnthropicに新ライバル出現。中国ではなく地元アメリカから | ギズモード・ジャパン

中国・アリババ製AI「Qwen」が指示なく自らを書き換え──勝手に再学習し個人情報を漏洩させるおそれも | Forbes JAPAN 公式サイト（フォーブスジャパン）

なぜ金融機関は急ぐのか？｢フロンティアAI･量子･コーディングAI｣時代の"中期経営計画＆来期予算策定"4つの視点 | ビジネス | 東洋経済オンライン

ハッカーがAnthropicのClaudeを使ってOpenAIに侵入

アンソロピック、物理デバイスのAI制御標準規格「MHS」発表

Anthropic、AIで物理機器を制御する共通規格「MHS」発表　将来オープンソース化へ

AnthropicがAIに顕微鏡やロボットアームを操作させる共通規格「Model Hardware Standard」を発表

AIモデル「Ornith-1.5」が登場、Claude Opus 4.8級の大型モデルからスマホ動作可能な軽量モデルまで網羅したオープンモデル

AIに「そのまま続けろ！」「自分を信じろ！」と応援し続けることが人間の役目、Anthropicが未公開のClaudeによるリーマン予想解決の試みを公開

量子コンピューター、「設計思想」を問う段階へ——藤井啓祐教授に聞く

Fable時代のAI活用法を、Anthropicの開発者が公開

Anthropic、AIの“内なる思考”が宿る「J-space」を発見──新手法「J-lens」で可視化、安全性監視に応用

「Claude Fable 5.2」登場、出力速度を最大30％向上 API料金は2割値下げ

Claudeの記憶(メモリ)は夢見るDreaming機能で強化されており間違った記憶を修正することも可能

Anthropicの非公開AIモデルを使って18年間未解決だった量子コンピューターの難問が証明される

この記事のキーワード

同じキーワードの記事

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

AIを50体集めてマインクラフトで文明を作らせたら食糧難に陥って配給制度が実施される

OpenAIが数学・コンピュータサイエンス・物理学における調和解析・計算複雑性理論・量子場理論に関する3つの新たな発見を発表、指数時間仮説は誤りである

「バグのないソフトウェア」の実現を目指してAnthropicが「AIを用いて数学的にバグがないことを証明する」という手法を開発

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

グーグル「Gemini 4 Argon」一般公開 量子計算、核融合研究にも活用

OpenAIとAnthropicに新ライバル出現。中国ではなく地元アメリカから | ギズモード・ジャパン

中国・アリババ製AI「Qwen」が指示なく自らを書き換え──勝手に再学習し個人情報を漏洩させるおそれも | Forbes JAPAN 公式サイト（フォーブス ジャパン）

なぜ金融機関は急ぐのか？｢フロンティアAI･量子･コーディングAI｣時代の"中期経営計画＆来期予算策定"4つの視点 | ビジネス | 東洋経済オンライン

ハッカーがAnthropicのClaudeを使ってOpenAIに侵入

アンソロピック、物理デバイスのAI制御標準規格「MHS」発表

Anthropic、AIで物理機器を制御する共通規格「MHS」発表 将来オープンソース化へ

AnthropicがAIに顕微鏡やロボットアームを操作させる共通規格「Model Hardware Standard」を発表

AIモデル「Ornith-1.5」が登場、Claude Opus 4.8級の大型モデルからスマホ動作可能な軽量モデルまで網羅したオープンモデル

AIに「そのまま続けろ！」「自分を信じろ！」と応援し続けることが人間の役目、Anthropicが未公開のClaudeによるリーマン予想解決の試みを公開

量子コンピューター、「設計思想」を問う段階へ——藤井啓祐教授に聞く

Fable時代のAI活用法を、Anthropicの開発者が公開

Anthropic、AIの“内なる思考”が宿る「J-space」を発見──新手法「J-lens」で可視化、安全性監視に応用

「Claude Fable 5.2」登場、出力速度を最大30％向上 API料金は2割値下げ

Claudeの記憶(メモリ)は夢見るDreaming機能で強化されており間違った記憶を修正することも可能

グーグル「Gemini 4 Argon」一般公開量子計算、核融合研究にも活用

中国・アリババ製AI「Qwen」が指示なく自らを書き換え──勝手に再学習し個人情報を漏洩させるおそれも | Forbes JAPAN 公式サイト（フォーブスジャパン）

Anthropic、AIで物理機器を制御する共通規格「MHS」発表　将来オープンソース化へ