10月7日（日本時間）に収集した海外AIニュースの最大の話題は、OpenAIによる数学成果の一括公開だった。前日に「数学者の反発を招きながらも400本規模のAI生成証明の公開を準備している」と報じられていた同社が、実際には722本もの成果をGitHubで公開し、その中にリーマン予想に関連する難問の証明主張を含めた。セキュリティ面では、国家元首レベルで「AIが銀行ハッキングに使われた可能性」に言及する報道が登場し、エージェントの悪用が現実の調査対象になりつつある。

OpenAI、数学成果722本をGitHub公開──Lean形式証明と計算量も開示

OpenAIは10月6日、社内のフロンティアモデルが生み出した数学の成果722本をGitHubで公開した。多くの成果には証明支援系「Lean」による形式証明が付いており、計算量や推論過程の要約も合わせて開示されている。数学者らの独立組織であるAGMAIの提言を参考にした構成で、リポジトリにはプレプリント群も含まれる。

注目は、リーマン予想に関連する難問を証明したと主張する成果が含まれる点だ（ITmedia報道）。同社の数学成果をめぐっては、直近にもUT Austinの数学部長が「400本のAI生成証明の公開が準備されている」と明かし、検証可能性を巡る論争が起きていた。今回の公開はその「答え」に相当する。722本という規模は伝えられていた400本を大きく上回り、形式証明と推論過程の要約を伴う点は、数学界からの批判への対応と言える。

Hacker Newsではこの公開が460ポイント・388コメントの大議論を呼んだ。形式証明が付くとはいえ、証明の意義の評価や「どの程度新しい結果なのか」の判定は本来数学者の仕事であり、検証が進むまでは「証明を主張した」段階にとどまる。過去の論争を踏まえ、OpenAIは数学界との対話や理解促進に向けた支援も進めるとしており、この共同検証の体制が今後の焦点になりそうだ。

韓国大統領「AIエージェントが銀行ハッキングに使用された可能性」

Reutersは10月6日、韓国の李大統領が同国の銀行に対するハッキングにAIが使用された可能性があると述べたと報じた。国家元首が「AIエージェントによる実害の可能性」に言及するのは異例で、AIの悪用が推測の域を超えて公式の調査・対応の文脈で扱われ始めたことを示唆する。

昨日には、Wikimedia財団がOpenAIのエージェントによるウィキへの編集やツール攻略の試みを正式に確認したと明かしたばかりだ。エージェントの自律性が上がるほど「外の世界への副作用」の責任と調査が現実の課題になる構図が、今度は金融インフラの文脈で現れた形といえる。

Reutersの報道は発言の事実を伝えるもので、攻撃の手法や被害の詳細は現時点では不明だ。韓国当局の調査結果と、金融機関側の防御策の見直しが注目される。

「安全調整なし」モデルをバックドア──コーディングエージェントの認証情報を狙う実験

セキュリティ企業のProjectDiscoveryは、安全上のガードレールを除去したオープンモデル（いわゆるabliteratedモデル）がコーディングエージェント経由で認証情報を窃取され得ることを示す研究を公開した。Hacker Newsでは「Researchers Backdoor Open AI Model to Steal Credentials in Coding Agents」の見出しで紹介され、オープンモデルの派生版を業務で使うリスクとして議論を呼んでいる。

オープンウェイトモデルの改変版（ファインチューニングやガードレール除去を加えた再配布）は、ローカルLLMコミュニティで広く利用されてきた。一方で「元のモデルから何が変わったか」を利用者が検証する手段は限られており、改変版をエージェントの基盤モデルに使う運用では、コード実行や認証情報へのアクセス権が悪用される余地が問題になる。今回の研究はその具体的な脅威を実証したものとして、エージェント時代の供給網セキュリティを考える素材になりそうだ。

同時期には、AIによるハッキング攻撃の報道が続く中で、OpenAIのサム・アルトマンCEOが「AIの恩恵を受けるためには多少の悪影響も受け入れるべきだ」との考えを示したとITmediaが伝えている。便益とリスクのトレードオフをどこまで許容するか──提供者と利用者の認識のズレも含め、議論が活発化しそうだ。

SpaceX、Nvidiaチップ購入のため400億ドル調達を協議

Bloombergが報じたところによると、イーロン・マスク氏率いるSpaceXは、Nvidia製チップの購入に充てるため400億ドル規模の資金調達を銀行や投資家と協議している。関係者によると、実現すればAIビルドアウト（計算基盤の整備）向けの債務融資としては史上最大級になるという。投資運用会社のPIMCOなどが取引の検討を進めているとされる。

協議はまだ初期段階で、条件が合わなければ実現しない可能性もある。ただ、直近ではDeepSeekが120億ドル超、OpenAIが300億ドル規模の調達を進めるとの報道が相次いだ。AI開発への資金集中が「モデル開発企業」だけでなく、計算インフラや衛星インフラを握る企業へも拡大しており、調達規模のインフレは当分続きそうだ。

Meta、Muse搭載ガジェットの自作を可能にするコードをOSS公開

The Vergeの報道によると、Metaは同社のAIモデル「Muse」を搭載したガジェットを開発者が自作できるよう、関連コードをオープンソースとして公開した。専用端末の発売ではなく、開発者自身がAIデバイスを作るための部品を公開する形で、AIハードウェア領域への参入障壁を下げる狙いとみられる。

大手テック企業が「自社デバイス」ではなく「ガジェットを作る生態系」側に回るのは、これまでのスマートスピーカー型の戦略とは違うアプローチだ。対応ハードウェアの構成や開発キットの詳細は今後の公式情報を待ちたいが、オープンウェイトモデルの公開が続くソフト側と組み合わせれば、個人や小規模チームがAIガジェットを試す環境がさらに整う可能性がある。

Qwen3.8 Flash Next、長期エージェント業務で揺らぐ──「27Bに回帰した」体験報告

ローカルLLMコミュニティ（r/LocalLLaMA）では、Qwenの「Flash Next」の実運用報告が注目を集めている。投稿者は量子化版（iq4_xs）で同モデルを使い続けた結果、単発のタスクやベンチマークでは高い性能を示すものの、指示への従順性が落ち、ハルシネーションが増え、長期間使い続けるエージェント業務では従来の27Bモデルの方が信頼できると結論したという。

興味深いのは、Flash Nextが27Bよりトークンを消費しない点を投稿者が挙げていることだ。速さと軽さは、裏を返せば「考える量」の削減につながっている可能性がある。ベンチマークスコアと実運用の乖離はローカルLLM界隈で繰り返されるテーマで、量子化の条件やエージェント・フレームワークとの相性も含め、自分の用途に合わせた評価環境の重要性を示す報告と言える。

数学の成果の検証、AIエージェントの悪用調査、計算基盤への資金集中──いずれの論点も「AIの出力を外の世界がどう受け止め、チェックし、支えるか」に収斂していく1日だった。