学術研究 【geek-terminalニュース】OpenAIのAI数学証明大量公開で査読インフラが揺れ始めた最新情報
📝 本日のニュース概要 OpenAIが未公開内部モデルで生成した数学原稿722本を公開し、372の結果ファミリーとして提示。Lean形式化、GitHub公開、査読負荷、数学コミュニティの反応まで深掘りします。 以前お伝えしたAI数学・Lea...
2026-10
学術研究 ローカルLLM 【geek-terminalニュース】Mistral Large 4 “Le Chonk”の広域反応まとめ：欧州発1兆級オープンウェイトMoEは本当に戦えるのか
📝 本日のニュース概要 以前お伝えしたMistral Large 4、通称Le Chonkの続報です。今回はReddit、MarkTechPost、Ars Technicaなどを横断し、1.05T総パラメータ、49B active、マルチモ...
学術研究 【geek-terminalニュース】GPT-6系に浮上したLooped推論疑惑の最新情報
📝 本日のニュース概要 以前お伝えしたrecurrent depth疑惑の続報です。Microsoftの一時掲載とされるGPT-6.1 Sol情報をきっかけに、同じ重みを複数回回して推論深度を稼ぐLooped Transformersが議論...
学術研究 【geek-terminalニュース】Agentic検索の最新情報：RAGはベクトル類似度の一発勝負から探索・検証ループへ
📝 本日のニュース概要 以前お伝えした脱ベクトルDB論・Perplexity Photon・Cohere Embed 5の続報です。今回は検索基盤そのものではなく、複雑タスクで検索をエージェント的ループとして動かすAgentic検索を深掘り...
商用巨大LLM 【geek-terminalニュース】Mistral Large 4 Le Chonkの最新情報
📝 本日のニュース概要 以前お伝えした欧州発オープンウェイトMoEの続報です。Mistralが1兆パラメータ級のネイティブ・マルチモーダルMoE、Mistral Large 4、通称Le Chonkを公開プレビュー化。49B active、...
セキュリティ＆脆弱性 【geek-terminalニュース】AIエージェント実行時防護の最新情報
📝 本日のニュース概要 以前お伝えしたAIエージェントの権限境界崩壊問題の続報です。今回は、プロンプトで祈る安全策ではなく、実行時ポリシー、サンドボックス、監査ログ、承認ゲートで止めるAgentOpsの本丸を深掘りします。 【事象の全貌と背...
ローカルLLM 【geek-terminalニュース】Reflection AIの米国発オープンウェイト対抗モデル噂とDeepSeek/Qwen包囲網
📝 本日のニュース概要 以前お伝えした中国製オープンウェイト規制・調達リスクの続報です。Reflection AIがDeepSeekやQwenに対抗する米国発オープンウェイトモデルを準備しているという話題を、未確認情報として慎重に整理しつつ...
ローカルLLM 【geek-terminalニュース】Qwen 27B級の知能密度、なぜ小型モデルが旧フロンティア級を食い始めたのか
📝 本日のニュース概要 以前お伝えしたQwen系ローカルLLMの続報です。今回はQwen 27B級がなぜローカル環境でここまで強く見えるのかを、量子化、KVキャッシュ、エージェント用ファインチューニング、Redditの実運用報告から深掘りし...
ロボティクス＆エージェント 【geek-terminalニュース】AIエージェント時代の支出上限論、Simon Willisonが問う“財布を持つAI”の最新情報
📝 本日のニュース概要 以前お伝えしたAIエージェントの権限境界・承認ゲート問題の続報です。Simon Willisonが提起した、従量課金APIやクラウドにはデフォルトのハード支出上限が必要だという実務論を深掘り。Reddit、HN、lo...
ローカルLLM 【geek-terminalニュース】欧州発オープンウェイトMoE「Kolibri」公開、主権AIは誰の計算基盤に乗るのか
📝 本日のニュース概要 Aleph Alphaが英語・ドイツ語向けの78B級MoEモデル「Kolibri」を公開。Apache 2.0、Hugging Face配布、最大100万トークン文脈、3B級アクティブパラメータという仕様の裏にある“...