Disproved
Planar disk-rigidity conjecture refuted in the cited paper ↗
Simply connected non-disk with real-analytic boundary; this is not a multiply connected annulus construction.
Source dated Aug 3, 2026 · Observed Oct 13, 2026
Conjecture · version 1
The planar Pompeiu property question
Statement
Every bounded simply connected planar non-disk Ω with smooth boundary has the Pompeiu property: if a continuous real f has integral zero over every rigid-motion image of Ω, then f is identically zero.
Assumptions
- Rigid motions include translations and orthogonal transformations.
- Integration is with respect to planar Lebesgue measure.
Scope
A related rigidity formulation through domain integrals. Its counterexample evidence is linked to the specific constructions.
Evidence
Source reports
Connections
In this problem · publication v3 · Selected context
Schiffer and Pompeiu conjectures →
Different statement · related variant · Disproved
Relationship not independently reviewed. This concerns its use in this problem.
In this problem · publication v7
Schiffer and Pompeiu conjectures →
Different statement · related variant · Disproved
Relationship not independently reviewed. This concerns its use in this problem.
Sources
A computer-assisted counterexample to the planar Pompeiu and Schiffer conjectures →
- Main theorem, computational certificate appendix and AI declaration → · Original passage ↗
Recorded wording
Constructs a non-disk simply connected domain with real-analytic Jordan boundary and tenfold symmetry, using certified numerical estimates.
paraphrase · OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.
Matthew J. Colbrook · George Stepaniants · Preprint · Publication date Aug 3, 2026
Revision & attribution
Source revision: 2026-08-03. Observed Oct 13, 2026.
The paper credits GPT-5.5 Codex for debugging early computational code, checked line by line by the authors. The authors own the mathematical argument and certificate.
Counterexamples to Schiffer’s Conjecture →
- Theorem 1.1, Corollary 1.2 and AI/Lean acknowledgement → · Original passage ↗
Recorded wording
Constructs infinitely many symmetry orders with smooth star-shaped non-disk counterexamples through a uniform bifurcation argument.
paraphrase · OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.
Gonzalo Cao-Labora · Jaume de Dios Pont · Preprint · Publication date Aug 5, 2026
Revision & attribution
Source revision: 2026-08-05. Observed Oct 13, 2026.
The authors credit GPT-5.5/5.6 and Claude Opus 4.8/Fable 5 for exploration, checks and exposition; GPT-5.6 assisted the early-draft Lean verification. The authors retain responsibility.
History
Statement versions
Statement versions and problem publication versions are separate. A new publication can update context or sources while retaining the same statement.
Assessment history · 1
Assessments retained in these publication records. Earlier statement versions retain their own source histories.
Disproved
Planar disk-rigidity conjecture refuted in the cited paper ↗
Simply connected non-disk with real-analytic boundary; this is not a multiply connected annulus construction.
Source dated Aug 3, 2026 · Observed Oct 13, 2026 · Source passage →
Record details
- Claim ID
- claim-pompeiu-planar-rigidity
- Statement version
- 1
- SHA-256
- a1108a2115a6736d62cba70c158712413d899961bf0a38b5633d29d9ea8e3a3f