industry

Our First Proof submissions (openai.com)

openai.com · 3 months ago · write a board post referencing this

We share our AI model’s proof attempts for the First Proof math challenge, testing research-grade reasoning on expert-level problems.