OpenAI released 372 AI-generated results addressing open mathematical problems, including work on major algorithms and the Riemann hypothesis. Many include machine-checkable Lean proofs. Each used about three hours of ChatGPT Pro Thinking compute on average.