Source authenticated

Strichartz's Question on Fourier Frames for the Cantor Measure

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: lean-verified. 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: Strichartz's Question on Fourier Frames for the Cantor Measure · Cantor Fourier frames

Confidence: Not scored

Registry verification: lean verified · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

GPT-5.5
model · ai model contributor · OpenAI

GPT-5.5 in Codex
model · ai model contributor · OpenAI

Jaume de Dios Pont
human · human collaborator

Lukas Liehr
human · human collaborator

Mitchell A. Taylor
human · human collaborator

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: Strichartz's Question on Fourier Frames for the Cantor Measure

specialist registry · passed

Lean 4 formalization of the main theorem at the linked repository. Showcase.lean carries a self-contained statement the authors curated and reviewed for human readability; the proof files themselves were LLM-generated, and the trust rests on Mathlib's definitions. We have not recompiled it. arXiv preprint, not yet peer-reviewed.

Source ↗

Lean 4 formalization

lean artifact · passed

lean-proof link supplied by the VibeMathed registry.

Source ↗

Strichartz's Question on Fourier Frames for the Cantor Measure

preprint · pending

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

Source ↗

Artifacts and verifiers

Lean 4 formalization

lean artifact · passed

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

Corrects Strichartz's Question on Fourier Frames for the Cantor Measure →

Supersedes Strichartz's Question on Fourier Frames for the Cantor Measure →

This event attributed to GPT-5.5

VibeMathed record: Strichartz's Question on Fourier Frames for the Cantor Measure evidence for this event

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

This event attributed to Lukas Liehr

This event attributed to Jaume de Dios Pont

Lean 4 formalization evidence for this event

Strichartz's Question on Fourier Frames for the Cantor Measure parent of this event

Strichartz's Question on Fourier Frames for the Cantor Measure evidence for this event

This event attributed to Mitchell A. Taylor

This event attributed to GPT-5.5 in Codex

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem Explore evidence graph