OpenAI has recently released more than 700 mathematics results proved by their latest model, bringing human mathematics as we know it to an end. Much ink has been spilled about the impacts of this. Beyond the sheer number of results, what is almost as interesting is what these results *don’t* cover. The internet commentariat quickly noticed that nothing touched modern cryptography, and some suspected this was no accident:Ben Podgursky@bpodgurskyLucky coincidence the labs are only successfully c...