The Ballantine-Beck-Feigon-Maurischat Conjectures on Subsum Polynomials
Prior state unknown→proved
six of the ten conjectures proved; one was found false as printed and its corrected form remains open
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review