lean artifact · pending
Artifact ↗Source authenticated
Stable Phase Retrieval for Spans of Independent Random Variables
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope.
Exact FrontierDelta
proved→proved
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-co-developed. 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: Stable Phase Retrieval for Spans of Independent Random Variables · Stable phase retrieval
Confidence: Not scored
Registry verification: lean checked · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
GPT-5 + Claude Opus 4
model · ai model contributor · maker attribution ambiguous: OpenAI, Anthropic
Pedro Abdalla
human · human collaborator
Jaume de Dios Pont
human · human collaborator
João P. G. Ramos
human · human collaborator
Mitchell A. Taylor
human · human collaborator
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
Corrects Stable Phase Retrieval for Spans of Independent Random Variables →
Supersedes Stable Phase Retrieval for Spans of Independent Random Variables →
GitHub repo of the proof evidence for this event
Calderbank et al 2023: Conjecture statement evidence for this event
This event attributed to Pedro Abdalla
This event attributed to Jaume de Dios Pont
Stable Phase Retrieval for Spans of Independent Random Variables evidence for this event
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope. parent of this event
This event attributed to João P. G. Ramos
This event attributed to Mitchell A. Taylor
Stable Phase Retrieval for Spans of Independent Random Variables parent of this event
VibeMathed record: Stable Phase Retrieval for Spans of Independent Random Variables evidence for this event
This event attributed to GPT-5 + Claude Opus 4
Act on this frontier