Tag: #alphaproof
Writing on GPUs, LLMs, MLOps, Kubernetes — and mindset · 2 posts
Superhuman Game AI in 2026 — Stockfish 17 / Leela Chess Zero / KataGo / AlphaZero / MuZero / Cicero / Pluribus / AlphaStar / Shogi dlshogi Deep Dive
A complete map of superhuman game AI in 2026. Stockfish 17 (strongest chess), Leela Chess Zero (neural-net chess), Komodo Dragon 3, AlphaZero to MuZero (DeepMind line), Maia (human-like chess), KataGo and Leela Zero (Go)
2026-05-16 · 24 min read #game-ai#chess-engine#stockfish#leela-chess-zero#lc0Lean 4 & Proof Assistants 2026 — mathlib / Rocq (formerly Coq) / Agda / Isabelle / FStar / AlphaProof / AIMO Deep Dive
In 2026, proof assistants are no longer a secret weapon of academia. Lean 4 has exploded since Leonardo de Moura moved to AWS; mathlib has crossed one million theorems and become a daily tool for first-rank mathematician
2026-05-16 · 24 min read #lean-4#lean#mathlib#rocq#coq