Claudeがフェルマーの最終定理の完全な形式化証明を初めて達成｜AI日報 2026-09-06
Claudeがフェルマーの最終定理の完全な形式化証明を初めて達成: Anthropicは、Claudeが世紀の難問「フェルマーの最終定理」について、エンドツーエンドで機械検証可能な形式化証明を11日間で初めて完了したと発表しました。本プロジェクトはコロンビア大学助教授（清華大学姚班卒業）の彭天翼氏が主導し、Prove2MeマルチエージェントDAG協調プラットフォームを活用。数十のClaude Ag
OpenAIがGPT-6 Astraを正式発表、システム安全カードを公開｜AI日報 2026-09-05
OpenAIがGPT-6 Astraを正式発表、システム安全カードを公開: OpenAIは新世代のフラッグシップモデル「GPT-6 Astra」およびProバージョンを正式に発表しました。10万基規模のGPUクラスタ上で事前学習が行われ、ARC-AGI-3（専用Harness下で98.6%〜99.9%）、ExploitBench（100%）、FrontierMath Tier 4（97.6%）、O
NVIDIA、AIオープンソースコミュニティHugging Faceを129億3000万ドルで完…｜AI日報 2026-09-04
NVIDIA、AIオープンソースコミュニティHugging Faceを129億3000万ドルで完全買収すると発表: NVIDIAは、オープンソースAIモデルおよびデータセットプラットフォームのHugging Faceと買収合意に達したことを正式に発表した。取引額は129.3億ドルに達し、同社によるソフトウェアおよび開発者エコシステムにおいて過去最大規模のM&Aとなる。Jensen Huang氏は、
AnthropicがClaude Fable 5.1 / Mythos 5.1を発表：科研・コーディングが大…｜AI日報 2026-09-03
AnthropicがClaude Fable 5.1 / Mythos 5.1を発表：科研・コーディングが大幅向上、キャッシュ読み取り価格を75%削減、反蒸留・透かし・企業向けゼロ保持も投入: 両者は基盤を共有し、安全方針は分岐。Fableは即日API/Bedrock/Azure等に上陸；Mythosは審査済みのサイバーセキュリティおよび生命科学機関のみ。Terminal-Bench-Scienc
NVIDIAがMediaTekの35億ドル転換社債を引き受け、NVLink Fusionを開放｜AI日報 2026-09-02
NVIDIAがMediaTekの35億ドル転換社債を引き受け、NVLink Fusionを開放: NVIDIAがMediaTekの35億ドル転換社債を引き受け；MediaTekはNVLink Fusionを採用し、カスタムASIC/XPUをNVIDIAのラック級スーパーコンピュータに直接接続できるようにする。双方はさらにPC、開発者向けスーパーコンピュータ、企業ワークステーションでも連携する。分析
OpenAIとAnthropicが数万台のMac mini/Studioを囤積し、パソコン操作Agent…｜AI日報 2026-09-01
OpenAIとAnthropicが数万台のMac mini/Studioを囤積し、パソコン操作Agentを訓練: 複数メディアが確認。OpenAIは画面なしのMac miniとMac Studioを数万台調達し、AnthropicはAWS経由で同種機器を借り、コンピュータ利用エージェントの強化学習と軌跡収集に使う。要因はmacOS仮想マシンのライセンスがAppleハードウェアに紐づくこと、ユニファ
SonyとWarnerがAnthropicを提訴、海賊版トレントと歌詞スクレイピングでCla…｜AI日報 2026-08-31
SonyとWarnerがAnthropicを提訴、海賊版トレントと歌詞スクレイピングでClaudeを訓練したと主張: Sony Music、Warner Chappellなどの出版社が北カリフォルニア連邦裁判所でAnthropicを提訴し、CEOのDario Amodeiと共同創業者Benjamin Mannを個人被告に加えた。従業員にBTで著作権保護された歌詞・楽譜・楽曲を数万件規模でダウンロー
OpenAI、SpaceXによるCursor買収を受け11月12日に公式直結を切断｜AI日報 2026-08-30
OpenAI、SpaceXによるCursor買収を受け11月12日に公式直結を切断: OpenAIは公式声明で、CursorがSpaceXに買収された後、11月12日に公式GPT直結を終了し、Astraなど次世代モデルは即日からCursorに開放しないと発表した。理由には、マスク体系の過去の契約違反、xAIによるデータ蒸留の指摘、まもなく公開されるAstraがサイバーセキュリティのCritical
Anthropicがモデルハードウェア標準「MHS」を発表、物理的AIインタラクショ…｜AI日報 2026-08-29
Anthropicがモデルハードウェア標準「MHS」を発表、物理的AIインタラクションを開拓: Anthropicは、物理デバイス向けのオープンなドライバー仕様「Model Hardware Standard（MHS）」のリサーチプレビュー版を正式に発表しました。この標準は「物理世界におけるMCP」と位置付けられており、統一されたデバイス記述ファイルと標準ドライバーインターフェースを提供することで