学術研究 【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-31
学術研究 プログラミング 【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ユーザーという影響範囲、環境変数の「名前」と秘密...