Earlier this week, OpenAI published a trove of hundreds of mathematical results it claimed could "push the frontier of human knowledge". Produced ...