学術研究 【geek-terminalニュース】OpenAIがETH反証を主張、提唱者らが検証へ――Claude独立発見説も
📝 本日のニュース概要 以前お伝えしたAI数学証明騒動の続報です。OpenAIが指数時間仮説（ETH）の反証を主張し、提唱者を含む外部専門家による検証へ。Leanによる形式検証で何が確認でき、何を人間が確かめる必要があるのか。Claudeに...
AIニュース
学術研究 ローカルLLM 【geek-terminalニュース】Kimi K3.1 Pro、指数4位でOpus 5.5の背後に。サイバーデータ除去とステマ疑惑の最新情報
📝 本日のニュース概要 以前お伝えしたKimi K3の続報です。Moonshot AIの新モデル「Kimi K3.1 Pro」がArtificial Analysis Intelligence Indexで55点・4位に入り、Claude ...
ローカルLLM 【geek-terminalニュース】Kimi K3.1 Proの最新情報（オープンウェイトはOpus 5.5に追いついたのか？噂と確認済み事実を仕分け）
📝 本日のニュース概要 以前お伝えしたKimi K3の続報です。後継とされる「Kimi K3.1 Pro」がClaude Opus 5.5に迫ると話題ですが、今回の調査では公式ブログ・The Decoder・Reddit各スレッドの本文は確...
セキュリティ＆脆弱性 【geek-terminalニュース】AI脆弱性発見ラッシュは攻防の転換点か？最新情報
📝 本日のニュース概要 以前お伝えしたPHP2Shell（PHP緊急セキュリティリリース）の続報です。今回は個別のCVEではなく、AIによる脆弱性の発見ペース全体が転換点に入ったのではないか、という業界全体の動きを取り上げます。TechCr...
ロボティクス＆エージェント 【geek-terminalニュース】米大手銀行がAIエージェントを締め出し開始、「本人の代理」と「不正アクセス」の境界線
📝 本日のニュース概要 顧客のパスワードで口座に入るAIエージェントを、米大手銀行が検知して遮断・制限し始めました。銀行側は「代理人か、勝手に動くエージェントか」を判別できないと訴えています。一方でReddit・HNでは「侵害ではなく顧客が...
商用巨大LLM 【geek-terminalニュース】Claude Duet登場：不在中も勝手に動く常時稼働エージェント競争が本格化
📝 本日のニュース概要 Anthropicが発表した常時稼働型AIエージェント「Claude Duet」を深掘り。接続アプリを監視して優先事項を提示し、リモート環境でバックグラウンド作業を進める仕組み、Opus 5.5中心の設計、ProとM...
商用巨大LLM 【geek-terminalニュース】拡散LLM「Mercury 3」が毎秒1,000トークン超を主張、自己回帰の牙城は崩れるか
📝 本日のニュース概要 Inception社が商用拡散型LLM「Mercury 3」を発表したと報じられています。同社は、主要モデルを上回る品質と毎秒1,000トークン超の速度を主張しています。ただし第三者による独立検証は確認できていません...
ハードウェア＆インフラ 【geek-terminalニュース】Google「TorchTPU」の最新情報：PyTorchがTPUを直叩きする噂の真偽
📝 本日のニュース概要 GoogleがPyTorchからTPUをネイティブに利用できる「TorchTPU」をオープンソースで公開したという情報が出ています。ただし今回の収集時点では、GitHubリポジトリとMarkTechPost記事の本文...
企業動向＆ビジネス 【geek-terminalニュース】Linus反AI規則論とlobste.rs「vibecodingタグ」論争の最新情報
📝 本日のニュース概要 Linux創始者Linus TorvaldsがAI関連の規則について語ったとされる話題と、lobste.rsで起きている「vibecodingタグ」を巡る議論を取り上げます。なお、Linus本人の発言内容は公式ソース...
商用巨大LLM 【geek-terminalニュース】Gemini 4 Argon世界展開と1M出力の最新情報
📝 本日のニュース概要 以前お伝えしたGemini 4 Argonの続報です。2026年10月13日に世界同時提供が始まったArgonについて、公式で確認できる提供チャネルと、1M出力トークンAPIの報道、Redditで話題の思考連鎖(Co...