Differential geometry·OpenAI Math·Result 340
A counterexample to the nearby Lagrangian conjecture
One of the 372 results in OpenAI's public mathematics catalogue, filed under differential geometry: 1 preprint, the latest dated 23 September 2026. This page quotes OpenAI's own summary of the claim, links the paper and abstract, and will embed the animation.
Latest paper
A counterexample to the nearby Lagrangian conjecture
The animation for this result has not been released yet. Subscribe on YouTube to catch it.
What OpenAI claims
Disproves the unrestricted nearby Lagrangian conjecture. For some sufficiently large even N, constructs a closed exact embedded Lagrangian in T*(S9× SN-1) that is diffeomorphic to the base but not Hamiltonian isotopic to its zero section.
Paper
A counterexample to the nearby Lagrangian conjecture
We disprove the unrestricted nearby Lagrangian conjecture. For some sufficiently large even integer N, we construct a closed exact smoothly embedded Lagrangian in T*(S9× SN-1) that is diffeomorphic to the base but is not Hamiltonian isotopic to the zero section.
Status
Preprint. The paper has not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.
Related results in Differential geometry
- 341Donaldson's hypersymplectic deformation conjecture
- 342Donaldson's tamed-to-compatible conjectureLean
- 343Symplectic ball packing in higher dimensionsLean
- 344The metric Blaschke conjecture
- 345Infinitely many closed geodesics on Riemannian spheres and closed three-manifoldsVideo
- 346Sharp singular-set bounds for stationary integral varifolds