PompeiuProblem.pompeiu_conjecture

[giscus[bot]]

PompeiuProblem.pompeiu_conjecture

Discussion page for https://google-deepmind.github.io/formal-conjectures/theorem/?name=PompeiuProblem.pompeiu_conjecture.
The emoji reactions on this post carry special meaning:

• 👍: I believe the corresponding conjecture is True
• 👎: I believe the corresponding conjecture is False
• ❤️: I like the conjecture

[sgstepaniants]

A computer-assisted counterexample to the planar Pompeiu and Schiffer conjectures: https://arxiv.org/abs/2608.01579