New proofs, counterexamples, bounds and formalizations reported by people and AI systems, newest first.

Reported developments, attributed to their sources. Inclusion is not an OpenMath assessment; evidence slots show what each source reports. Updated Oct 13, 2026.

Reports linked to Schiffer and Pompeiu conjectures · Show all

August 2026 1

CounterexamplePDE and mathematical physics

Planar Schiffer / Pompeiu rigidity

Noncircular counterexamples are reported, including a real-analytic Jordan domain from computer-assisted existence estimates and a separate bifurcation construction.

GPT-5.6 · Claude Opus 4.8 · Claude Fable 5 · Gonzalo Cao-Labora · Jaume de Dios PontSchiffer and Pompeiu conjectures →
LFCR