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