VibeMathedMath problems solved by AI

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

For s(1/4,1)s \in (1/4,1) and any degree, the only Ws,1/sW^{s,1/s}-minimizers among maps S1S1\mathbb{S}^1 \to \mathbb{S}^1 are Blaschke products. This resolves Open Problems 23 and 24 of Brezis and Mironescu's book on mappings to the circle, and Brezis's Favorite Open Problem 5.4 in the same range of ss.

Result
Proved(see note)
Status
Partial result
AI contribution
AI-assisted
Method
Argument
Field
Calculus of variations
Posed by
Haim Brezis, Petru Mironescu
Year posed
2021
Years open
5y
Solved
2026-06-14
Model
ChatGPT
Vendor
OpenAI
Collaborators
Dorian Martino, Katarzyna Mazowiecka, Armin Schikorra
Verification
Unreviewed
Publication
Preprint
Significance
25 / 100
Disclosed cost
Wikipedia
No dedicated article

What was actually shown

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

What the AI did

The LLM usage note says the authors used ChatGPT to assist with conceptualization and computations, with all mathematical validation their own.

Verification

arXiv preprint; not yet peer-reviewed.

Sources

arXiv:2606.15713 - On minimizing W^{s,1/s}-maps between circles

Discussion