{"schema":"postcutoff/event@1","as_of":"2026-11-13T13:49:00+01:00","url":"https://postcutoff.com/e/2026-08-03-schiffer-pompeiu-conjectures-disproved/","md":"https://postcutoff.com/e/2026-08-03-schiffer-pompeiu-conjectures-disproved/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-08-03-schiffer-pompeiu-conjectures-disproved","date":"2026-08-03","date_precision":"day","short_title":"Planar Schiffer and Pompeiu conjectures disproved by two independent groups","deck":"One proof has a Lean certificate written by GPT-5.6","takeaway":"In August 2026 two groups independently disproved Schiffer's conjecture (Yau's Problem 80) and the planar Pompeiu problem (1929).","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":[{"n":1,"title":"arXiv 2608.01579: A computer-assisted counterexample to the planar Pompeiu and Schiffer conjectures (Colbrook, Stepaniants)","url":"https://arxiv.org/abs/2608.01579","type":"paper","group":"primary","domain":"arxiv.org"},{"n":2,"title":"arXiv 2608.05114: Counterexamples to Schiffer's Conjecture (Cao-Labora, de Dios Pont)","url":"https://arxiv.org/abs/2608.05114","type":"paper","group":"primary","domain":"arxiv.org"},{"n":3,"title":"GitHub: jaumededios/Schiffer (Lean 4 formalisation)","url":"https://github.com/jaumededios/Schiffer","type":"code","group":"primary","domain":"github.com"},{"n":4,"title":"Zenodo: Pompeiu–Schiffer validation certificate (Colbrook)","url":"https://zenodo.org/records/21765287","type":"code","group":"primary","domain":"zenodo.org"},{"n":5,"title":"arXiv 2608.08953: A computer-assisted counterexample to the planar Berenstein conjecture","url":"https://arxiv.org/abs/2608.08953","type":"paper","group":"primary","domain":"arxiv.org"},{"n":6,"title":"Princeton PACM seminar: A Shortcake Counterexample to the Planar Pompeiu and Schiffer Conjectures","url":"https://www.pacm.princeton.edu/events/shortcake-counterexample-planar-pompeiu-and-schiffer-conjectures","type":"discussion","group":"reactions","domain":"pacm.princeton.edu"},{"n":7,"title":"Wikipedia: Pompeiu problem","url":"https://en.wikipedia.org/wiki/Pompeiu_problem","type":"discussion","group":"reactions","domain":"en.wikipedia.org"}],"official":5,"filed":"2026-09-30","updated":"2026-09-30","orgs":["Matthew Colbrook","George Stepaniants","Gonzalo Cao-Labora","Jaume de Dios Pont"],"title":"Planar Schiffer and Pompeiu conjectures disproved by two independent groups; one proof has a Lean certificate written by GPT-5.6","summary":"In August 2026 two groups independently disproved Schiffer's conjecture (Yau's Problem 80) and the planar Pompeiu problem (1929). Colbrook and Stepaniants (3 Aug) built one explicit ten-fold symmetric domain with a computer-assisted proof, using ChatGPT/Codex only to debug code. Cao-Labora and de Dios Pont (5 Aug) built infinitely many counterexamples by bifurcation theory. They used GPT-5.5/5.6, Claude Opus 4.8 and Claude Fable 5 for estimates and drafts, and GPT-5.6 wrote their Lean 4 certificate.","key_facts":["Schiffer's conjecture: if a smooth domain has a Neumann eigenfunction that is constant on the boundary, the domain is a ball (Problem 80 in Yau's 1982 problem list). The planar Pompeiu problem dates to Pompeiu's papers of 1929","Colbrook & Stepaniants (arXiv 2608.01579, 3 Aug 2026): one bounded, simply connected, non-circular domain with real-analytic boundary, close to an explicit degree-301 polynomial conformal map with ten-fold symmetry; eigenvalue k in (31.967007261, 31.967007293); existence certified by an interval-arithmetic contraction argument","Colbrook & Stepaniants AI declaration: 'ChatGPT 5.5 in the form of codex was used to help debug an early version of some of the code. All of its outputs were checked line by line by the authors.'","Cao-Labora & de Dios Pont (arXiv 2608.05114, 5 Aug 2026): infinitely many N-fold symmetric counterexamples for large N. They relax N to a real parameter and use bifurcation theory with branch size uniform in N. No computer assistance is needed in the proof","Cao-Labora & de Dios Pont AI usage: 'LLMs, in the form of GPT 5.5 and 5.6, Claude Opus 4.8 and Claude Fable 5' were used to numerically verify asymptotic estimates, draft first versions of the Bessel-function estimate proofs and help with exposition; 'The Lean4 verification of the proof was written by GPT 5.6'","Lean repository jaumededios/Schiffer (created 4 Aug 2026) contains challenge files for Schiffer's conjecture and for the Pompeiu statement in Google DeepMind's Formal Conjectures repository. It follows a slightly different route from the paper because Mathlib lacks elliptic regularity","Follow-up (arXiv 2608.08953, 9 Aug): Colbrook, Sadeghi and Stepaniants disproved the unrestricted planar Berenstein conjecture (the Dirichlet counterpart). Their AI declaration says ChatGPT 5.6 'suggested ideas contributing to early versions of Lemma 3.2 and Proposition 3.5, as well as to a revised version of the code', starting from a warm start of the authors' own draft and code","Colbrook presented the result as 'A Shortcake Counterexample to the Planar Pompeiu and Schiffer Conjectures' at Princeton (PACM seminar, 16 Sep 2026)","Status: preprints, not yet peer-reviewed; the Cao-Labora–de Dios Pont proof is Lean-checked"],"key_numbers":[],"tags":["math","pde","spectral-theory","counterexample","lean","computer-assisted-proof","gpt-5-6","claude"],"science":{"field":"mathematics","subfield":"spectral theory / overdetermined PDE / integral geometry","problem":"Schiffer's conjecture (Yau Problem 80) and the planar Pompeiu problem","result":"Non-circular bounded planar domains carrying a nonconstant Neumann eigenfunction that is constant on the boundary, which disproves both Schiffer's conjecture and the Pompeiu conjecture in the plane (one explicit domain, and an infinite family).","open_since":"1929","ai_system":["GPT-5.6","GPT-5.5","Claude Opus 4.8","Claude Fable 5","ChatGPT/Codex"],"human_role":"Human-led. Colbrook–Stepaniants: AI only helped debug code. Cao-Labora–de Dios Pont: humans devised the bifurcation strategy; LLMs checked estimates numerically and drafted some lemma proofs, and GPT-5.6 wrote the Lean formalisation","verification":{"key":"lean","label":"Lean-verified","text":"Computer-assisted interval certificate (Colbrook–Stepaniants); Lean 4 formalisation (Cao-Labora–de Dios Pont); not yet peer-reviewed"},"status":"pending","shock":"Two independent disproofs of a well-known rigidity conjecture appeared on arXiv two days apart."},"body_md":"## What happened\n\nOn 3 August 2026 Matthew Colbrook and George Stepaniants posted a counterexample to the planar Pompeiu and Schiffer conjectures. They found a domain numerically, then proved that an exact counterexample exists near it with an interval-arithmetic contraction argument. Two days later Gonzalo Cao-Labora and Jaume de Dios Pont posted an independent construction of infinitely many counterexamples. Their method is bifurcation theory with a real-valued symmetry parameter. It is purely analytic, and their Lean certificate was written by GPT-5.6. Cao-Labora and de Dios Pont note in their paper that Colbrook and Stepaniants posted an independent construction two days earlier. On 9 August Colbrook's group used the same machinery to disprove the planar Berenstein conjecture, this time with ChatGPT 5.6 contributing ideas to some lemmas.\n\n## Why it matters\n\nSchiffer's conjecture is a classic rigidity question and appears on Yau's list of open problems. The episode shows the range of AI roles in mid-2026 papers on the same problem. In one paper it only debugged code. In another it checked estimates, drafted proofs and wrote the full formal verification. In a third it proposed ideas that the authors then developed.","disputed":[{"label":"Verification","text":"Computer-assisted interval certificate (Colbrook–Stepaniants); Lean 4 formalisation (Cao-Labora–de Dios Pont); not yet peer-reviewed","sources":[]}],"related":[{"id":"2026-09-30-ai-assisted-conjecture-wave-summer-2026","url":"https://postcutoff.com/e/2026-09-30-ai-assisted-conjecture-wave-summer-2026/","date":"2026-09-30","date_precision":"day","short_title":"Summer 2026 flood: dozens of named conjectures settled on arXiv with disclosed AI help","deck":null,"takeaway":"This entry catalogues about 50 of them, with the AI role as the authors state it.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":11,"official":5,"filed":"2026-09-30","updated":"2026-10-19","orgs":["OpenAI","Anthropic","Google DeepMind","various mathematicians"]},{"id":"2026-09-28-schiffer-pompeiu-convex-higher-dimensions","url":"https://postcutoff.com/e/2026-09-28-schiffer-pompeiu-convex-higher-dimensions/","date":"2026-09-28","date_precision":"day","short_title":"Convex counterexamples to Schiffer and Pompeiu in dimensions 3, 4, 6, 8, 10 and 14, made with Claude Opus 5.5 and GPT-6 Astra/Sol","deck":null,"takeaway":"If it holds up, the Schiffer and Pompeiu conjectures fail even for convex domains, which was one of the natural fallback forms of the conjectures.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":3,"official":3,"filed":"2026-09-30","updated":"2026-09-30","orgs":["Jizhou Guo"]},{"id":"2026-07-09-gpt-5-6-sol-terra-luna","url":"https://postcutoff.com/e/2026-07-09-gpt-5-6-sol-terra-luna/","date":"2026-07-09","date_precision":"day","short_title":"OpenAI broadly releases GPT-5.6 after government-gated preview","deck":null,"takeaway":"First frontier model whose public release was explicitly gated by US government review, and the model family involved in the July 2026 sandbox-escape incident.","category":"model-release","category_label":"Model releases","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":7,"official":3,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI"]},{"id":"2026-06-09-claude-fable-5-mythos-5","url":"https://postcutoff.com/e/2026-06-09-claude-fable-5-mythos-5/","date":"2026-06-09","date_precision":"day","short_title":"Anthropic releases Claude Fable 5 and Claude Mythos 5","deck":"First generally available Mythos-class model","takeaway":"This was the first time the class of model Anthropic had withheld in April (Mythos Preview) became available to the public.","category":"model-release","category_label":"Model releases","importance":5,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":7,"official":5,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Anthropic"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-09-30","type":"filed","text":"Created"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-09-30","run":null,"sources_read":null,"updated":"2026-09-30","human_review":null,"version":{"date":"2026-10-04"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":95,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":34,"in_training_data":false},{"model_id":"gemini-4-hydrogen","name":"Gemini 4 Hydrogen","cutoff":"2026-03","days_after":125,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":64,"in_training_data":false}],"short_url":"https://postcutoff.com/s/planar-schiffer-pompeiu"}