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
