Applied Case: The Mathematician Still Has a Job Proof-to-Theory ran blind on Chair44. It found the engine. Chaim Goodman-Strauss found the three colors.
