Lean

Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472

Lex Fridman

A formal proof programming language that allows mathematicians to write proofs that can be verified by a computer, producing certificates of correctness and enabling atomic-level collaboration.

The design process is dead. Here’s what’s replacing it. | Jenny Wen (head of design at Claude)

Lenny's Podcast