23:46
2026-02-01
davidoks.blog
artificial-intelligence
Oks notes #2: AI math, the Epstein emails, and why Steve Jobs wanted to buy General Motors
Weekly roundup of the author's reading, covering three main topics: the challenges of using formal languages like Lean for AI-driven mathematical proofs, the history of the GLP-1 drug class and the biโฆ