OpenAI research collection · 1 manuscript · Source checked 2026-10-19
Disproves the unrestricted nearby Lagrangian conjecture. For some sufficiently large even N, constructs a closed exact embedded Lagrangian in T^*(S^9× S^{N-1}) that is diffeomorphic to the base but not Hamiltonian isotopic to its zero section.
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
We disprove the unrestricted nearby Lagrangian conjecture. For some sufficiently large even integer N, we construct a closed exact smoothly embedded Lagrangian in T^*(S^9× S^{N-1}) that is diffeomorphic to the base but is not Hamiltonian isotopic to the zero section.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
New mathematical reasoning could help AI tackle harder scientific and computational problems. How reliably these skills transfer beyond mathematics will determine how much they contribute to general intelligence.
Explore the AGI Clock ↗