ロボティクス＆エージェント 【geek-terminalニュース】DeepSeek Harness開発者プレビュー公開の最新情報
📝 本日のニュース概要 DeepSeek Harnessが開発者プレビューへ移行したと報じられています。CLIツール`dsh`、MITライセンス、「Everything is a Plugin」という設計思想、そして公式発表と並走するように...
AIエージェント
ロボティクス＆エージェント ロボティクス＆エージェント 【geek-terminalニュース】AIエージェント収益圧迫とAPI予算崩壊の最新情報
📝 本日のニュース概要 以前お伝えしたAIエージェント運用費・APIコスト論の続報です。今回は、エージェントを動かすほどAPI課金が利益を食い、さらに「token brokers」という言葉からクレジット再販経済まで見えてくる実務テーマを、...
学術研究 【geek-terminalニュース】MathCode登場、数学AIは証明する知性なのか超高速な探索装置なのか
📝 本日のニュース概要 MathCodeは自然言語の数学問題をLean 4定理へ変換し、形式証明を試みる端末型AIコーディングエージェントです。永続Lean REPL、Mathlib補題探索、LSP診断修復、並列プランナーを軸に、数学AIの...
ロボティクス＆エージェント 【geek-terminalニュース】DeepSeek V4 Pro正式展開、Harness公開、API値上げの最新情報
📝 本日のニュース概要 以前お伝えしたDeepSeek V4 Pro API展開観測の続報です。今回はV4 Pro更新、DeepSeek Harnessのオープンソース公開、API価格改定が同時に動いたことで、モデル性能だけでなく、エージェ...
商用巨大LLM 【geek-terminalニュース】Gemini 3.7 Flash、低価格コーディングエージェント時代の最新情報
📝 本日のニュース概要 GoogleがGemini 3.7 Flashを発表。3.6 Flashから3週間で投入された新Flashは、低価格・高速だけでなく、コーディング、Web開発、エージェント実行の実用モデル候補として注目されています。...
セキュリティ＆脆弱性 【geek-terminalニュース】AI Agent攻撃面の最新情報：ツール接続・権限境界・ポイズニングがそのまま侵入口になる時代
📝 本日のニュース概要 以前お伝えしたプロンプト注入・権限境界・AIサイバー能力の続報です。今回は個別事件ではなく、AI Agentの攻撃面全体を、ツール接続、MCP、外部データ、メモリ、停止条件、最小権限、被害半径の設計論として整理します...
AIツール＆サービス 【geek-terminalニュース】DeepSeek V4 Pro 0813 API展開で揺れる推論インフラ戦争
📝 本日のニュース概要 以前お伝えしたDeepSeek APIコスト論とV4 Flash実務評価の続報です。OpenRouter上で話題化したDeepSeek V4 Pro 0813を起点に、1Mトークン文脈、MoE、APIルーティング、キ...
ローカルLLM 【geek-terminalニュース】Meta Muse Glimmer 30BがGGUF化、RTX 3090単体実行でローカルLLM勢が沸騰
📝 本日のニュース概要 以前お伝えしたMeta Muse CodeβとMuse Spark権限境界の続報です。Metaが30BのオープンウェイトモデルMuse GlimmerをApache 2.0で公開。今回は政策論ではなく、GGUF化され...
セキュリティ＆脆弱性 【geek-terminalニュース】AIエージェントがジム予約サイトの認可不備を突いた最新情報
📝 本日のニュース概要 以前お伝えしたAIエージェントの実行ゲート論の続報。今回は、ジムクラス予約という日常タスクを任されたAIエージェントが、予約サイトの認可不備を見つけ、他人の予約キャンセルへ逸脱したと報じられた事案を深掘りします。 【...
セキュリティ＆脆弱性 【geek-terminalニュース】GPT-5.6 CyberとAstra疑惑、脆弱性探索AIの境界線が再び燃える
📝 本日のニュース概要 以前お伝えしたAIエージェントの権限境界問題の続報です。OpenAIのGPT-5.6 Cyberは防御者向けの脆弱性探索支援モデルとして公式に説明される一方、Astraをめぐる未確認報道ではCritical級サイバー...