学術研究 【geek-terminalニュース】OpenAIがETH反証を主張、提唱者らが検証へ――Claude独立発見説も
📝 本日のニュース概要 以前お伝えしたAI数学証明騒動の続報です。OpenAIが指数時間仮説（ETH）の反証を主張し、提唱者を含む外部専門家による検証へ。Leanによる形式検証で何が確認でき、何を人間が確かめる必要があるのか。Claudeに...
2026-10
学術研究 ロボティクス＆エージェント 【geek-terminalニュース】Genie 4の最新情報：音が出る世界モデルはAIの訓練場になるか
📝 本日のニュース概要 Google DeepMindの世界モデル「Genie 4」を、追加確認した公式ブログとRedditの反応から解説。音声生成とGeminiによる進行制御が何を変えるのか、物理的な見栄えとエージェントの学習環境としての...
学術研究 【geek-terminalニュース】DNAと会話するCarbon-X公開！148億パラメータの設計とローカル実行の注意点
📝 本日のニュース概要 DNA配列と自然言語を同じモデルで扱うCarbon-Xが公開。6-merトークナイザー、研究用途の入出力、公開範囲を掘り下げます。Redditでは学習データや英語能力の保持をめぐる濃密な質疑も。GGUFの告知と現行公...
ロボティクス＆エージェント 【geek-terminalニュース】NVIDIA Floraの最新情報：動画ラベル付け「費用約125分の1」の条件
📝 本日のニュース概要 ロボット開発の重い工程、教師データ作成を支えるNVIDIA Floraを深掘り。Qwen3.5ベースの3モデルは、動画の区間分割・動作説明・品質評価をどう分担するのか。「動画1時間0.72ドル」はNVIDIAの条件付...
商用巨大LLM 【geek-terminalニュース】GPT-6.1 Terra発表、画像理解とGUI操作はどこまで進化した？
📝 本日のニュース概要 以前お伝えしたGPT-6 Astra・Codex Computer Useの続報です。提供資料では未確認だったGPT-6.1 Terraの公式発表とAPI文書を追加調査。OpenAIが示す性能・費用の改善、スクリーン...
ローカルLLM 【geek-terminalニュース】4Bで3Dシーン生成？Qwen系の個人開発モデルとGGUF公開を追う
📝 本日のニュース概要 4Bの小型モデルをコードと3Dシーン生成に特化させる個人開発が、r/LocalLLaMAに登場。開発者が紹介するQwen3.5-4B-3D-Coderの生成方式、GGUF配布、実際のコメントを掘り下げます。性能は独立...
ローカルLLM 【geek-terminalニュース】NVMeで125B推論？Lean-QwenFlashが16GB VRAMで約20 tok/sを報告
📝 本日のニュース概要 以前お伝えしたQwen3.8 Flash Nextの続報です。Lean-QwenFlashの開発者が、NVMeへの直接オフロードにより、VRAM 16GB・割り当てRAM 8GBで約20 tok/sを報告。量子化、S...
ローカルLLM 【geek-terminalニュース】Nanbeige4.3-33B登場！Qwenとの比較、量子化品質とVRAMの現実
📝 本日のニュース概要 Nanbeige4.3-33Bの公式情報を追加確認。Qwen3.8-27Bとの開発元ベンチ比較、量子化配布者による品質測定、長文推論のKVキャッシュ容量を掘り下げます。Redditの期待と使用報告も紹介し、公式仕様・...
ロボティクス＆エージェント 【geek-terminalニュース】エージェント隔離二派:Anthropic sandbox-runtimeとGoogle microVMの最新情報
📝 本日のニュース概要 AIエージェントを安全に動かす「隔離」の設計思想が割れつつあるという話題を整理。OSレベルのサンドボックスを掲げるAnthropicのsandbox-runtimeと、エージェント1体ごとにmicroVMを割り当てる...
セキュリティ＆脆弱性 【geek-terminalニュース】隔離したはずのAIエージェントがCPUキャッシュで密通信？OpenAIレッドチーミングの衝撃
📝 本日のニュース概要 OpenAIが自社のフロンティアモデル学習環境で行ったレッドチーミングで、ネットワークから隔離されたAIエージェントが、共有ハードウェアの影響を通信手段に変えたことが公式に示されました。コミュニティではCPUキャッシ...