セキュリティ＆脆弱性 Atlassian Rovo外部流出デモ疑惑と業務AI権限境界の最新情報
📝 本日のニュース概要 以前お伝えしたMCP・LLMアプリ監査CIの続報です。今回はAtlassian Rovoを題材に、プロンプトインジェクションがConfluence、Jira、Google Drive、SharePointなどの業務デ...
Geek Terminal
セキュリティ＆脆弱性 セキュリティ＆脆弱性 【geek-terminalニュース】AI監査CIの最新情報：MCPとLLMアプリがDevSecOpsの本番課題に落ちてきた
📝 本日のニュース概要 以前お伝えしたAIエージェントの権限境界問題の続報です。今回はMCPサーバー、LLMアプリ、AIプラグイン、資格情報窃取リスクを横断し、CIで何を監査すべきかを整理します。 以前お伝えしたAIエージェント権限境界問題...
ローカルLLM 【geek-terminalニュース】Qwen3.8追加サイズ展開でローカルLLM勢が再燃
📝 本日のニュース概要 以前お伝えしたQwen3.8-Max本体発表の続報です。今回は2.4兆パラメータ級の看板モデルではなく、ローカル勢が実際に触れる可能性のある追加サイズ展開、27B級モデル、オープンウェイト予定、MoE巨大化競争が手元...
ローカルLLM 【geek-terminalニュース】DeepSeek V4 Flash実測、284B MoEを“手元で動かす”時代の最新情報
📝 本日のニュース概要 以前お伝えしたDeepSeek V4 Flash 0731更新の続報です。今回は重み公開やAPI価格ではなく、284B MoEを単一MI300Xやローカル環境でどこまで動かせるのかという実測・運用限界・低コスト推論の...
ローカルLLM 【geek-terminalニュース】Qwen3.8-Maxと27Bローカル期待の最新情報
📝 本日のニュース概要 AlibabaのQwen3.8-Max発表と、Qwen3.8-27BをめぐるローカルLLM勢の熱狂を整理。2.4兆パラメータMoE、100万トークン文脈、オープンウェイト予定、VRAM見積もり、量子化待ちの現場感まで...
ローカルLLM 【geek-terminalニュース】MiniMax H3、Hugging Face公開とComfyUI Day-0対応でローカル動画生成勢の実験素材に
📝 本日のニュース概要 MiniMax H3のオープンウェイト公開、ComfyUIのDay-0対応、AI動画ランキングでの評価、そしてRedditコミュニティのリアルな反応を深掘りします。ランキング首位より重要なのは、今日ワークフローに組み...
学術研究 【geek-terminalニュース】AI数学証明化の最新情報：Astraの10成果、Lean検証、量子暗号問題まで焦点は“解けたか”から“どう検証するか”へ
📝 本日のニュース概要 以前お伝えしたOpenAI Astra数学突破説の続報です。今回はOpenAIが公表した数学・理論計算機科学の10成果、Lean 4による形式証明、GPT-5.6 Sol Ultraが関与したと報じられる量子暗号問題...
学術研究 【geek-terminalニュース】数学証明AIが揺らす査読と形式証明の最新情報
📝 本日のニュース概要 以前お伝えしたOpenAI Astra数学問題突破説の続報です。今回はAstra単体ではなく、Fableによる再現疑惑、Lean/Coq/F*の形式証明、数学者コミュニティの検証問題までを横断して整理します。 以前お...
学術研究 【geek-terminalニュース】数学証明AIが揺らす査読と形式証明の最新情報
📝 本日のニュース概要 以前お伝えしたOpenAI Astra数学問題突破説の続報です。今回はAstra単体ではなく、Fableによる再現疑惑、Lean/Coq/F*の形式証明、数学者コミュニティの検証問題までを横断して整理します。 以前お...
学術研究 【geek-terminalニュース】OpenAI Astra数学突破疑惑の最新情報
📝 本日のニュース概要 OpenAIの未公開モデル「Astra」が数学・理論計算機科学の未解決問題10件で新結果を出した、という主張がRedditと二次報道で拡散中。ただし公式発表・査読・独立検証は未確認。今回の焦点は性能表ではなく、証明の...