News

主要ニュース

フェルマーの最終定理の形式化にAIを投入したら、初日だけでコードが倍増 — 「機械が証明して、人間に何が残るか」

7月10日、New Scientistが「Mathematicians put AI to work on Fermat's last theorem」と題した記事を公開した。この記事では、数学者たちがフェルマーの最終定理の形式化プロジェクトにAIを投入し、予想を超える速度で進展が起きていること、そして人間の数学者の役割が問われ始めていることについて詳しく紹介されている。

中国AI企業MiniMaxのCEOが「AGI達成まで無給」を宣言、同日に約2,900億円の資金調達も発表 — 株価は高値から80%下落、競争力の低下が問われる

OpenAIのGPT-5.6が50年来未解決のグラフ理論問題の証明を生成 — 査読なし・64エージェント並列処理の「候補証明」をどう受け取るか

CursorやClaude Codeなど主要AIコーディングツール6製品に脆弱性「GhostApproval」 — 承認ダイアログに本当の書き込み先が表示されなかった

JPMorganのAIエージェント8体が「60/40ポートフォリオ」を全員超え — ただしバックテストの話であることをJPMorgan自身が強調

Anthropicが最上位モデルを「サブスク外」に設定 — 月$20払っても使うたびに追加課金、AIサブスク"お得な時代"の終わりか

シンガポール子会社経由でブラックリスト入り中国企業がOpenAI・GoogleのAIを利用 — チップ規制と同じ抜け穴がソフトウェア層にも

トランプ政権のAIアクセス規制でOpenAI・Anthropic・Google 3社合計シェアが55%→33%に急落 — 企業が「いつ遮断されるかわからない」クローズドモデルから離れ始めた

BunがZigを捨ててRustへ移行 — 未公開AIモデルを64並列稼働させ、1年分の作業を11日で完了

OpenAIの最新AIが「曖昧な指示だけ」で別のAIを自律訓練 — AIがAIを改良する時代が現実に

Anthropicの評価額がOpenAIを超え1.2兆ドルに — 「誰も売らない」希少性が生む未上場株の異常な需給構造

ClaudeがAIの"返答前の思考"を読み取ることに成功 — 恐喝計画や隠れた目標の「指紋」が出力前に検出可能に

OpenAIが「ChatGPT Work」を発表 — Google DriveやSlackなど13サービスと連携し、業務ワークフロー全体を自律実行

AppleがOpenAIを提訴 — 採用面接を「スパイ活動の場」に使い、64億ドル買収のハードウェア開発に機密情報を流用したと主張

ChatGPTのウェブブラウザ「Atlas」終了へ

gadget.phileweb.com

テスラソフトウェアアップデート2026.20.3 Grok日本導入と安全機能強化

AppleがOpenAIを企業秘密窃盗で提訴、元社員2名を名指し

【公共向け】Claude Mythos 時代の脅威対策ワークショップ開催報告 & 耐障害性ライフサイクル実践ワークショップのご案内

テスラ車内で「Grok」と会話、日本でも展開へ　ナビ設定やルート確認を音声で

【アップデート】テスラ「2026.20.3」が国内配信開始〜対話型AI「Grok」を搭載

日本AIセーフティ評価ガイドが16カ月でページ数が1.6倍に