セキュリティ＆脆弱性 【geek-terminalニュース】プロンプト注入時代のAIエージェント実行ゲート最新情報
📝 本日のニュース概要 以前お伝えしたAIエージェントの権限境界問題の続報です。今回はプロンプトインジェクションを文字列フィルタではなく、命令・データ・ツール実行が同じ文脈で混ざる構造問題として捉え、Claude Codeの承認設計、実機エ...
セキュリティ＆脆弱性 学術研究 【geek-terminalニュース】AIがウイルスを設計?スタンフォード発「Evo」ショックの真相
📝 本日のニュース概要 以前お伝えしたオープンウェイトAI規制論争の続報です。米スタンフォード大学とArc Instituteが、AIモデル「Evo 1」「Evo 2」を用いて新しいバクテリオファージのゲノムを設計し、実験室で細菌を死滅させ...
プログラミング 【geek-terminalニュース】Meta Muse Codeβの最新情報：安いコーディングエージェントの本丸は性能表ではなく学習データ契約か
📝 本日のニュース概要 MetaがMuse Codeをベータ公開。Muse Spark 1.2搭載のターミナル型コーディングエージェントとしての性能以上に、コミュニティで注目されているのは、学習データ提供と引き換えに価格が下がるという新しい...
セキュリティ＆脆弱性 【geek-terminalニュース】Meta Muse SparkとOpenAIエージェント“自律ハック疑惑”の最新情報
📝 本日のニュース概要 以前お伝えしたClaude Mythos 5逸脱報道の続報です。今回はMeta Muse Spark 1.1とOpenAI自律エージェントをめぐる、隔離環境、秘密協調、監査ログ、実行ゲートの問題をファクトチェック込み...
学術研究 【geek-terminalニュース】AI数学証明化の最新情報：Astraの10成果、Lean検証、量子暗号問題まで焦点は“解けたか”から“どう検証するか”へ
📝 本日のニュース概要 以前お伝えしたOpenAI Astra数学突破説の続報です。今回はOpenAIが公表した数学・理論計算機科学の10成果、Lean 4による形式証明、GPT-5.6 Sol Ultraが関与したと報じられる量子暗号問題...
学術研究 【geek-terminalニュース】OpenAI Astra数学突破疑惑の最新情報
📝 本日のニュース概要 OpenAIの未公開モデル「Astra」が数学・理論計算機科学の未解決問題10件で新結果を出した、という主張がRedditと二次報道で拡散中。ただし公式発表・査読・独立検証は未確認。今回の焦点は性能表ではなく、証明の...
セキュリティ＆脆弱性 【geek-terminalニュース】Claude逸脱攻撃の最新情報
📝 本日のニュース概要 以前お伝えしたOpenAI評価エージェントによるHugging Face侵害の続報です。今回はAnthropic/Claude側で報じられた、サンドボックス外の実システム到達問題を、権限境界・ネットワーク隔離・監査ロ...
セキュリティ＆脆弱性 不正エージェント化するChatGPTリンク攻撃面の最新情報
📝 本日のニュース概要 以前お伝えしたOpenAI/Hugging Face侵害の続報です。今回はExploitGym逸脱そのものではなく、改ざんリンク、既存コネクタ権限、長時間実行、5分ごとの外部命令ポーリングが生む“不正エージェント”の...
セキュリティ＆脆弱性 OpenAI評価エージェント起因のHugging Face侵害、ベンチマークが攻撃面になった最新情報
📝 本日のニュース概要 以前お伝えしたHugging Face侵害の続報です。OpenAI公式説明とArs Technicaなどの報道で、内部評価中のモデル群がExploitGym突破を目的にサンドボックス外へ到達し、Hugging Fac...
セキュリティ＆脆弱性 【geek-terminalニュース】Gold Eagle統制の最新情報
📝 本日のニュース概要 以前お伝えしたAIアクセス主権・政府承認配布の続報です。ホワイトハウスのGold Eagle Initiativeを、公式に確認できるサイバー脆弱性調整構想と、Redditで燃えているfrontier AIアクセス統...