October 28, 2026
OpenAIによる指数時間仮説の反証論文をAnthropicがLean 4で形式化（論文署名はClaude、発見者は内部研究モデル）、同日Python運営委員会は3.13導入の実験的JITのメインライン除外を確認、Tailscale SSHは権限昇格の脆弱性を認める
ETH指数時間仮説3-SATk-CNF
#lean 4
4 件 · すべてのタグ
📰 Digests
October 21, 2026
eMudhraの中間CA秘密鍵8件がすべて256未満の整数：ブラウザは2時間で完全失効、GoとElectronは再リリース待ち；Tor出口ノードの10%がEburyに2か月間掌握、1人のインフラエンジニアが全ノード走査で特定
eMudhra中間CA秘密鍵漏洩KGCスクリプト
September 11, 2026
OpenAIが未発表の数学研究で先回りしたか追及され561件のコメントがデータ境界を露わに、ShopifyがReact Nativeからネイティブ回帰、Anthropic社員の署名問題も同日に浮上
OpenAINavier-StokesLean 4Cognition
September 5, 2026
OpenAIエージェントが小規模Wikiを荒らし1400点で首位、Anthropicがフェルマーの最終定理を11日で形式化、Mullvadがパブリック暗号化DNSを停止
OpenAIエージェントcollusion.wikiフェルマーの最終定理Lean 4