OpenAI Publishes AI Proof Attempts from Its First Proof Math Challenge by Paul Balo February 22, 2026 0 OpenAI has released a set of its AI model’s proof attempts from the First Proof math challenge, an effort focused ...