学術研究 【geek-terminalニュース】AI数学炎上、Mathocalypse化とLean検証・査読負荷の最新情報
📝 本日のニュース概要 以前お伝えしたOpenAI数学原稿公開の続報です。AI生成証明の大量流入、Lean検証、査読負荷、暗号安全性、数学者コミュニティの反発、OpenAIボイコット論まで、数学がCI/CD化する社会技術的衝突を深掘りします...
OpenAI
学術研究 学術研究 【geek-terminalニュース】OpenAIのAI数学証明大量公開で査読インフラが揺れ始めた最新情報
📝 本日のニュース概要 OpenAIが未公開内部モデルで生成した数学原稿722本を公開し、372の結果ファミリーとして提示。Lean形式化、GitHub公開、査読負荷、数学コミュニティの反応まで深掘りします。 以前お伝えしたAI数学・Lea...
学術研究 【geek-terminalニュース】GPT-6系に浮上したLooped推論疑惑の最新情報
📝 本日のニュース概要 以前お伝えしたrecurrent depth疑惑の続報です。Microsoftの一時掲載とされるGPT-6.1 Sol情報をきっかけに、同じ重みを複数回回して推論深度を稼ぐLooped Transformersが議論...
ロボティクス＆エージェント 【geek-terminalニュース】AIエージェント時代の支出上限論、Simon Willisonが問う“財布を持つAI”の最新情報
📝 本日のニュース概要 以前お伝えしたAIエージェントの権限境界・承認ゲート問題の続報です。Simon Willisonが提起した、従量課金APIやクラウドにはデフォルトのハード支出上限が必要だという実務論を深掘り。Reddit、HN、lo...
ロボティクス＆エージェント 【geek-terminalニュース】SKILL.md標準化でプロンプトが“実行仕様”になる最新情報
📝 本日のニュース概要 以前お伝えしたCLAUDE.mdやSKILL.md監査の続報です。今回はGoogle、OpenAI、Anthropic系のエージェント運用を横断する“Skills”フォーマット標準化の流れを、公式裏付け・報道・Red...
商用巨大LLM 【geek-terminalニュース】GPT-6.1 Solの最新情報：近Astra性能を5分の1価格で出せるのか
📝 本日のニュース概要 以前お伝えしたGPT-6 Sol/LunaやOpenAIのフロンティア安全ゲート問題の続報です。GPT-6.1 Solは、近Astra性能、API価格、Codex運用、安全評価が一気に衝突したフロンティアモデル競争の...
ロボティクス＆エージェント 【geek-terminalニュース】OpenAI Dotsの最新情報：常時稼働AIが“自分のクラウドPC”を持つ時代へ
📝 本日のニュース概要 OpenAIがDevDay 2026で発表した常時稼働型エージェント「Dots」を深掘り。GPT-6 Astra、独自クラウドコンピューター、4,000以上のアプリ接続、承認ルール、監査可能性、そしてRedditで噴...
セキュリティ＆脆弱性 【geek-terminalニュース】OpenAIの訓練停止ゲート、フロンティアAI競争の主戦場が“いつ止めるか”へ移った最新情報
📝 本日のニュース概要 以前お伝えしたOpenAIのミスアラインメント開示、DNS到達、AIワーム疑惑の続報です。今回は個別インシデントではなく、最も強力なモデルの訓練・評価・ツール使用を伴う推論を一時停止するという運用判断そのものに焦点を...
セキュリティ＆脆弱性 【geek-terminalニュース】AIワーム実戦化疑惑の最新情報
📝 本日のニュース概要 以前お伝えしたOpenAI/Hugging Face侵害・評価環境攻撃面の続報です。今回は、自己複製型プロンプトインジェクションがAIエージェント間を伝播する“AIワーム”として議論され始めた件を、事実確認とコミュニ...
ロボティクス＆エージェント 【geek-terminalニュース】GPT-6 Astra空間記憶とヒューマノイド制御疑惑の最新情報
📝 本日のニュース概要 以前お伝えしたGPT-6 Astra空間推論・ドローン操縦の続報です。未知の室内での物体記憶、曖昧な自然言語、ヒューマノイド操作がつながると、AIはチャット欄から家庭内OSへ近づくのか。公式情報で確認できる長期計画・...