Dimitris Papailiopoulos of Microsoft Research AI Frontiers limits solver challenge models to 10 million trainable weights · Digg