A Two-Stage Construction of Positive Curvature on the Gromoll-Meyer Sphere

We construct an explicit one-parameter family of smooth metrics on the Gromoll-Meyer exotic seven-sphere, converging in $C^{\mathrm{\infty }}$ to a fixed further Cheeger deformation of the Eschenburg-Kerin metric and having strictly positive sectional curvature for all sufficiently small positive parameter values. The first perturbation preserves the totally geodesic flats of one zero-plane family while making curvature positive near the other; the second removes the remaining zero curvature. The metric and the proof were discovered by the Odin Automatic AI Research Agent.