Our First Proof submissions

An organization shares their AI model's initial attempts at solving problems in the First Proof mathematics challenge. The submissions represent testing of advanced AI reasoning capabilities on expert-level mathematical problems.