“Lex Friedman anecdotally felt that OpenAI O3 Mini High is better than DeepSeek R1.”