VibeMathedMath problems solved by AI

Wickstead's Conjecture on Positive Projections

For a positive projection PP on a Dedekind complete Banach lattice whose largest central operator below PP is αid\alpha\,\mathrm{id}, Wickstead conjectured α\alpha must be 00 or 1/n1/n for some natural nn, and proved the finite-dimensional case. The paper proves the conjecture in general and settles the representation problem for Banach lattice algebras as a consequence.

Result
Proved
Status
Resolved
AI contribution
AI-assisted
Method
Argument
Field
Banach lattices
Posed by
Anthony W. Wickstead
Year posed
Years open
Solved
2026-04-16
Model
Claude Opus 4.6
Vendor
Anthropic
Collaborators
David Muñoz-Lahoz
Verification
Unreviewed
Publication
Preprint
Significance
12 / 100
Disclosed cost
Wikipedia
No dedicated article

What the AI did

The acknowledgments thank Claude Opus 4.6 "for providing the details of 4.2" - a specific proposition's proof details. The problem had its own session at a February 2026 workshop on Banach lattices.

Source

arXiv

Discussion