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

Hacker News日本語ダイジェスト · Sep 5, 2026 · 8m

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…