Latest issue 07 10月 2026

2026年10月07日夜のAIニュースまとめ

(ほぼ)毎日AIニュースが届きます。ぜひご登録ください。

(ほぼ)毎日AIニュースが届きます
ぜひご登録ください

OpenAIによる数学証明の公開とSpaceXの巨額資金調達

OpenAIが未発表モデルを用いて数百の数学証明を公開し、AIによる科学的発見の加速に期待が高まっています。

また、SpaceXがAIチップ購入に向け400億ドル規模の資金調達を協議しているほか、Appleによるスマートホーム市場への本格参入も報じられました。

本日の主要な動向を順を追って確認していきましょう。

OpenAIがKLS予想など数百の数学証明を公開【続報】
SpaceXがNvidiaチップ購入に向け$40Bの資金調達を協議
AppleがLGと提携しSiri搭載スマートホーム機器準備【続報】
Decisions API検証結果とCodexトークンリセット【続報】
Samsung製12層HBM4EがNVIDIAテスト合格報道
Anthropicがセキュリティ専門家向けにMythos 5.1等を提供
ガートナー: FDE開発AIエージェントの7割が不使用と予測
PLaMo翻訳が第3世代モデル適用で大幅アップデート【続報】
音楽生成AIのSunoで5500万件超の個人情報流出
llama.cpp v0.6.0でLLM-jpモデルが公式サポート

OpenAIがKLS予想など数百の数学証明を公開【続報】

OpenAIによる数学の未解決問題解決に関する続報です
未発表の内部モデルを用いて生成した、722の数学的マニュスクリプトをGitHubに公開しました
31年間未解決だったKLS予想の解決など、372の関連する結果ファミリーが含まれています
1つの結果につき平均してChatGPT Proの3時間分に相当する計算量が使用されており、AIによる科学的発見の加速が期待されています

Chubby♨️: (翻訳) なんと、噂は本当でした。OpenAIは、未発表の内部モデルによって生成された722の数学的マニュスクリプトを公開しました。このコレクションは、約4,000の研究問題を含む評価から抽出された、372の関連する結果のファミリーに分類されています。OpenAIによれば...

Haider.: (翻訳) 数学において大きな進歩がありました。AIが31年間未解決だった「KLS予想」の証明に貢献しました。著者たちは、数学的なアイデアと証明の大部分を見つけたのはChatGPTの功績であると明言していますが、どのモデルが使われたかは明らかにしていません...

Greg Brockman: (翻訳) 科学的発見の加速と、すべての人々の生活の質の向上に向けて

SpaceXがNvidiaチップ購入に向け$40Bの資金調達を協議

Elon Musk氏率いるSpaceXが、NvidiaのAIチップを購入するために400億ドル規模の負債調達を協議していると報じられました。
Apollo Global Managementが主導しており、銀行融資と投資適格債を組み合わせたパッケージになる見込みです。
AI開発における計算能力への飽くなき需要と、巨額のインフラ投資競争を象徴する動きとして注目を集めています。

Evan: (翻訳) Financial Timesの報道によると、SpaceXはNvidiaのチップを購入するため、負債の売却により400億ドルの資金調達を目指しているとのことです。

Bloomberg: (翻訳) イーロン・マスク氏のSpaceXは、Nvidiaからチップを購入するために400億ドルの負債を調達すべく銀行や投資家と協議しており、AI開発者の間でより多くの計算能力に対する飽くなき需要があることを浮き彫りにしています。

Financial Times: (翻訳) イーロン・マスク氏のSpaceXは、AIとロケットのグループがチップメーカーの高度な技術への賭けを拡大する中、Nvidiaのチップを購入するためにApollo Global Managementが主導する資金調達で400億ドルの調達を目指しています。

AppleがLGと提携しSiri搭載スマートホーム機器準備【続報】

Appleのスマートホーム市場参入に関する続報です
LG Electronicsと異例の提携を結び、ドアベルやサーモスタット、各種カメラなどのデバイスを開発していることが明らかになりました
Siri AIを中心に据えた新しいエコシステムが構築される見込みです
AmazonやGoogleが先行する市場において、プライバシーとAIを武器にどのように巻き返すかが注目されています

Mark Gurman: (翻訳) 新着：AppleはLGとの異例のパートナーシップにより、大規模なスマートホーム再始動の一環として、AmazonやGoogleに対抗すべく、ドアベル、デッドボルトロック、サーモスタット、屋内カメラ、屋外カメラ、フラッドライトカメラなどを準備しています。

Mark Gurman: (翻訳) これらのアクセサリーは、スマートホームハブ、新しいHomePod mini、アップデートされたApple TVなど、すべてSiri AIを中心に据えたAppleの主要な新しいスマートホームエコシステムを装備するためのものです。

Mark Gurman: (翻訳) LGとの共同開発戦略はAppleにとってかなり異例です。LGも10年以上スマートホームデバイスを製造していないため、彼らにとっても市場への大きな復帰となります。

Decisions API検証結果とCodexトークンリセット【続報】

パブリックベータ公開されたDecisions APIの検証結果が報告され、競合と比較して圧倒的な処理速度とコスト優位性が確認されました
また、TiboのDay 2リリースに対するコミュニティ投票を受け、Codexのトークン使用量がグローバルでリセットされました
開発者からは利用枠の回復やAPIのさらなる活用に期待する声が上がっています

coji 溝口浩二: jevつよい！なんかうれしい

まつにぃ: せっかく3つもリリースしたのに、投票でリセットを求められたのでまたまたリセット。大丈夫ですか？リソース。

Kol Tregaskes: (翻訳) グローバルなCodexのリセットと、本日の改善の両方を手に入れました。🙏

Samsung製12層HBM4EがNVIDIAテスト合格報道

韓国メディアの報道によると、Samsungの12層HBM4EメモリがNVIDIAなどの主要顧客による適格性テストに合格したとのことです。
AIチップの性能を左右する広帯域メモリ市場において、同社が競争力を高めていることを示しています。
また、AnthropicとBroadcomがSamsungの2nmプロセスを採用するとの観測も浮上しており、半導体サプライチェーンの動向が注目されています。

Jukan ✈️OCP 2026: (翻訳) なんてことだ。行け、Samsung！

パウロ: (翻訳) AnthropicはBroadcomとともに、Samsungの2nmプロセスを採用しています。そしておそらくCoWoSの代わりにI-Cubeを採用するでしょう。究極の垂直統合が始まります。

Jukan ✈️OCP 2026: (翻訳) 韓国メディア：SAMSUNGの12層HBM4EがNVIDIAおよびその他の顧客の適格性テストに合格

Anthropicがセキュリティ専門家向けにMythos 5.1等を提供

Anthropicが「Cyber Verification Program」を拡大し、検証済みのセキュリティ専門家向けに強力なモデルへのアクセスを開放しました。
防御的なサイバーセキュリティ業務向けにセーフガードが調整された、Claude Mythos 5.1、Opus 5.5、Sonnet 5.5が提供されます。
これまで一部のメンバーに限定されていたMythosモデルが広く利用可能になり、AIを活用したサイバー防衛の高度化が期待されます。

Rohan Paul: (翻訳) Anthropicは、Project Glasswingを吸収する3つのアクセス層を通じて、検証済みのサイバー防衛担当者にClaude Mythos 5.1を開放しています。これまでMythosを利用できたのはGlasswingのメンバーのみで、Cyber Verification Programでは検証済みのセキュリティチーム向けにOpusとSonnetのフィルターが緩和されていまし...

ガートナー: FDE開発AIエージェントの7割が不使用と予測

ガートナーが、FDE（フォワードデプロイドエンジニア）によって開発されたAIエージェントの7割は実際には使われないとの予測を発表しました。
FDEという名目で単なるコンサルティングサービスが販売される危険性が高まっていると警告しています。
開発者コミュニティでは、定型業務エージェントの継続的な運用には評価と改善のループが不可欠であり、実態が伴わないケースが多いとの声が上がっています。

俵: 知　っ　て　た　案　件

Publickey: FDE（フォワードデプロイドエンジニアリング）によって開発されたAIエージェントの7割は使われず、FDEの名前で単なるコンサルティングが販売されるようになる危険が高まるとガートナーが予測 https://t.co/6Spibe1e49

Hirosato Gamo | AI Cloud Solution Architect: 3割ちゃんと稼働してるなら意外と多いなと思った印象なんだけど、反応的には割とネガティブ。そもそも放っておいたらほとんど他人も使える定型業務Agentなんて作られないし展開されないからほぼ0だしね。単に動かすだけでなく稼働し続けるにはメモリ・評価と、それをAgent側に反映するループの仕組みを

PLaMo翻訳が第3世代モデル適用で大幅アップデート【続報】

PFNが提供するAI翻訳サービス「PLaMo翻訳」の続報です。
大型アップデートが実施され、最新のPLaMo第3世代モデルが適用されました。
翻訳向けの学習データを数百倍に拡充し、世界最高水準の日本語翻訳精度を従来の数十分の一のコストで実現しています。
新たに53言語に対応したほか、リアルタイムの会議翻訳機能も追加され、忠実性と流暢さが大幅に向上したと報告されています。

Daisuke Okanohara / 岡野原大輔: PLaMo翻訳を大型アップデートしました！世界最高水準の翻訳精度を、数十分の一のコストで実現します。翻訳向けの学習データを数百倍の規模に拡充し、学習プロセスにもさまざまな改良を加えました。先日リリースしたリアルタイム会議翻訳機能も、ぜひあわせて試してみてください。

いもす: PLaMo 3 翻訳モデルをサービスにデプロイしました🎉精度（特に忠実性）が大幅に改善し、流暢ながらもできる限り誤解を生まない語彙選択ができるようになっています。モデル公開も近日中に進めて行くので是非期待＆応援よろしくお願いします💪

音楽生成AIのSunoで5500万件超の個人情報流出

人気の音楽生成AIサービスSunoにおいて、5,528万件を超えるメールアドレスなどの個人情報が流出していたことが判明しました
流出したデータにはStripeの購入情報なども含まれており、2025年11月に発生した侵害が今になって明らかになった形です
AIサービスにおけるセキュリティ対策の難しさと、ユーザー側の自己防衛の重要性が改めて浮き彫りになっています

まつにぃ: なに、Suno漏れてんのか。確定で私のも漏れているな...

catnose: 「最悪な形で情報漏洩したときにヤバいTierリスト」を作るならこんな感じ？ https://t.co/5cEVTO2Yil

llama.cpp v0.6.0でLLM-jpモデルが公式サポート

大規模言語モデルをローカル環境で高速に推論するためのライブラリ「llama.cpp」のバージョン0.6.0がリリースされました。
このアップデートにより、日本語に特化したオープンモデルである「LLM-jp」が公式にサポートされました。
LLM-jp-4のベースモデルが標準的なTransformerアーキテクチャを採用しているため、チューニングなどが容易に行えると開発者から評価されています。

Odashi: llama.cpp v0.6.0 でLLM-jpモデルが公式にサポートされました。 https://t.co/J2kI3fyauM

Odashi: LLM-jp-4のベースモデルがvanilla Transformerであるお陰で何も考えずチューニングとか色々できるのはよい