Taking you to the card → OpenAI drops 372 novel mathematical proofs in one release