“Lex Friedman uses OpenAI O1 Pro for brainstorming in tricky programming cases.”