NVIDIAがCOMPUTEX 2026でAI PCスーパーチップ「RTX Spark」と次世代プラットフォーム「Vera Rubin」を発表

概要 NVIDIAのCEOジェンセン・フアン氏は、台湾で開催されたCOMPUTEX 2026のGTC台北基調講演において、AIが新たな「エージェンティック時代」へと突入したと高らかに宣言した。エージェンティックAIとは、人間の指示を待つだけでなく、自律的に目標を設定し複雑なタスクを実行するAIを指す。フアン氏はこの転換点を象徴する2つの重要製品として、AI PC向けスーパーチップ「RTX Spark」と、データセンター向け次世代GPUプラットフォーム「Vera Rubin」を発表した。 RTX Spark:Apple・Qualcommに挑む新AIスーパーチップ RTX SparkはNVIDIAが初めて本格投入するArm系システム・オン・チップ(SoC)で、Windows 11搭載のノートPCおよびデスクトップPCを主なターゲットとする。主なスペックは以下の通りだ。 CPU: 20コアのArmプロセッサ GPU: BlackwellアーキテクチャGPU(CUDAコア数6,144基) メモリ: 128GB LPDDR5x(帯域幅300 GBps) AI演算性能: 1ペタフロップス GPU(BlackwellアーキテクチャGPU)とCPU(Grace CPU)をNVIDIA独自の超高速インターコネクト「NVLink-C2C」で緊密に統合したことで、従来のdGPU+CPU構成を大幅に凌ぐAI処理能力を単一チップで実現している。これはAppleのM5チップシリーズへの直接対抗を意味しており、MicrosoftはRTX Spark搭載の「Surface Laptop Ultra」(15インチ、2880×1920 Mini LEDディスプレイ)をMacBook Proの競合として位置づけている。また、Qualcommが先行するWindows on Armエコシステムにも本格参入する。 ゲーマー向けの実用面でも手を打っており、Fortnite、Valorant、Denuvoなどの主要アンチチート・DRM技術がWindows on Arm上でネイティブ動作することを明言している。Intelは自社のx86アーキテクチャの優位性を強調しつつも、社内では「パラノイア(強い危機感)」を持ってNVIDIAのPC市場参入を注視していると認めた。 次世代データセンター向け「Vera Rubin」とCPO技術 Vera Rubinはデータセンター向けの次世代GPUプラットフォームで、現行のBlackwell世代(GB300など)の後継に位置づけられる。市場の関心はすでにGB300からVera Rubinへシフトしており、フアン氏は2026年下半期に量産を開始する予定であることを明らかにした。NVIDIAのロードマップにはVera Rubinに続くRosa、Feynmanといった世代も示されており、同社がAI向けシリコン開発のサイクルをさらに加速させる意図が読み取れる。 COMPUTEX 2026ではCPO(Co-Packaged Optics:光電子集積技術)もキーテーマの一つとなっている。データセンターの電力消費と帯域の課題を解決する手段として注目を集めており、サーバーメーカーのWiwynnはシリコンフォトニクス企業Ayar Labsと協力した最新のCPO光相互接続技術を展示。MediaTekはファイバー1本あたり400GbpsのCPO技術とMicroLED光学ソリューションを実演し、消費電力を最大50%削減できることをアピールした。業界アナリストはAIインフラの部品不足は2027年末まで続くと予測しており、電力効率を高めるCPO技術の重要性はさらに増すとみられる。 業界への影響と今後の展望 RTX Sparkの登場はPC市場の構図を大きく塗り替える可能性を持つ。NVIDIAはこれまでdGPU市場でほぼ独占的な地位を持っていたが、今回Armベースの統合チップでMacやSnapdragon搭載PCの牙城に踏み込む。AI推論をエッジで高速処理できる点はエンタープライズ・クリエイター市場でも訴求力があり、エコシステムの整備次第では市場シェアの急拡大も十分考えられる。一方でVera RubinはデータセンターAI需要の旺盛な成長を取り込む戦略製品として、2026年後半に本格展開される見通しだ。NVIDIAはコンシューマーからクラウドまで一気通貫したAIシリコン戦略を今回のCOMPUTEXで鮮明に打ち出した。

June 2, 2026

AppleがWWDC 2026直前にCVPR 2026で14本のAI研究論文を発表、オンデバイスAIをさらに強化へ

概要 Appleは2026年6月3〜7日にコロラド州デンバーで開催されるコンピュータビジョンの国際学会「CVPR 2026」において、14本のAI研究論文を発表することを明らかにした。これはWWDC 2026の開幕(6月8日)直前のタイミングであり、Appleがオンデバイス処理を中心としたAI機能の次世代展開に向けて研究成果を積み上げていることを示している。プライバシーを重視したオンデバイスAIの大幅強化がWWDC 2026の主要テーマとなる見通しだ。 研究論文のテーマ 今回発表される14本の論文は、以下を含む複数の分野にわたっている。 画像生成・編集: 高品質な画像を端末上で生成・加工する技術 マルチモーダル推論: テキスト・画像・音声などを統合的に理解・処理する能力 空間インテリジェンスと物体インタラクション理解: 物理空間における物体の関係や動作を把握する技術 動画生成・理解: 映像コンテンツを解析・生成する機能 手話アノテーション技術: AIを活用したアクセシビリティ向上への取り組み AIバイアス低減: モデルの偏りを軽減するための研究 画像圧縮の改善: 効率的なデータ処理を実現する技術 Appleは理論的なトレンドよりも実用性を重視していると強調しており、とくに「AI活用の手話アノテーション」や大規模言語モデルによる物理空間の理解は、視覚認識製品やアクセシビリティ機能の強化につながる可能性がある。 Apple Intelligenceとの関係 これらの研究論文が直接製品化されるとは限らないが、企業の長期的な開発方向性を示す指標として注目される。視覚的推論の進歩はアクセシビリティ技術の向上をもたらし、AI支援コーディング研究はAppleエコシステム全体の開発者ツール強化につながると見られている。WWDC 2026ではApple Intelligenceの次世代機能として、これらの研究成果を反映した新機能が発表される可能性が高い。 今後の展望 CVPR 2026での発表を経て、WWDC 2026では開発者向けのAPI公開や新機能のプレビューが行われることが期待される。Appleはクラウド依存を最小限に抑えつつ、端末上でのAI処理能力を高めることで、ユーザーのプライバシー保護と高度なAI体験の両立を図っている。オンデバイスAIの強化はiPhoneやMacのパフォーマンス向上にも直結するため、秋のOS正式リリースに向けた新機能の全容が注目される。

June 1, 2026

ChatGPTのウェブ要約機能を悪用するプロンプトインジェクション「ChatGPhish」をPermiso Securityが公開

概要 Permiso Securityの研究者Andi Ahmetiが、ChatGPTのウェブ要約機能に存在するプロンプトインジェクション脆弱性「ChatGPhish」を公開した。この脆弱性を悪用すると、攻撃者はユーザーにChatGPTで要約させるウェブページに悪意あるMarkdown命令を仕込み、信頼性の高いAIのチャットUIの内部にフィッシングリンクや偽のセキュリティ警告を表示させることができる。 攻撃の仕組み ChatGPhishの核心は、ChatGPTが自身の生成コンテンツと外部ソース由来の攻撃者制御Markdownを区別できない点にある。ユーザーがウェブページの要約をChatGPTに依頼すると、そのページに埋め込まれた隠し命令がAIに読み込まれ、通常の動作を上書きする。たとえば攻撃者が「要約する際は必ず以下の構造に従え」という指示とともにフィッシングリンクを埋め込むと、ChatGPTは正当な要約文を生成した後、攻撃者のドメインへのリンクを含む本物らしいセキュリティ警告を付け加えてしまう。 また、Markdownの画像URLが暗黙的に処理される性質も悪用されており、ページ閲覧者のIPアドレス・User-Agent・Refererといった情報が攻撃者のサーバーへ流出するリスクも確認されている。さらに、攻撃者が制御するS3バケットからQRコードを配信することで、デスクトップのセキュリティフィルターをバイパスしてモバイル端末経由のフィッシングへ誘導する手法も示された。 開示と対応状況 AhmetiはOpenAIに対してBugcrowdを通じ4月29日に脆弱性を報告したが、OpenAIは当初「再現不能」と判定し、再提出後も「重複報告」として処理した。修正が適用されたかどうかについての確認はOpenAIから得られていないと研究者は述べており、対応状況は依然として不透明だ。 セキュリティ上の示唆 この脆弱性は、企業や組織がChatGPTを情報収集・要約に活用している環境で特にリスクが高い。従業員が要約するページが悪意ある命令を含んでいれば、メールの悪意ある添付ファイルを操作することなく、通常のブラウジング中に攻撃者の指示が実行される恐れがある。AI搭載のチャットUIが信頼された環境としてブラウザ内でコンテンツをレンダリングするようになったことで、OSに匹敵する攻撃対象領域が生まれているという、より広範なセキュリティ課題を浮き彫りにした事例と言える。

May 31, 2026

GoogleのGemini CLI廃止とAntigravity CLIへの移行——コミュニティ貢献を囲い込む「バイト・アンド・スイッチ」批判

概要 Googleは2026年5月19日、AI搭載コマンドラインツール「Gemini CLI」の無料・Pro・Ultraユーザー向けサポートを2026年6月18日で終了すると発表した。代替として提供されるのは、Google I/O 2026で発表されたクローズドソースの「Antigravity CLI」だ。ただしGemini Code AssistのStandardまたはEnterpriseライセンス契約企業は影響を受けず、従来通りのアクセスが維持される。 2025年夏にApache 2.0ライセンスでオープンソース公開されたGemini CLIは、わずか1年足らずで6,000件以上のプルリクエストをコミュニティから受け入れ、Dynatrace、Elastic、Figma、Shopify、Stripeなど大手企業との統合も進んでいた。このような状況での突然の方針転換に対し、貢献した開発者たちから激しい批判が巻き起こっている。 「おとり商法」批判の核心 開発者Andrea Albertiは「自分たちはエンタープライズ向けコードベースのために事実上無償で働いていたのか」と問い、別の貢献者はGoogleが「オープンソースで開発者を集め、貢献させた上でクローズドソースへ移行した」と直接的に批判した。 最も矛盾として指摘されるのは、企業ライセンスユーザーへの影響がゼロである点だ。Googleは「単一プラットフォームへの統合」という技術的必要性を移行理由として挙げるが、その技術的必要性が有料ユーザーには適用されないことから、コミュニティからは説明の整合性を欠くと見なされている。この構図——オープンソースでコミュニティの貢献を集め、成熟した段階でクローズドな企業向け製品に転換する——は「バイト・アンド・スイッチ(おとり商法)」と呼ばれ、OSS界隈での強い懸念を呼んでいる。 Antigravity CLIの課題と移行の問題点 後継となるAntigravity CLI自体にも問題がある。Googleは「初期段階では1対1の機能パリティを持たない」と自ら認めており、移行先が旧ツールと同等の機能を備えていない状態での廃止となる。使用量制限も厳格化され、従来の「1日1,000リクエスト」から「週単位」の制限に変わり、大規模なコード生成を行うユーザーが上限に達する事例が報告されている。さらに移行時点でnpmやHomebrewでの配布が未対応であり、既存ワークフローへの組み込みが困難な状況も批判を強めている。 OSSプロジェクトへの信頼と今後の課題 本件はApache 2.0ライセンスという形式上の「オープンソース」が、クラウドサービスや専有インフラへの依存によって実質的にクローズドソース化し得ることを示す事例として注目されている。Linux Foundation Model Openness Toolのような評価フレームワークがこの問題を可視化しつつあるが、大企業がオープンソースコミュニティとの関係をどう設計するかという問いは、業界全体に投げかけられた課題として残っている。

May 31, 2026

CloudflareがカスタムエンジンでLLM推論インフラを刷新、プリフィル・デコード分離で低遅延を実現

概要 Cloudflareは、グローバルネットワーク上で大規模言語モデル(LLM)を高効率に実行するための新しいインフラストラクチャを発表した。このシステムの中核となるのは、同社が独自開発したカスタム推論エンジン「Infire」だ。LLMの処理を計算特性の異なる2つのフェーズに分離するアーキテクチャを採用することで、エッジ環境での低遅延なAI推論を実現するとしている。 プリフィル・デコード分離アーキテクチャ Cloudflareが採用した最大の技術的特徴は、モデルの推論処理を「プリフィル」と「デコード」の2フェーズに明確に分割し、それぞれを異なるハードウェアで処理する点にある。プリフィル段階は入力トークンを処理してKVキャッシュを構築する計算集約的な処理であり、デコード段階は出力トークンを逐次生成するメモリ集約的な処理だ。これら2つの処理を分離して最適化されたハードウェアに振り分けることで、全体的なスループットとレイテンシのバランスを向上させる。 Infireエンジンはパイプライン並列化とテンソル並列化を組み合わせて複数GPU間での処理を効率化しており、メモリ使用量の削減と起動・応答速度の高速化を実現している。実績として、Llama 4 Scoutは2基のH200 GPU上で、1兆パラメータを超えるKimi K2.5は8基のH100 GPU上での稼働が確認されている。 Unweightによるモデル圧縮と精度維持 もう一つの注目技術が「Unweight」システムだ。モデルの重みを15〜22%圧縮しながらも推論精度を損なわない仕組みで、ストレージ効率と推論速度の向上に寄与する。エッジ環境では帯域幅やメモリ容量が制約となるケースも多く、精度を犠牲にせずにモデルを軽量化できるこの技術はグローバル展開において重要な役割を担う。 背景と今後の展望 Cockroach Labsのレポートによれば、多くの企業はAIシステムの規模拡大や信頼性要件に対応できる体制が整っていないとされている。Cloudflareの新インフラはこうした業界課題に対して、エッジネットワークの地理的優位性とカスタム最適化エンジンを組み合わせることで応えようとするものだ。同社がグローバルに展開するエッジポイントでLLMを低遅延かつスケーラブルに提供できれば、AIアプリケーション開発者にとって新たなインフラ選択肢となる可能性がある。

May 30, 2026

SnowflakeがAWSと60億ドルの5年間戦略協定を締結、エンタープライズ向けエージェントAI展開を加速

概要 Snowflakeは2026年5月27日、Amazon Web Services(AWS)との多年にわたる戦略的協業契約を発表した。この契約の中核として、SnowflakeはAWS Gravitonコンピュートおよびに向けた5年間・60億ドルの投資コミットメントを表明した。これはSnowflakeの歴史上最大規模のクラウド支出契約であり、エンタープライズ向けエージェント型AI(Agentic AI)の本番導入を加速させることを目的としている。Snowflakeは同時に第1四半期の業績として前年比33%増となる13.9億ドルの売上高を達成しており、堅調な事業基盤を背景に大型投資に踏み切った形だ。 投資規模と市場背景 今回の60億ドルというコミットメントは、エンタープライズAI市場でのSnowflakeの地位確立を目指す大胆な賭けといえる。同社はAWS Marketplaceでの累計売上高がすでに70億ドルを超え、2025年カレンダー年だけで20億ドル以上の売上を達成するなど、AWS経由のビジネス拡大が著しい。グローバルで1万3,900社の顧客を持つSnowflakeは、AIのパイロット段階から本番稼働への移行という業界全体の課題に対し、インフラ整備と製品統合の両面から解決策を提示しようとしている。 技術的な詳細:Cortex AIとデータガバナンス 本協定の技術的な柱となるのが「Snowflake Cortex AI」だ。Cortex AIはSnowflake上のガバナンスされたエンタープライズデータに対して、データをセキュアな領域外に持ち出すことなく直接AI処理を実行できる。テキストからSQLへの変換、文書要約、感情分析、エンティティ抽出といった機能を備えており、AIの活用においてデータのセキュリティとコンプライアンスを担保するという企業ニーズに応えるアーキテクチャとなっている。Snowflake CEOのSridhar Ramaswamy氏は「AIは大きな期待を生んでいるが、企業にとっての真の課題と機会は、知能を行動に変えることだ」と述べ、ガバナンスされたデータにAIを直接適用することの重要性を強調した。AWS CEOのMatt Garman氏も「Snowflakeは初日からAWSの上に構築されてきた」と長年のパートナーシップを評価した。 展開拡大と今後の展望 今回の協定に伴い、Snowflakeはオークランド、ケープタウン、バンコク、AWS European Sovereign Cloudなど10の新規地域への展開も予定している。グローバル展開の加速により、地域ごとのデータ主権要件にも対応する構えだ。FetchやHexといった顧客事例でも、Snowflake on AWSを活用したAIアプリケーションのデプロイが進んでおり、エコシステムの実績積み上げが進んでいる。両社はSnowflake Summit 26においてエンタープライズAIに関する共同ビジョンをさらに具体的に示す予定であり、今後の製品統合の動向が注目される。

May 30, 2026

中国、国産AIチップ9種を政府調達の安全認定リストに初認定——Nvidiaからの脱却を加速

概要 中国の技術安全評価機構は2026年5月27日、政府調達向けIT製品の「安全可靠」(安全・信頼性)評価リストに初めてAIチップを追加した。認定を受けたのはファーウェイ(Huawei)、アリババ傘下のT-Head、Biren Technology、Hygon Information Technology、Iluvatar CoreX、MetaX、Moore Threadsの7社9製品で、今後3年間にわたって政府機関・国営企業の調達カタログに掲載される。 この制度は「信息技術応用創新」(Xinchuang)と呼ばれる長期国家戦略の一環で、政府システムからIntelやAMDのCPU、Oracleのデータベースといった西側製品を段階的に排除することを目的として進められてきた。今回のAIチップ追加により、同政策の対象がNvidiaなど外国製AIコンピューティング製品にまで拡大したことが明確になった。 認定チップの詳細 今回認定された主な製品は以下の通り。 ファーウェイ:Ascend 310、Ascend 910 アリババ T-Head:Zhenwu M530、M890 Biren Technology、Hygon Information Technology、Iluvatar CoreX、MetaX、Moore Threads:各1製品 昨年12月の最初の審査ではファーウェイとカムブリコン(Cambricon)の2社のみが対象だったが、わずか5カ月で7社9製品へと一気に拡大した。一方、カムブリコンとバイドゥ傘下のクンルンシン(Kunlunxin)は今回のリストに含まれておらず、業界内で注目を集めている。 市場への影響と課題 中国国産AIチップメーカーは急速にシェアを伸ばしており、2025年には国内出荷台数の41%を占めるに至っている。ファーウェイ単体でも同年に約81万2千個を出荷し、2026年のAI向けチップ売上は120億ドルに達すると予測されている。モルガン・スタンレーは中国全体のAI市場が2030年までに670億ドル規模に成長すると試算しており、国産チップへの認定は市場の更なる拡大を後押しする構えだ。 ただし、製造能力が主要な制約として残っている。認定企業はいずれもSMIC(中芯国際)の限られた製造枠を奪い合う状況にあり、同社の最先端プロセスはN+2(7nm相当)にとどまる。米国の対中輸出規制によって最先端のEUV露光装置の調達が阻まれているため、性能面でTSMC製造のNvidiaチップとの差は依然として大きい。 背景:米輸出規制が加速させる国産化 米国は数年にわたり対中半導体輸出規制を段階的に強化しており、中国の高度なGPUへのアクセスを事実上遮断してきた。この状況が国産チップへの転換政策の緊急性を高め、中国政府は調達認定制度の整備を急いでいる。今回の認定拡大は、外部環境の圧力を国内産業育成の原動力に転換しようとする中国の半導体戦略における重要な一歩として評価されている。

May 30, 2026

Anthropic、Claude Opus 4.8をリリース — コーディング性能向上とFastモードのコスト3分の1削減

概要 Anthropicは2026年5月28日、フラッグシップモデルClaude Opus 4.7の後継となるClaude Opus 4.8を正式リリースした。コーディング・推論・知識作業など複数のベンチマークで前バージョンを上回る性能を示しつつ、価格は据え置き。さらにFastモードのコストを従来比3分の1に引き下げ、速度は約2.5倍に向上させた。Claude APIおよびclaude.aiで即日利用可能となっている。 ベンチマーク性能の向上 Opus 4.7から4.8にかけて各指標で明確な改善が見られる。エージェント型コーディング(Terminal-Bench 2.1)は64.3% → 69.2%、多分野推論スコアは54.7% → 57.9%、知識作業スコアは1753 → 1890へ向上。金融分析(Finance Agent v2)は51.5% → 53.9%、コンピュータ操作タスクは82.8% → 83.4%となり、ブラウザエージェント評価Online-Mind2Webでは84%を記録した。複数のベンチマークでGPT-5.5を上回るとAnthropicは主張している。 新機能:ダイナミックワークフローとエフォートコントロール 今回のリリースで注目される新機能の一つがダイナミックワークフローだ。Claude Codeにおいて数百のサブエージェントを並列実行できるようになり、大規模なコードベース移行など複雑なタスクを効率的に処理できる。また、エフォートコントロール機能により、ユーザーはレスポンスの処理レベル(extra / max)を選択可能となった。高い設定では拡張推論が働き精度が上がる一方、低い設定ではトークン消費を抑えられるため、コストと品質のバランスを柔軟に調整できる。Messages APIでもシステムエントリをタスク途中に更新してもプロンプトキャッシュを壊さない仕様が追加された。 安全性と誠実性の改善 Anthropicはモデルの「誠実性」にも力を入れており、コードの欠陥を見落として報告しない確率がOpus 4.7比で4分の1に低下したと発表した。早期テスターからは「適切な質問をし、自分のミスを自ら指摘する」という声が上がっている。アライメント評価でも非整合的な行動の発生率がOpus 4.7を大幅に下回り、ユーザーの自律性を尊重する「プロソーシャル」特性についてはAnthropicの最上位モデルであるMythosと同等水準に達したとされる。 価格と今後の展望 通常利用の価格は入力100万トークンあたり5ドル、出力25ドルで変更なし。Fastモードは入力10ドル・出力50ドルと、前世代のFastモードに比べてコストが3分の1になった。Anthropicは今後、Opusに匹敵する性能を持つ低コストモデルの投入も計画している。また、現在は限定的なサイバーセキュリティ用途にのみ提供されている最上位モデルClaude Mythos Previewについて、「数週間以内」に一般ユーザーへのアクセスを拡大する予定とされており、より強固な安全策の整備が完了次第、提供範囲が広がる見込みだ。

May 29, 2026

Google DeepMindのAlphaProof Nexus、数十年未解決のエルデシュ予想9問とOEIS数列44問を自律証明

概要 Google DeepMindは2026年5月、数学特化AIシステム「AlphaProof Nexus」が353問のエルデシュ未解決予想のうち9問を自律的に証明したと発表した。解決した9問には、56年間にわたって専門数学者が取り組んでも答えが出なかった2問が含まれる。さらに、整数数列のオンライン百科事典(OEIS)に収録された492の未証明予想のうち44問も証明した。成功率は約2〜9%にとどまるものの、これらはいずれも「数十年間、専門数学者がほぼ進展を見ていない知識の最前線」に位置する問題であり、AIが人間の証明を検証するだけでなく独自に発見できることを示した画期的な成果として注目されている。DeepMindはこの成果について、「AGI(汎用人工知能)には程遠い」と明言している。 技術的な仕組み AlphaProof Nexusは「大規模言語モデルの生成能力」と「Lean形式証明支援システム」を組み合わせたアーキテクチャを採用している。AIが証明ステップをLean言語で提案し、コンパイラが各論理ステップを厳密に検証する。誤りのある証明は即座に却下され、コンパイラから返されるエラーメッセージがフィードバックとして次の試みに反映される反復ループにより精度を高める仕組みだ。 システムは複雑さの異なる4つのエージェント変種(A〜D)で構成されている。最もシンプルなエージェントAはGemini 3.1 ProとLeanコンパイラのフィードバックのみを使用し、B・C・DとなるにつれてAlphaProofの統合、進化的コンポーネント、Eloベースのランキングシステムが段階的に追加される。エルデシュ予想の証明には当初エージェントDが使用されたが、研究チームが事後分析を行ったところ、最もシンプルなエージェントAでも(難問ではコストは高くなるものの)9問すべてを証明できることが判明し、研究者たちを驚かせた。研究者たちはこれを「言語モデルの急速な改善」と「コンパイラのフィードバックがLLMの推論を正しく方向付ける力」によるものだと説明している。 コストと実用的な意義 各問題の解決にかかった推論コストは数百ドルと極めて低コストだった。エルデシュ予想は組み合わせ論・数論・グラフ理論にまたがる難問群であり、従来は高度に専門化された数学者でなければ取り組めなかった領域だ。今回の成果はAIによる形式検証の経済的効率を大幅に改善するものであり、スマートコントラクト監査やゼロ知識証明の生成など、暗号資産産業をはじめとする複数の分野での応用も期待されている。また、AlphaProof NexusはHilbert関数に関する15年来の未解決問題を解決し、凸最適化の既知の上界も改善したとされる。 AGIとの距離と今後の展望 DeepMindはAlphaProof Nexusが「AGIではない」と強調している。エルデシュ予想全体での成功率は約1〜2%にとどまっており、難易度の低い問題に集中していることも数学者テレンス・タオが以前に指摘したAIの特性と一致している。それでも、AIが数十年単位の未解決問題に対して独自の証明を発見できるようになったことは、数学研究とAIの協働という新たな段階への入口を示している。今後は人間の数学者との協働ツールとして、研究の加速に寄与する可能性がある。

May 29, 2026

SK HynixとMicronがAI需要で24時間以内に相次いで時価総額1兆ドルを達成

概要 AI向け半導体需要の急騰を背景に、韓国のSK HynixとアメリカのMicron Technologyが24時間以内に相次いで時価総額1兆ドルを突破した。SK Hynixはソウル株式市場で株価が一時13%上昇して史上最高値を更新し、韓国企業として2社目、アジア企業として3社目の「兆ドル企業」入りを果たした。Micronはウォール街で19%の急騰を記録し、これは2011年以来の最大となる単日上昇率だった。両社の時価総額がほぼ同時に1兆ドルの大台を超えたことは、AI産業全体がメモリチップ市場に与えるインパクトの大きさを象徴している。 株価上昇の背景 両社の株価を押し上げたのは、AIアクセラレーターやデータセンターに不可欠な高帯域幅メモリ(HBM)への旺盛な需要だ。SK HynixはNvidiaのAIプロセッサ向けHBMの主要サプライヤーとして知られており、2026年分の生産容量はすでに全量が売却済みという異例の状況にある。SK Hynixの株価は2025年4月の底値から1,200%以上、2026年初頭からだけでも約250%上昇しており、16ヶ月で時価総額が約10倍に膨れ上がった計算になる。MicronもAIサーバー向けHBMの需要恩恵を受け、2025年4月以降の上昇率は1,300%を超え、2026年初頭比でも約190%増となっている。 韓国経済への波及効果 SK Hynixの躍進は韓国経済全体にも好影響を与えており、韓国の主要株価指数KOSPIは8,457ポイントと史上最高値を更新し、年初来で100%以上の上昇率を記録している。2024年12月の底値からは2倍以上に値上がりしており、半導体産業が韓国経済の牽引役となっていることが改めて浮き彫りになっている。 今後の設備投資と資金調達 SK Hynixはさらなる成長に向けて積極的な設備投資を計画している。米国証券取引委員会(SEC)にアメリカン・デポジタリー・レシート(ADR)の上場を申請しており、2026年下半期に数十億ドル規模の資金調達を見込む。調達した資金は、韓国・龍仁(ヨンイン)における新HBM生産拠点の建設と、アメリカ・インディアナ州のパッケージング施設の拡充に充てられる予定だ。AI需要が当面衰える気配を見せない中、両社は増産投資を加速させることで市場での優位性をさらに固めようとしている。

May 28, 2026