Brezis-Mironescu Open Problems 23 and 24 on Minimizing Maps to the Circle

in the range s in (1/4,1); Brezis's Problem 5.4 outside that range is untouched

25Significance / 100

1Frontier events

0Verification tasks

0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

analysisJun 14, 2026Significance 25/100Registry: unreviewed

Prior state unknown→proved

in the range s in (1/4,1); Brezis's Problem 5.4 outside that range is untouched

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Source authenticated

in the range s in (1/4,1); Brezis's Problem 5.4 outside that range is untouched

in the range s in (1/4,1); Brezis's Problem 5.4 outside that range is untouched

Evidence graph