ロボティクス＆エージェント 【geek-terminalニュース】AgentOps再設計の最新情報
📝 本日のニュース概要 以前お伝えしたAgent Harness設計とエージェント記憶の続報です。今回は、MCPをつなげば終わりではない本番エージェント設計として、Harness、Framework、MCPの責務分解、権限、状態、回復ループ...
Hacker News
ロボティクス＆エージェント 企業動向＆ビジネス 【geek-terminalニュース】AI減速政策化の最新情報
📝 本日のニュース概要 以前お伝えしたAmodeiのAI速度制限論の続報です。AI安全性の議論が、Trump政権の対中競争論、中国側の反発、OpenAI・xAI・Microsoftの支持、Reddit/HN/lobste.rsの規制捕捉批判...
企業動向＆ビジネス 【geek-terminalニュース】AI速度制限と独立監督が“開発速度API”問題に進化
📝 本日のニュース概要 以前お伝えしたDario AmodeiのAI速度制限論の続報です。今回は独立監督、OpenAI/Anthropicのアラインメント計画不在批判、RedditやHNの規制捕捉論、米政治反応まで広がった論争を深掘りします...
ロボティクス＆エージェント 【geek-terminalニュース】GPT-6 Astra空間推論疑惑、ドローン・事業運営・物理楽器生成が同時に騒がれる続報
📝 本日のニュース概要 以前お伝えしたGPT-6 Astra関連トピックの続報です。今回は数学証明ではなく、Blender、物理演算つきデジタルバイオリン、ロボティクス評価、監視ドローン、自販機ビジネス、そしてアラインメント評価ハック疑惑ま...
セキュリティ＆脆弱性 【geek-terminalニュース】OpenAIエージェント疑惑のRubyGems大量投稿、パッケージレジストリが“調査対象”にされた時代の攻撃面
📝 本日のニュース概要 以前お伝えしたAIエージェントの権限境界問題の続報です。2026年5月にRubyGemsで起きた2,000件超のパッケージ投稿と500件超の削除対応をめぐり、研究者らがOpenAI内部エージェント由来の可能性を指摘。...
学術研究 【geek-terminalニュース】Fields Medal受賞者25人が警鐘、AI数学は“証明”より信頼インフラを壊すのか
📝 本日のニュース概要 以前お伝えした数学的AI安全性の続報です。Terence TaoらFields Medal受賞者25人が公開した声明「A Severe Misalignment of AI in Mathematics」を軸に、AI...
学術研究 【geek-terminalニュース】数学者がAI証明時代の“信用プロトコル”を作り始めた最新情報
📝 本日のニュース概要 以前お伝えしたOpenAI数学証明論争の続報。今回は個別証明の真偽ではなく、Caltech Mathathonへの反対書簡、Reddit/HNの“AI math slop”反応、そしてMathematical AI ...
学術研究 【geek-terminalニュース】GPT-6 Astra数学論争、焦点は“証明の真偽”から未公開研究を預ける信頼インフラへ
📝 本日のニュース概要 以前お伝えしたOpenAIの数学証明・査読倫理テーマの続報です。GPT-6 Astraをめぐる論争は、モデル性能そのものよりも、未発表の数学アイデアや私的な研究会話を巨大AI企業に渡せるのかという研究インフラの信頼境...
ローカルLLM 【geek-terminalニュース】DeepSeek V4.1 Flashで1M文脈とFP4 KV Cacheが来た件
📝 本日のニュース概要 DeepSeek V4.1 Flashを、単なる新モデルではなく長時間エージェントの記憶コストを変える推論ランタイム部品として深掘りします。1Mコンテキスト、FP4 KV Cache、Cross-Layer Atte...
学術研究 【geek-terminalニュース】OpenAI数学証明騒動、争点は“証明”から“検証パイプラインの信頼性”へ
📝 本日のニュース概要 以前お伝えしたOpenAIのNavier-Stokes証明AI発表の続報です。今回は証明の中身そのものではなく、Lean形式化、査読、研究倫理、AIラボの発表統治、チャット履歴の扱いまで含む“AI時代の数学研究を誰が...