VibeMathedMath problems solved with AI

Vinzant's Conjecture on Phase Retrieval Injectivity

Vinzant conjectured, in a form later restated by Bandeira, that the 4M−44M-4 threshold for injective complex phase retrieval is sharp. Part (1) holds: for A∈CN×MA \in \mathbb{C}^{N \times M} with N=4M−5N = 4M-5 and i.i.d. standard complex Gaussian entries, the phase retrieval map generated by AA fails to be injective with positive probability.

Result
Proved(see note)
Status
Partial result
AI contribution
AI-discovered
Method
Argument
Field
Frame theory
Posed by
Cynthia Vinzant; restated by Afonso S. Bandeira
Year posed
2015
Years open
11y
Solved
2026-06-16
Model
Rethlas
Vendor
Frenzy Math
Collaborators
Zhangsong Li
Verification
Unreviewed
Publication
Preprint
Significance
15 / 100
Disclosed cost
—
Wikipedia
No dedicated article

What was actually shown

part (1) of the conjecture

What the AI did

The paper states that the main result was obtained using generative AI, in particular the Rethlas system.

Verification

Short single-author arXiv note; not yet peer-reviewed.

Sources

Changelog1 change
  • Matarisvanset Year posed to “2015”, also Significance note, Vendor, More links, Age footnote

Discussion