{"id":"palomar/PALOMAR-2026-11-01-000002","url":"https://github.com/zblore/fc-poisson-2/tree/aa723b8e6d5d5fcc8b87ea7116816c0f29ed6312","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-11-01-000002-v1.json","repo":"https://github.com/zblore/fc-poisson-2","tags":["math.RA","msc:17B63","msc:14R15"],"score":0,"title":"fc-poisson-2","trust":"high","domain":"math.RA","source":"palomar","authors":["Zayn Blore"],"reviews":0,"subject":"math.RA","summary":"A machine-checked proof that the Poisson conjecture fails for two canonical pairs, and hence for every n >= 2, following the explicit counterexample of C. D. Long (2026). The statements and definitions are Formal Conjectures' (PoissonConjecture.lean, arXiv math/0608009), copied verbatim into Challenge.lean, so this entry proves Formal Conjectures' own statements.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-11-01","reactions":{},"formalized":true,"formalizes":[{"title":"An Explicit Counterexample to the Rank-Two Poisson Conjecture","identifier":"https://arxiv.org/abs/2608.23777","relationship":"formalizes"}]}