No-Go Theorems for Poisson Certificates of Gaussian Mass Maximality
Prior state unknown→proved
a barrier result about one proof strategy, not the conjecture itself
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review