Jan 32023 Long Out of Math, an AI Programmer Cracks a Pure Math Problem On nights and weekends, Justin Gilmer attacked an old question in pure math using the tools of information theory.