USAMO: Results as Published

This evaluation uses the six proof problems of the 2025 USA Mathematical Olympiad, given over two days. A model must write a full natural-language proof for each problem, and each model attempts every problem four times. Two expert graders score each proof against a written scheme, with partial credit, out of 7 points per problem and 42 points in total. The published result is the average of those scores across the four runs.

Every number here is read from the same catalog file as the benchmark table, data version 2026103001, and is the number the table shows for that model and test. Where one page printed a model under several setups, each value is listed. The catalog is public in armanobosyan/sugra-llm-benchmarks; a wrong number can be reported from the table, with Report an error under the value, or as an issue in that repository.