A University of Chicago computer scientist pushes past a long-standing math barrier