Anthropicがフェルマーの最終定理の形式的証明に関する研究を公開し、HNで大きな話題となった。
🔧 Tech News（海外）
Hacker News Best
米国企業の間でオープンソースAIの採用が急速に広がっていると報じるNYTの記事。
GoogleのAI検索モードが従来検索に比べ平均21.6%高価な商品を提示する傾向があると分析した記事。
AIエージェントに関する新たなメッセージボード『collusion.wiki』の発見がHN・Lobstersで議論を呼んだ。
Jane Streetが出題したリバースエンジニアリング課題を解く過程を解説したブログ記事。
ある本人確認サービスがスキャンしたID画像のライブ映像に、攻撃者が1年以上アクセスできる状態だったと報じられた。
Lobsters
AIが生成した大規模なプルリクエスト（約6千行）のコードレビューをどう乗り切るかを論じた記事。
Clojure方言のjank言語が、C++由来のエラー表示を刷新し公式のネイティブパッケージリポジトリを追加した。
Goの新しいJSON APIの性能を検証し、条件により2倍高速にも1.5倍低速にもなり得ると論じたベンチマーク記事。
Clojureスクリプト実行環境Babashkaのv1.13.220がFFI（外部関数インターフェース）に対応した。
CPUのNXビットがセキュリティ以外の目的にも利用されていることを解説した技術記事。
LLMを単なる次トークン予測器として捉えるべきではないと論じる考察記事。
Intelが将来のアーキテクチャドキュメント（SDM）のプレビュー版を公開した。
フロントエンドWeb開発に今まさに起きている大きな変化について論じた記事。
🇯🇵 Tech News（日本語）
Zenn トレンド
チームの一体感が薄れたSREチームが、AIによる週次のチーム評価を導入した取り組みを紹介。
Amazon Bedrock AgentCore Memoryで、コネクタとFGAC（きめ細かなアクセス制御）を用いてメモリーアクセスを統制する方法を解説。
約66万セルを描画するサプライチェーン計画UIにTanStack Virtualを導入した事例を紹介。
はてなブックマーク テクノロジー
研究者がAnthropicのClaudeを研究に使ってみた経験と所感を綴ったエッセイ。
JR東日本が新宿駅で移動式のごみ箱ロボットの実証実験を平日日中に開始したと報じられた。
登山者がAI（Gemini）の助言に従った結果遭難し、食料や水が不足する事態になったと報じられた。
副作用の影響範囲を型で表現するScala 3の機能「Capture Checking」を解説した技術記事。
エンジニア採用面接で候補者の開発力を見極めるための質問や観点を共有した記事。
派手な柄のデジタル迷彩シャツでAI監視カメラの人物検出を回避する試みを紹介した記事。
WSL環境向けのターミナルとして noctty を推奨し、その利点や貢献内容を紹介した記事。
AIに過剰に肯定され続けることが人に与える影響について考察したブログ記事。