Daniel Kokotajlo comments on DeepSeek beats o1-preview on math, ties on coding; will release weights