The irony is that Deepseek is still running with a distilled 4o model.