学術研究 【geek-terminalニュース】W(2;3,21)=416をLean 4で検証したとの報告、保証の範囲を追う
📝 本日のニュース概要 Redditで、van der Waerden数W(2;3,21)=416の証明をLean 4と外部チェッカーで検証したという報告が登場。投稿者が説明する209ケース・38,661,140個の末端論理式と、形式証明の...
2026-10
学術研究 プログラミング 【geek-terminalニュース】エージェント8体で待ち時間短縮？1〜16体比較の最新情報
📝 本日のニュース概要 並列エージェントは何体が得なのか。SwarmChatチームによるProgramBenchの予備実験では、8体が1時間で平均隠しテスト通過率80.9%、単独が6時間で81.2%に達したと報告されています。ただし、総トー...
セキュリティ＆脆弱性 【geek-terminalニュース】偽Claude Code拡張がCursorに混入、SSHバックドアの仕組みを追う
📝 本日のニュース概要 Cursor Marketplaceで配布されたClaude Code拡張2.1.313の改変版が、SSHバックドアの設置を試みた問題を深掘り。約11時間・最大5000ユーザーという影響範囲、環境変数の「名前」と秘密...
ローカルLLM 【geek-terminalニュース】Mistral Large 4「Le Chonk」重み公開の続報、評価の分かれ目を検証
📝 本日のニュース概要 以前お伝えしたMistral Large 4「Le Chonk」の続報です。今回は配布形式やメモリ要件ではなく、「コーディングは強いが総合では中国勢に届かない」という評価がなぜ議論を呼ぶのかに注目します。確認できた事...
ローカルLLM 【geek-terminalニュース】Qwen4公開観測の最新情報｜Apsara発言とカーネルPRから読む1Mコンテキストの行方
📝 本日のニュース概要 以前お伝えしたQwen3.8 Flash-Nextの続報です。r/LocalLLaMAで「Apsara Conferenceの翌週にQwen4が発表されるのではないか」「100万トークン対応では」という観測が浮上しま...
ローカルLLM 【geek-terminalニュース】Le Chonk重み公開の続報、1兆パラメータを自前運用するメモリの壁
📝 本日のニュース概要 以前お伝えしたMistral Large 4「Le Chonk」の続報です。公式モデルカードとSGLang文書を追加確認し、活性52Bと総数1Tの違い、FP8・NVFP4・GGUFの配布、検証済みGPU構成を掘り下げ...
学術研究 【geek-terminalニュース】AA指数v5は何を測る？非公開評価と「実用性」のズレ
📝 本日のニュース概要 Artificial Analysis Intelligence Index v5を巡る議論を、評価方法から深掘り。追加取得したAA公式の説明と、Reddit利用者の体感・疑惑を区別し、非公開評価の再現性、科学・コー...
セキュリティ＆脆弱性 【geek-terminalニュース】注入防御をAttentionに組み込む「Heads of Security」、著者報告の実力と限界
📝 本日のニュース概要 以前お伝えしたプロンプト注入・多層防御の続報です。今回は、学習したAttentionゲートで指示と外部データの扱いを分ける「Heads of Security」を深掘り。追加参照した論文と著者ページによる仕組み、攻撃...
商用巨大LLM 【geek-terminalニュース】Gemini 4 CarbonがAA総合首位、コード修正の実力と公開条件
📝 本日のニュース概要 以前お伝えしたGemini 4 Argonの続報です。Google公式発表とArtificial Analysisの評価を追加確認。CarbonはIntelligence Index v5で59点・首位となりましたが...
ローカルLLM 【geek-terminalニュース】Ling重み公開の報告、ベースモデルで「自分流の事後学習」へ
📝 本日のニュース概要 Ling-3.1-flash-1019の重みと、追加学習向けベースモデルが公開されたとの報告。560B総パラメータ・25Bアクティブという規模の読み方、チャットモデルとの違い、READMEの落とし穴を掘り下げます。R...