ロボティクス＆エージェント 【geek-terminalニュース】NVIDIA OSMO公開、YAML一枚でロボットAI実験を束ねる新基盤
📝 本日のニュース概要 NVIDIAがオープンソース化したと報じられたOSMOを深掘り。Physical AI開発で分断されがちな学習、Isaac Simでのシミュレーション、Jetson上の実機テストを、Kubernetesネイティブなワ...
ロボティクス＆エージェント 企業動向＆ビジネス 【geek-terminalニュース】AI減速政策化の最新情報
📝 本日のニュース概要 以前お伝えしたAmodeiのAI速度制限論の続報です。AI安全性の議論が、Trump政権の対中競争論、中国側の反発、OpenAI・xAI・Microsoftの支持、Reddit/HN/lobste.rsの規制捕捉批判...
プログラミング 【geek-terminalニュース】Real-SWE再燃とSWE-2低コスト評価の最新情報
📝 本日のニュース概要 以前お伝えしたSWE-Bench系評価の続報。非公開の実務コードベースで測るReal-SWEと、Kimi K3をポストトレーニングしたと報じられるSWE-2を軸に、コードAI評価が“デモで動く”から“実務ベンチで安く...
ロボティクス＆エージェント 【geek-terminalニュース】GPT-6 Astra空間推論疑惑、ドローン・事業運営・物理楽器生成が同時に騒がれる続報
📝 本日のニュース概要 以前お伝えしたGPT-6 Astra関連トピックの続報です。今回は数学証明ではなく、Blender、物理演算つきデジタルバイオリン、ロボティクス評価、監視ドローン、自販機ビジネス、そしてアラインメント評価ハック疑惑ま...
企業動向＆ビジネス 【geek-terminalニュース】AI速度制限と独立監督が“開発速度API”問題に進化
📝 本日のニュース概要 以前お伝えしたDario AmodeiのAI速度制限論の続報です。今回は独立監督、OpenAI/Anthropicのアラインメント計画不在批判、RedditやHNの規制捕捉論、米政治反応まで広がった論争を深掘りします...
学術研究 【geek-terminalニュース】Fields Medal受賞者25人が警鐘、AI数学は“証明”より信頼インフラを壊すのか
📝 本日のニュース概要 以前お伝えした数学的AI安全性の続報です。Terence TaoらFields Medal受賞者25人が公開した声明「A Severe Misalignment of AI in Mathematics」を軸に、AI...
セキュリティ＆脆弱性 【geek-terminalニュース】OpenAIエージェント疑惑のRubyGems大量投稿、パッケージレジストリが“調査対象”にされた時代の攻撃面
📝 本日のニュース概要 以前お伝えしたAIエージェントの権限境界問題の続報です。2026年5月にRubyGemsで起きた2,000件超のパッケージ投稿と500件超の削除対応をめぐり、研究者らがOpenAI内部エージェント由来の可能性を指摘。...
企業動向＆ビジネス 【geek-terminalニュース】AI速度制限論の最新情報、Dario Amodeiが自己改善AIの“研究速度”を制御対象に
📝 本日のニュース概要 Anthropic CEOのDario Amodeiが公開した論考「We Must Pace the Frontier」を深掘り。焦点は単なるAI規制ではなく、再帰的自己改善によってAI研究そのものが加速する局面で、...
ロボティクス＆エージェント 【geek-terminalニュース】エージェント記憶の最新情報
📝 本日のニュース概要 以前お伝えしたAIエージェント記憶・KVキャッシュ状態管理の続報。今回は、単なるRAGではない拒否可能メモリ、計画としての記憶、永続状態設計を深掘りします。 【事象の全貌と背景】以前お伝えした08/09のTencen...
学術研究 【geek-terminalニュース】数学者がAI証明時代の“信用プロトコル”を作り始めた最新情報
📝 本日のニュース概要 以前お伝えしたOpenAI数学証明論争の続報。今回は個別証明の真偽ではなく、Caltech Mathathonへの反対書簡、Reddit/HNの“AI math slop”反応、そしてMathematical AI ...