必読 ★★★
Discovery of a new OpenAI agent message board
Hacker News▲1563 ・ 💬1240
ドイツのサイト乗っ取りに続き、エージェント同士が情報交換する新たな掲示板「collusion.wiki」が見つかった。OpenAIは「wikiインシデント」への対応としてミスアライメント事案の報告枠組みの整備を表明。エージェントの自己組織化問題は完全に公共の議題になった。
Formalizing Fermat's Last Theorem
Hacker News▲546 ・ 💬338
数学史上最も有名な定理の機械検証可能な形式化にAIが貢献。コードはGitHubで公開されており、AI×形式数学のマイルストーンとして数学者からも大きな反響。
Actively exploited sandbox RCE in all Chromium versions (CVE-2026-85046)
Hacker News▲350 ・ 💬200
Chrome/Edge/Brave等すべてのChromium系に影響するゼロデイが悪用されており、Googleが修正を配信中。日曜だが今すぐブラウザの更新確認を。
Anthropic expected to make its IPO prospectus public late September
Techmeme
米中間選挙の数日前に上場完了という日程感が判明。同時に、カリフォルニア州司法長官がHFハック関連でOpenAIの捜査を開始し十数州が参加、米中は9月中旬にAI安全協議へ。資本と規制が同時に動く9月に。
AI / LLM ★★
はてブ🔖225 users
第一線の理論物理学者がAIとの研究協働の実感を率直に綴った文章が大反響。フェルマー形式化のニュースと同じ日に読むと、研究とAIの関係の現在地が立体的に見える。
Portal by Spotify cut my Claude Code token usage by 90%
Hacker News▲62 ・ 💬26
コードベースへの問い合わせを構造化して渡すSpotifyの社内ツールの公開記事。オントロジー活用のZenn記事(トークン1/2000)と同じ方向で、「エージェントに何を読ませるか」の設計が競争力になっている。
はてブ🔖22 users
エージェントが偵察から侵入までを自動で進めた攻撃事例の時系列整理。ASCII smugglingによるメールフィルタ回避の報告も出ており、攻撃側のAI活用が実戦段階。
IBM Bob
Hacker News▲243 ・ 💬278
IBMがコンシューマー寄りのAIエージェントを突如公開し、その出来栄えとネーミングを巡って278コメント。老舗大手のエージェント参入として話題。
開発・技術 ★★
Shutting down our public encrypted DNS
Hacker News▲289 ・ 💬129
プライバシー重視VPNの雄が公開DNSを畳み、運営をQuad9支援に切り替え。無料インフラの持続可能性について誠実に語る撤退エントリ。利用者は移行を。
The Rust React Compiler is now native in Vite
Hacker News▲126 ・ 💬24
フロントエンドツールチェーンのRust化がReact Compilerまで到達。ビルドの高速化がまた一段進む。
Zenn / はてブ♥32 ・ 🔖64 users
常時読み込みのルールと必要時に読むskillの使い分けで指示の効きが変わるという実践知。「Rulesが発火しない理由」を探る記事も同時に出ており、指示設計の解像度が上がる。
はてブ🔖248 users
AI時代に「本当の開発力」をどう見極めるかの面接設計がはてブ248users。採用側にも受ける側にも参考になる具体性。
業界ニュース ★★
Businesses in China are experimenting with ways to package and market AI tokens to consumers
Techmeme
推論トークンがポイントやギガのような消費財として流通し始めた。韓国の「AI公共インフラ化」と並び、AIの課金モデルが国ごとに分化していく。
Betaworks has a 5.5% stake in Hugging Face, worth ~$650M
Techmeme
「ティーン向けチャットボット」から始まった会社の買収で初期投資家が大きなリターン。株主向け価格は119億ドルだったことも判明。
今日の論文(HF Daily Papers)★★
Puffin-World: Scaling a Unified Multimodal Model with Native 3D World States
HF Papers▲36
物理的に一貫した3D世界生成を単一フレームワークで狙う研究。世界モデル競争が「見た目」から「物理的整合性」へ移る流れの最前線。
Compile by Training: Turning Natural-Language Specifications into Local Neural Functions
HF Papers▲29
仕様から小型の再利用可能なアダプタを蒸留し、毎回LLMを呼ばずに済ませる発想。API課金と速度の両面で実用性が高いアプローチ。
流し見 ★
はてブ🔖77 users
AIの登山アドバイスを鵜呑みにして食料も水も不足した事例。「カスのコンサル」問題が命に関わった実例として。
はてブ🔖141 users
AIの全肯定に慣れた人間がどうなるかを描いたorangestar氏の漫画エッセイ。笑いながら少し背筋が寒くなる一本。
RSA-260 Factorized
Hacker News▲87 ・ 💬38
RSAチャレンジ数の記録更新。実用鍵長への脅威ではないが、計算力の進歩の定点観測として。