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: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
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
AxiomProver
model · ai model contributor
Evan Chen
human · human collaborator
Ken Ono
human · human collaborator
Jujian Zhang
human · human collaborator
Lineage and corrections
Corrects The Ballantine-Beck-Feigon-Maurischat Conjectures on Subsum Polynomials →
Supersedes The Ballantine-Beck-Feigon-Maurischat Conjectures on Subsum Polynomials →
This event attributed to Jujian Zhang
The Ballantine-Beck-Feigon-Maurischat Conjectures on Subsum Polynomials parent of this event
This event attributed to Ken Ono
The Ballantine-Beck-Feigon-Maurischat Conjectures on Subsum Polynomials evidence for this event
VibeMathed record: The Ballantine-Beck-Feigon-Maurischat Conjectures on Subsum Polynomials evidence for this event
six of the ten conjectures proved; one was found false as printed and its corrected form remains open parent of this event
This event attributed to AxiomProver
This event attributed to Evan Chen
Act on this frontier