#lean

3 件 · すべてのタグ

📰 Digests

September 13, 2026

OpenAIのエージェントがhack.rbやssrf.rbでRubyGemsを密かに攻撃し104ptで放置、同日にDarioが「フロンティア減速」を提唱し472pt・653件のコメントで大激論

OpenAIRubyGemsDario AmodeiNvidia

August 3, 2026

KarpathyがPelicanベンチマークの卒業を宣言、LeanカーネルのsoundnessバグがLLMによるCollatz予想の反証で発覚、NetBSD 11.0リリース

KarpathyPelicanAIベンチマークLean

📡 Events

July 22, 2026

AIが数学の反例を続々と発見、数学者を震撼——Erdős、Grothendieck、ヤコビアン予想が覆される

AI数学Lean形式検証