The Ballantine-Beck-Feigon-Maurischat Conjectures on Subsum Polynomials
six of the ten conjectures proved; one was found false as printed and its corrected form remains open
Exact FrontierDelta
Scope and record
Occurred: May 20, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: The Ballantine-Beck-Feigon-Maurischat Conjectures on Subsum Polynomials · Subsum polynomial conjectures
Confidence: Not scored
Registry verification: lean verified · preprint · partial
Attribution
VibeMathed
registry · event recorded by
Evan Chen
human · human collaborator
Ken Ono
human · human collaborator
Jujian Zhang
human · human collaborator
AxiomProver
model · ai model contributor
Lineage and corrections
This event attributed to Jujian Zhang
This event attributed to Ken Ono
This event attributed to Evan Chen
This event attributed to AxiomProver