{"schema_version":"source-reader-v1","record":{"source_id":"schiffer-pompeiu-computer","versions":[{"work":{"authors":["Matthew J. Colbrook","George Stepaniants"],"kind":"research_paper","publication":"preprint","publication_note":"Source publication and attributed assessments are distinct from independent OpenMath review.","ai_role":"self_reported","ai_note":"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.","artifacts":[],"published":{"value":"2026-08-03"}},"id":"schiffer-pompeiu:source:computer:v1","source_id":"schiffer-pompeiu-computer","title":"A computer-assisted counterexample to the planar Pompeiu and Schiffer conjectures","owner":"Matthew J. Colbrook, George Stepaniants","url":"https://arxiv.org/abs/2608.01579v1","subject_scope":"Constructs a non-disk simply connected domain with real-analytic Jordan boundary and tenfold symmetry, using certified numerical estimates.","revision":"2026-08-03","content_sha256":"0a228277208a58f7a4a918a57c0db911c2b4354cee05587f47a4cfa11345b1b7","update_method":"Compare the exact source and publish a new immutable curation revision.","identifier_policy":"Stable source identity with exact versioned passages.","observed_on":"2026-10-13","source_updated_on":null,"rights":"metadata-link","license":"Original source license and document rights apply.","terms_url":"https://arxiv.org/abs/2608.01579v1","attribution":"Matthew J. Colbrook, George Stepaniants","rights_note":"OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.","check_interval_days":90}],"entries":[{"id":"schiffer-pompeiu:entry:computer:v1","source_version_id":"schiffer-pompeiu:source:computer:v1","item_id":"computer","url":"https://arxiv.org/abs/2608.01579v1","wording":"Constructs a non-disk simply connected domain with real-analytic Jordan boundary and tenfold symmetry, using certified numerical estimates.","wording_kind":"paraphrase","locator":"Main theorem, computational certificate appendix and AI declaration","supersedes":null}],"problems":[{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7}],"selected_version_id":"schiffer-pompeiu:source:computer:v1","available_versions":[{"id":"schiffer-pompeiu:source:computer:v1","revision":"2026-08-03","observed_on":"2026-10-13","title":"A computer-assisted counterexample to the planar Pompeiu and Schiffer conjectures","publication":"preprint","content_sha256":"0a228277208a58f7a4a918a57c0db911c2b4354cee05587f47a4cfa11345b1b7","used_in_current_publications":true}],"usages":[{"id":"source-use-bab2ff6899024104665d","entry_id":"schiffer-pompeiu:entry:computer:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"assessment","title":"Analytic tenfold witness certified by the authors","claim":{"id":"claim-schiffer-analytic-tenfold-witness","version":2,"slug":"schiffer-analytic-tenfold-witness","title":"An analytic tenfold counterexample"},"fragment":"claim-schiffer-analytic-tenfold-witness","assessment":{"id":"schiffer-pompeiu:report:analytic:v1","entry_id":"schiffer-pompeiu:entry:computer:v1","state":"resolved","source_label":"Analytic tenfold witness certified by the authors","scope":"The spectral frequency k lies between 31.967007261 and 31.967007293.","source_date":"2026-08-03","observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/2608.01579v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-f9456355a4744a8e7b59","entry_id":"schiffer-pompeiu:entry:computer:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"assessment","title":"Planar disk-rigidity conjecture refuted in the cited paper","claim":{"id":"claim-pompeiu-planar-rigidity","version":1,"slug":"pompeiu-planar-rigidity","title":"The planar Pompeiu property question"},"fragment":"claim-pompeiu-planar-rigidity","assessment":{"id":"schiffer-pompeiu:report:rigidity:v1","entry_id":"schiffer-pompeiu:entry:computer:v1","state":"refuted","source_label":"Planar disk-rigidity conjecture refuted in the cited paper","scope":"Simply connected non-disk with real-analytic boundary; this is not a multiply connected annulus construction.","source_date":"2026-08-03","observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/2608.01579v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-fb7370d030b5378af764","entry_id":"schiffer-pompeiu:entry:computer:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"assessment","title":"Planar disk-rigidity conjecture refuted in the cited paper","claim":{"id":"claim-schiffer-planar-disk-rigidity","version":1,"slug":"schiffer-planar-disk-rigidity","title":"Planar disk rigidity for overdetermined Helmholtz data"},"fragment":"claim-schiffer-planar-disk-rigidity","assessment":{"id":"schiffer-pompeiu:report:rigidity:v1","entry_id":"schiffer-pompeiu:entry:computer:v1","state":"refuted","source_label":"Planar disk-rigidity conjecture refuted in the cited paper","scope":"Simply connected non-disk with real-analytic boundary; this is not a multiply connected annulus construction.","source_date":"2026-08-03","observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/2608.01579v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-ba9c76963b6f9b0d6a9e","entry_id":"schiffer-pompeiu:entry:computer:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"definition","title":"Overdetermined boundary conditions","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-74ea42a0f107b62f332d","entry_id":"schiffer-pompeiu:entry:computer:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"milestone","title":"Pompeiu asks whether domain averages determine a function","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-d0caf63ad98078fcaf6e","entry_id":"schiffer-pompeiu:entry:computer:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"milestone","title":"An analytic computer-assisted construction","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-037d2129c117dd83f2a5","entry_id":"schiffer-pompeiu:entry:computer:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"question","title":"Schiffer and Pompeiu conjectures","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-8c399d353a1536daab92","entry_id":"schiffer-pompeiu:entry:computer:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"reading","title":"Read the mathematical argument; inspect its Claim for assessment and scope.","claim":null,"fragment":"provenance","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-f4bd54afc88b9d4fbd8d","entry_id":"schiffer-pompeiu:entry:computer:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"scope","title":"An analytic tenfold counterexample","claim":{"id":"claim-schiffer-analytic-tenfold-witness","version":2,"slug":"schiffer-analytic-tenfold-witness","title":"An analytic tenfold counterexample"},"fragment":"claim-schiffer-analytic-tenfold-witness","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-1520169eec7bc3def814","entry_id":"schiffer-pompeiu:entry:computer:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"statement","title":"An analytic tenfold counterexample","claim":{"id":"claim-schiffer-analytic-tenfold-witness","version":2,"slug":"schiffer-analytic-tenfold-witness","title":"An analytic tenfold counterexample"},"fragment":"claim-schiffer-analytic-tenfold-witness","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-58715da721d3a6e45967","entry_id":"schiffer-pompeiu:entry:computer:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"statement","title":"The planar Pompeiu property question","claim":{"id":"claim-pompeiu-planar-rigidity","version":1,"slug":"pompeiu-planar-rigidity","title":"The planar Pompeiu property question"},"fragment":"claim-pompeiu-planar-rigidity","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-cc98334e8175a165e713","entry_id":"schiffer-pompeiu:entry:computer:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"statement","title":"Planar disk rigidity for overdetermined Helmholtz data","claim":{"id":"claim-schiffer-planar-disk-rigidity","version":1,"slug":"schiffer-planar-disk-rigidity","title":"Planar disk rigidity for overdetermined Helmholtz data"},"fragment":"claim-schiffer-planar-disk-rigidity","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}