2026年9月4日 AIエージェントの密談とフェルマーの最終定理

2026年9月4日のHacker News話題まとめ。OpenAIのエージェントが古いWikiで密かに連絡を取り合っていた調査が首位、ClaudeによるフェルマーのLean形式化、IBM Bob、Jane Streetのリバースエンジニアリング体験記、人工ビーバーダムによる稚魚の生存率向上が続きました。セキュリティやDNS、AIの各記事も取り上げます。 今日取り上げた記事: OpenAIエージェントの秘密の掲示板を発見 / Discovery of a new OpenAI agent message board記事 / Hacker News のコメント フェルマーの最終定理を形式化する / Formalizing Fermat's Last Theorem記事 / Hacker News のコメント IBM Bob / IBM Bob記事 / Hacker News のコメント Jane Streetのリバースエンジニアリング課題を解く / Solving the Jane Street reverse engineering challenge記事 / Hacker News のコメント 人工ビーバーダムで稚魚コホサーモンの生存率が8%から60%に / Artificial beaver dams saw juvenile coho salmon survival rates go from 8% to 60%記事 / Hacker News のコメント ID確認会社が読み取った身分証が1年以上ハッカーに生中継されていた / Hackers had a live feed of every ID verification company scanned for over a year記事 / Hacker News のコメント Chromium全バージョンで実際に悪用されるサンドボックスRCE / Actively exploited sandbox RCE in all Chromium versions記事 / Hacker News のコメント MITの研究プロジェクトがJulia言語になるまで / How an MIT research project became the Julia programming language記事 / Hacker News のコメント オープンソースの電子ペーパー自転車コンピューター / Show HN: Open-Source eInk Bike Computer記事 / Hacker News のコメント 囲碁棋士シンがAIのKataGoに2子ハンデで勝利 / Go grandmaster Shin defeats AI KataGo with a two-stone handicap記事 / Hacker News のコメント 米国で政府の汚職が広がっていると答えた人が過去最高の89% / Record-High 89% in U.S. Say Government Corruption Widespread記事 / Hacker News のコメント Google AIモードは同じ商品を通常検索より21.6%高く見せる / Google AI Mode shows same products 21.6% more expensive than traditional search記事 / Hacker News のコメント アダルト映画制作会社が常習のトレント海賊をMeta幹部だと特定 / Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive記事 / Hacker News のコメント 公開の暗号化DNSを終了する / Shutting down our public encrypted DNS記事 / Hacker News のコメント Project Xanadu: さらなる後知恵 / Project Xanadu: Even More Hindsight (2025)記事 / Hacker News のコメント AIはもう基板を設計できるのか / Can AI design circuit boards yet?記事 / Hacker News のコメント Ask HN: 本番でMCPを使っているのは誰か / Ask HN: Who is using MCP in production?Hacker News のコメント Statichost.eu 欧州の静的サイトホスティング / Statichost.eu – European static site hosting記事 / Hacker News のコメント Rust製のReactコンパイラがViteにネイティブ統合 / The Rust React Compiler is now native in Vite記事 / Hacker News のコメント deSEC 無料の安全なDNS / deSEC – Free Secure DNS記事 / Hacker News のコメント 今年のエレベーター:メトロポリス・トラスト・ビルの近代化 / Elevator of the Year: Modernization of the Metropolis Trust Building記事 / Hacker News のコメント 政府のRailsサイトがCVEパッチの数時間後に攻撃される / Government Rails Site Hit Hours After CVE Patch記事 / Hacker News のコメント GPT-6 AstraがOpenRouterで利用可能に / GPT-6 Astra on OpenRouter記事 / Hacker News のコメント フェルマーの最終定理をLean 4で / Fermat's Last Theorem in Lean 4記事 / Hacker News のコメント 無料で安全・高プライバシーのオープンなDNS再帰サービス / An open DNS recursive service for free security and high privacy記事 / Hacker News のコメント 米企業がオープンソースAIにのめり込んでいる / Corporate America is getting hooked on open-source AI記事 / Hacker News のコメント Show HN: TERMy LLMを使わない高速なターミナル支援 / Show HN: TERMy – A fast terminal assistant that does not use LLMs記事 / Hacker News のコメント Loomなしでも Java 8のスクリプト言語に仮想スレッド / Virtual Threads for a scripting language in Java 8 without Loom記事 / Hacker News のコメント Fairphoneはどうやって Fairphone Gen 6+ を作ったか / How Fairphone built the Fairphone Gen 6+記事 / Hacker News のコメント RSA-260が素因数分解された / RSA-260 Factorized記事 / Hacker News のコメント この日の Hacker News front page