October 12, 2026 Karpathy "LLM 역량에 대한 공감대 균열 중"; 테렌스 타오 Math 2.0 신약 심사 예시 논란; AI로 FPS 복제에 500B 토큰 소모 KarpathyLLM 역량Terence TaoMath 2.0
August 3, 2026 Karpathy가 Pelican 벤치마크 졸업 선언, LLM의 Collatz 반증으로 드러난 Lean 커널 soundness 버그, NetBSD 11.0 출시 KarpathyPelicanAI 벤치마크Lean
