What did DeepSeek figure out about reasoning with DeepSeek-R1? – sean goedeckeseangoedecke.com4 pointsrbanffya year ago