セキュリティ＆脆弱性 【geek-terminalニュース】eMudhra中間CA侵害とFirefox対応の最新情報
📝 本日のニュース概要 TLSの信頼の根っこである認証局の中間証明書が侵害された疑いで、MozillaがFirefoxユーザー保護のための対応を告知しました。lobste.rsでの議論をもとに、PKIの失効・不信任の仕組み、非ブラウザクライ...
lobste.rs
セキュリティ＆脆弱性 企業動向＆ビジネス 【geek-terminalニュース】Linus反AI規則論とlobste.rs「vibecodingタグ」論争の最新情報
📝 本日のニュース概要 Linux創始者Linus TorvaldsがAI関連の規則について語ったとされる話題と、lobste.rsで起きている「vibecodingタグ」を巡る議論を取り上げます。なお、Linus本人の発言内容は公式ソース...
ロボティクス＆エージェント 【geek-terminalニュース】AgentOps再設計の最新情報
📝 本日のニュース概要 以前お伝えしたAgent Harness設計とエージェント記憶の続報です。今回は、MCPをつなげば終わりではない本番エージェント設計として、Harness、Framework、MCPの責務分解、権限、状態、回復ループ...
企業動向＆ビジネス 【geek-terminalニュース】AI減速政策化の最新情報
📝 本日のニュース概要 以前お伝えしたAmodeiのAI速度制限論の続報です。AI安全性の議論が、Trump政権の対中競争論、中国側の反発、OpenAI・xAI・Microsoftの支持、Reddit/HN/lobste.rsの規制捕捉批判...
学術研究 【geek-terminalニュース】GPT-6 Astra数学論争、焦点は“証明の真偽”から未公開研究を預ける信頼インフラへ
📝 本日のニュース概要 以前お伝えしたOpenAIの数学証明・査読倫理テーマの続報です。GPT-6 Astraをめぐる論争は、モデル性能そのものよりも、未発表の数学アイデアや私的な研究会話を巨大AI企業に渡せるのかという研究インフラの信頼境...
学術研究 【geek-terminalニュース】OpenAI数学証明騒動、争点は“証明”から“検証パイプラインの信頼性”へ
📝 本日のニュース概要 以前お伝えしたOpenAIのNavier-Stokes証明AI発表の続報です。今回は証明の中身そのものではなく、Lean形式化、査読、研究倫理、AIラボの発表統治、チャット履歴の扱いまで含む“AI時代の数学研究を誰が...
セキュリティ＆脆弱性 【geek-terminalニュース】AI Agent攻撃面の最新情報：ツール接続・権限境界・ポイズニングがそのまま侵入口になる時代
📝 本日のニュース概要 以前お伝えしたプロンプト注入・権限境界・AIサイバー能力の続報です。今回は個別事件ではなく、AI Agentの攻撃面全体を、ツール接続、MCP、外部データ、メモリ、停止条件、最小権限、被害半径の設計論として整理します...