This #book is as niche as it can get. It’s about the history of Lean, the math formalisation system that’s enabling AIs to solve Millennium Prize problems. Lean started as an attempt to do formal verification of software in order to find bugs. But it was quickly adopted by...
































