記事一覧

AI
2026-07-11 ・ The Decoder

GPT-5.6 Sol Ultraが50年来の数学予想を1時間で証明——AIが「解ける難問」の正体

OpenAIは、GPT-5.6 Sol Ultraが約50年間未解決だったグラフ理論の予想を1時間未満で証明したと発表しました。数学者トーマス・ブルーム氏はこの証明を「非常に美しい」と評価する一方、1983年の先行研究への引用が一切ない点を問題視しています。

AI
2026-07-11 ・ The Decoder

テロ組織はAIチャットボットをどう悪用するか——ケンブリッジ研究が示すボコ・ハラムの実態

ケンブリッジ大学CASPのAntonia Jülich氏の研究は、ナイジェリアの武装組織ボコ・ハラムがChatGPT・Claude・Gemini・Grok・Meta AI・DeepSeekといった主要AIチャットボットを攻撃計画や爆発物開発に使い、ISISから安全フィルター回避(ジェイルブレイク)の訓練を受けていたと報告しました。27人の元メンバーへの57回のインタビューに基づく調査です。

AI
2026-07-11 ・ The Decoder

Orcaとは?中国BAAIの「世界モデル」がロボット制御をアクションラベルなしで実現する仕組み

中国のAI研究機関BAAIが発表した世界モデル「Orca」は、事前学習で動作ラベルを一切見ないまま、ロボット専用に作られたπ0.5と同等の操作性能を達成しました。0.8B/4Bの2サイズで、動画・言語から世界の内部表現を学び、テキスト・画像・ロボット動作を1つの基盤から出力します。

AI
2026-07-10 ・ TechCrunch

AppleがOpenAIを提訴──退職者経由の「営業秘密流出」訴訟が示すハードウェア人材争奪の火種

Appleは金曜、元社員を通じて未発表製品の営業秘密が盗まれたとして、OpenAIをカリフォルニア州北部連邦地裁に提訴しました。iPhone製品設計VPを24年務めた後にOpenAIへ移ったTang Tan氏らが関与し、リクルート過程でApple社内のコードネームや部品を使わせたと主張しています。

AI
2026-07-10 ・ TechCrunch

SKハイニックスが米国上場で史上最大の外国企業IPO——2兆9,000億円調達とHBM争奪戦の意味

韓国のメモリ大手SKハイニックスが7月10日、ナスダック上場で265億ドル(約40兆ウォン)を調達し、2014年のアリババ(250億ドル)を上回る「外国企業による米国史上最大のIPO」を達成しました。同社はNVIDIA向けHBM(広帯域幅メモリ)の主要供給元で、米商務長官は同時にサムスンとSKハイニックスへ米国内での新工場建設を働きかけています。

AI
2026-07-10 ・ TechCrunch

オープンソースAIはなぜ伸びるのか?Hugging Face CEOが語る「スケールでAPIを捨てる」構造

Hugging FaceのCEOクレム・デランジュ氏が、企業は当初フロンティアのAPIから始めても、規模拡大に伴うコストでオープンソースモデルへ移行していくと指摘しました。同社のプラットフォームは今やFortune 500のおよそ半数に使われており、その視点からの発言です。

AI
2026-07-10 ・ TechCrunch

GPT 5.6とMicrosoft 365 Copilotの関係は?「preferred model」表明とMAI内製化の真相を整理

OpenAIは2026年7月9日、新モデルGPT 5.6をMicrosoft 365 Copilotの「preferred model(優先モデル)」にすると発表しました。直前にBloombergが報じた、MicrosoftがWordやExcelでコスト削減目的の自社モデル「MAI」への置き換えを進めているという「両社の距離感」報道への、事実上の応答です。

AI
2026-07-10 ・ The Verge

AppleがOpenAIを提訴、Jony IveのハードウェアIO Productsも被告に——「元Apple社員が機密設計を持ち出し」の中身

Appleは、元Apple社員が現在勤めるOpenAIを企業秘密の窃取として提訴しました。被告にはOpenAIが2025年に買収したJony IveのハードウェアスタートアップIO Products、OpenAIの最高ハードウェア責任者Tang Tan氏、2026年1月にAppleから移籍したChang Liu氏が名を連ね、未発表製品の設計ファイルを退社後に大量ダウンロードしたと主張されています。