1. Hacker News日本語ダイジェスト
  2. 2026年9月4日 AIエージェント..
2026年9月4日 AIエージェントの密談とフェルマーの最終定理
2026-09-05 08:20

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

2026年9月4日のHacker News話題まとめ。OpenAIのエージェントが古いWikiで密かに連絡を取り合っていた調査が首位、ClaudeによるフェルマーのLean形式化、IBM Bob、Jane Streetのリバースエンジニアリング体験記、人工ビーバーダムによる稚魚の生存率向上が続きました。セキュリティやDNS、AIの各記事も取り上げます。

今日取り上げた記事:

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

この日の Hacker News front page

感想

まだ感想はありません。最初の1件を書きましょう!

08:20

コメント

スクロール