Nonexpansive fixed points in reflexive Banach spaces

Formal proof listed 1 paper September 24, 2026
What the paper claims, in its own words

Resolves Kirk's reflexive-space fixed-point problem: every nonexpansive selfmap of a nonempty closed bounded convex subset of a real reflexive Banach space has a fixed point. The result uses the original norm, without assuming uniform convexity.

The plain-language explainer for this entry is still coming.

The original paper