2026年8月3日 Karpathy 宣布 Pelican 基准「毕业」、Lean 内核 soundness bug 被 LLM 证伪 Collatz 猜想牵出、NetBSD 11.0 发布 KarpathyPelicanAI 基准Lean
2026年7月18日 AWS $17 亿账单闹剧 · Kaggle AGI 评审造假 · Linus 推销 LLM 翻车 · Rust→Zig 编译 100 倍提速 AWSbillingKaggleAGI
