'The Proof in the Code' named among 2026's best nonfiction: the story of Lean and human-AI collaboration
rbhar90 · x · 2026-10-31
KSHartnett's book The Proof in the Code has been named one of the best nonfiction books of 2026 by Publishers Weekly. The review praises how the cinematic, character-driven account chronicles the creation of Lean — the proof assistant now vital to mathematicians and AI researchers — making it essential reading for understanding the rise of human-computer collaboration.
More from Research
- LLM judges harbor systematic errors that silently corrupt model rankings and training pipelines — burkov · 2026-10-31
- New paper quantifies ineffable concepts: 65 of 1,270 can never be taught to LLMs via language — sanmikoyejo · 2026-10-31
- Unsupervised Method Measures Whether LLM Messages Are Received — sanmikoyejo · 2026-10-31
- Neural net flies a drone in Acro mode from streamed game footage on a tiny board — yacineMTB · 2026-10-31
- llmlip-rs: Rust MLIP inference engine runs 6000-atom sims 17.7x faster than PyTorch MACE — CatAstro_Piyush · 2026-10-31
- AdaPRA: a process-reward agent with adaptive rubrics audits data science agents as they work — dan_fried · 2026-10-31