Short proofs in combinatorics and number theory

Boris Alexeev, Moe Putterman, Mehtaab Sawhney, Mark Sellke, Gregory Valiant

Published Mar 31, 2026v1

License: arXiv nonexclusive license
Status: Published

Machine contribution statement

This work lists 1 machine contributor.

Machine contributors are recorded on the work, not on a single version. Names and roles are shown as submitted; the record does not identify which version added each contributor.

Declared contributors

an internal model at OpenAIAI contributor
RolesFormal Analysis
Verificationself-declared at submission

Roles follow the NISO CRediT taxonomy ↗.