Comment by senordevnyc

Well, except the giant dump of math problems they just solved with an internal model.