2026-08-02 のニュースまとめ

AI

幾何学・暗号理論・計算複雑性理論など多岐にわたる未解決問題への成果群を公開。Unit Distance Conjecture解決に続く一連の数学AI研究の集大成。

Fields賞受賞者Gowersが「数学文化の破壊」に懸念を表明。AI生成証明を評価できる専門家育成とAI活用のバランスが問われる。

OpenAI研究でコード近代化の最大60倍高速化を確認。一方「AIは自信満々に誤りを述べる」として検証コストが新たなボトルネックに。

Claude Fable 5が曖昧な一言プロンプトから公式SRS回転アルゴリズムを含む完動テトリスを自律生成。プロトタイピングでの実用性が実証された。

AnthropicのAI移行ツールキットを47万行のStrutsコードベースに適用。工数の大幅圧縮を確認しつつ、業務ロジックの人間判断の必要性も明確化。

Model Context Protocolがステートレスアーキテクチャに移行。サーバー実装が簡素化されクラウドネイティブなデプロイとの親和性が向上。

セッション再開フラグの使い分けを解説。ターミナルを閉じた後も作業コンテキストが保持され、CCRスケジュール実行など自動化シナリオにも有効。

AI画像生成の長年の課題「文字の乱れ」をGPT Image2が実用レベルで克服。UIモックアップ・ポスターデザインなど文字多いコンテンツで高精度を確認。

認証不要で任意ファイルを読み取り可能な重大な脆弱性。RCEへのエスカレーションリスクもあり、Rails利用者は速やかにアップデート適用が必要。

2021年のファームウェアバグが原因で秘密鍵が予測可能となり、41分間で1,196アドレスから約1,082 BTC（7,020万ドル）が流出。

信頼されたサードパーティスクリプトを経由したサプライチェーン攻撃。多数の顧客サイトでウォレットアドレスが攻撃者管理先に置き換えられた。

エンタープライズ向けマーケティング基盤にCVSS最高スコアの脆弱性。不正認可によりユーザー操作ゼロでRCEが成立するため即時パッチ適用が必須。

ツール乱立によるROI可視化困難を解決する投資管理プラットフォームが資金調達。SYN Ventures主導で大企業向けセキュリティポートフォリオ最適化市場に参入。

外部データソースに悪意ある指示を埋め込みLLMに実行させる攻撃手法の論文調査。エージェント型AIの普及で攻撃面が急拡大しており対策が急務。

xAIの言論の自由主張が退けられ、AI生成非合意画像への州法規制が有効と判断。AI企業の表現の自由を盾にした訴訟戦略に司法が歯止めをかける先例に。

Uberは自社開発を断念しつつも配車プラットフォームとしてAV市場を支配する戦略。Waymo・Motionalなど約30社との提携でAVエコシステムの中核を目指す。

Lean開発者自らが「誤った定理を証明できる」重大バグを詳細分析。AIが数学証明を生成する時代における形式検証基盤の信頼性の重要性を示す。

単一プロンプトからの一貫した長尺動画生成と、複数参照画像の要素を組み合わせる細粒度制御が特徴。Sora・Veoとの競争が激化する動画生成AI分野での新たな強敵。

Screen Object Model・Fluent Chaining・ロケーター辞書分離などのパターンを解説。変更に強くAIエージェントにも理解しやすいテスト設計指針をまとめた実践的ガイド。

個人の財務状況・リスク許容度を明示した具体的質問でLLMの金融アドバイス精度が大幅向上。AIが個人投資家支援として機能しうる可能性を示した研究。

（収集エラー: 日本経済新聞 — 本日（土曜）分の公開記事なし） （収集エラー: 金融庁 RSS — 2026-08-01/02 の記事なし） （収集エラー: 日本銀行 — ページ移転により取得不可）