I'm a Terence Tao fan, but yes, OpenAI should at the very least just be telling him to go crazy with the latest models on our dime.