Microsoft Research's Dimitris Papailiopoulos used OpenAI Codex to shrink a novel solver from 117.2 kB to under 50 kB via 'Idea Descent · Digg