2026年10月12日 Karpathy 说 LLM 能力共识正在撕裂；Tao 的 Math 2.0 被一条药审举例带偏；AI 复刻 FPS 花掉 500B token KarpathyLLM capabilityTerence TaoMath 2.0
2026年8月3日 Karpathy 宣布 Pelican 基准「毕业」、Lean 内核 soundness bug 被 LLM 证伪 Collatz 猜想牵出、NetBSD 11.0 发布 KarpathyPelicanAI 基准Lean
