Turing Award Winner: Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport

https://www.youtube.com/watch?v=U719vQz-WFs

Leslie Lamport : "I am not smart. I have the gift of abstraction."

Real mathematics isn't about details. Its about concepts and abstractions and how we compose them (LLMs are good at those aspects).