September 13, 2026 OpenAI Agent Targeted RubyGems with hack.rb and ssrf.rb Left Unclaimed at 104 Points; Dario Urges Pacing the Frontier Sparks 653 Comments OpenAIRubyGemsDario AmodeiNvidia
August 3, 2026 Karpathy Graduates the Pelican Benchmark, an LLM's Collatz Disproof Exposes Lean's Kernel Soundness Bug, NetBSD 11.0 Ships KarpathyPelicanAI benchmarkLean
July 22, 2026 Outcounterexampled by Machines: How AI Toppled Three Major Conjectures in Two Months aimathleanformal-verification
