While OpenAI’s latest math proofs aren’t immediately comprehensible to the vast majority of humans, they could soon end up being used to ...