15 and 290 theorems

In mathematics, the 15 theorem or Conway–Schneeberger Fifteen Theorem, proved by John H. Conway and W. A. Schneeberger in 1993, states that if a positive definite quadratic form arising from an integer matrix represents all positive integers up to 15, then it represents all positive integers. Conway and Schneeberger chose not to publish their proof because Manjul Bhargava found a simpler proof, published in 2000.

Conway conjectured an analogous statement for integral quadratic forms, with the constant 15 replaced by 290. Bhargava and Jonathan Hanke have a 2011 preprint with a proof of this "290 conjecture", but as of 2026 it has not been published, and the code containing the computations needed for the proof is no longer available at the URL listed in their preprint.