Loading the catalog…
Loading the catalog…
We share our AI model’s proof attempts for the First Proof math challenge, testing research-grade reasoning on expert-level problems.
What RADAR observed and classified to build this opportunity. It is what the source published, not a verification that the offer is still active.
Our First Proof submissions. We share our AI model’s proof attempts for the First Proof math challenge, testing research-grade reasoning on expert-level problems.
Open sourceThe catalog shows persisted RADAR opportunities. Storage availability does not mean sources are verified or offers are active.