Among the hundreds of results OpenAI released to the mathematics community this week are proofs relevant to 23 problems from the Erdős ...