Source authenticated
Ben Green's Open Problem 57
intended complex form disproved, with a certified strict support-function gap
Exact FrontierDelta
Prior state unknown→disproved
Scope and record
Occurred: May 21, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: Ben Green's Open Problem 57 · Green Problem 57
Confidence: Not scored
Registry verification: lean verified · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
AlphaProof Nexus
model · ai model contributor · Google DeepMind
Lineage and corrections
This event attributed to AlphaProof Nexus