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. Imported under CC BY 4.0.
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
Claude Fable 5
model · ai model contributor · maker attribution ambiguous: OpenAI, Anthropic
GPT-5.6
model · ai model contributor · maker attribution ambiguous: OpenAI, Anthropic
Gonzalo Cao-Labora
human · human collaborator
Jaume de Dios Pont
human · human collaborator
Claude Opus 4.8
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