Source authenticated

Levit–Mandrescu Unimodality Conjecture

Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope.

Exact FrontierDelta

disproved→disproved

Scope and record

Occurred: Oct 29, 2026

Delta type: REGISTRY REVISION

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. 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: Levit–Mandrescu Unimodality Conjecture · Levit–Mandrescu Unimodality

Confidence: Not scored

Registry verification: unreviewed · announcement · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

GPT-5.6 Sol
model · ai model contributor

Claude Fable 5
model · ai model contributor

Lucas B.
human · human collaborator

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: Levit–Mandrescu Unimodality Conjecture

specialist registry · passed

Announced on LinkedIn by Lucas B. (Head of AI Research, Jump Trading); no preprint yet, and the reviewers credited are internal to the team rather than independent. The stated polynomial was recomputed with exact integer arithmetic: $a_{1094} > a_{1095} < a_{1096}$ holds, so the polynomial given is genuinely not unimodal, and its low-order coefficients ( $a_0 = 1$ , $a_1 = 4074$ ) are consistent with a graph on 4,074 vertices. What remains unchecked is that the whiskered graph's independence polynomial equals the polynomial stated.

Source ↗

Levit–Mandrescu Unimodality Conjecture

witness · pending

Primary source named by the VibeMathed record. Presence in this import is not an independent mathematical verification.

Source ↗

Lineage and corrections

Corrects Levit–Mandrescu Unimodality Conjecture →

Supersedes Levit–Mandrescu Unimodality Conjecture →

This event attributed to Lucas B.

Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope. parent of this event

Levit–Mandrescu Unimodality Conjecture parent of this event

VibeMathed record: Levit–Mandrescu Unimodality Conjecture evidence for this event

This event attributed to GPT-5.6 Sol

Levit–Mandrescu Unimodality Conjecture evidence for this event

This event attributed to Claude Fable 5

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem Explore evidence graph