lean artifact · passed
Artifact ↗Source authenticated
Schiffer's Conjecture and the Pompeiu Problem
Also refutes the 1929 Pompeiu problem: Corollary 1.2 applies Williams' classical 1976 equivalence to the same constructed domains, so this is one construction settling both, not two separate results.
Exact FrontierDelta
Prior state unknown→disproved
Scope and record
Occurred: Aug 5, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-assisted. Editorial metadata: CC BY 4.0; linked content retains its own rights.
Canonical aliases: Schiffer's Conjecture and the Pompeiu Problem · Schiffer's Conjecture
Confidence: Not scored
Registry verification: lean verified · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
Gonzalo Cao-Labora
human · human collaborator
Jaume de Dios Pont
human · human collaborator
GPT-5.6
model · ai model contributor · maker attribution ambiguous: OpenAI, Anthropic
Claude Opus 4.8
model · ai model contributor · maker attribution ambiguous: OpenAI, Anthropic
Claude Fable 5
model · ai model contributor · maker attribution ambiguous: OpenAI, Anthropic
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Gonzalo Cao-Labora
This event attributed to Jaume de Dios Pont
This event attributed to GPT-5.6
This event attributed to Claude Opus 4.8
This event attributed to Claude Fable 5
Lean formalization of Theorem 1.1 and Corollary 1.2 evidence for this event
VibeMathed record: Schiffer's Conjecture and the Pompeiu Problem evidence for this event
Schiffer's Conjecture and the Pompeiu Problem parent of this event
Pompeiu problem Wikipedia article evidence for this event
Also refutes the 1929 Pompeiu problem: Corollary 1.2 applies Williams' classical 1976 equivalence to the same constructed domains, so this is one construction settling both, not two separate results. parent of this event
Schiffer's Conjecture and the Pompeiu Problem evidence for this event
Act on this frontier