Publication v1
Original question, distinct results, proof provenance, selected history and an explanatory schematic.
Formal proofs: Pinned formal statements and the computational archive are linked to their own targets. External build reports and independent mathematical assessment remain separate from OpenMath execution.
AI-assisted work: Colbrook and George Stepaniants own the analytic construction; Cao-Labora and Jaume de Dios Pont own the smooth family. Their AI disclosures describe different roles. The Pompeiu formal comparator credits Himanshu Gupta and Moritz Firsching’s Google DeepMind Formal Conjectures statement; this is statement provenance, not discovery credit.
Selected primary papers, exact formal declarations, project provenance and official descriptions checked on 13 October 2026.
Checked Oct 13, 2026 · independent review pending.
Planar disk-rigidity conjecture refuted in the cited paper · observed Oct 13, 2026
Source status dated Aug 3, 2026 · observed Oct 13, 2026
Simply connected non-disk with real-analytic boundary; this is not a multiply connected annulus construction.
Matthew J. Colbrook, George Stepaniants · metadata-link · Original source license and document rights apply.
OpenMath supplies its own mathematical paraphrases and links; proof text is not republished. Rights / source terms
schiffer-pompeiu:entry:computer:v1Gonzalo Cao-Labora, Jaume de Dios Pont · metadata-link · Original source license and document rights apply.
OpenMath supplies its own mathematical paraphrases and links; proof text is not republished. Rights / source terms
schiffer-pompeiu:entry:bifurcation:v1Jaume de Dios Pont, Gonzalo Cao-Labora · metadata-link · Original source license and document rights apply.
OpenMath supplies its own mathematical paraphrases and links; proof text is not republished. Rights / source terms
schiffer-pompeiu:entry:lean:v1Matthew J. Colbrook, George Stepaniants · metadata-link · Original source license and document rights apply.
OpenMath supplies its own mathematical paraphrases and links; proof text is not republished. Rights / source terms
schiffer-pompeiu:entry:certificate:v1Matthew J. Colbrook, George Stepaniants · metadata-link · Original source license and document rights apply.
OpenMath supplies its own mathematical paraphrases and links; proof text is not republished. Rights / source terms
schiffer-pompeiu:entry:computer-lean:v1Source-linked pilot import; independent mathematical review remains pending.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.