{"schema":"postcutoff/event@1","as_of":"2026-10-30T13:42:00+01:00","url":"https://postcutoff.com/e/2026-10-06-openai-closed-geodesics-spheres-infinitely-many/","md":"https://postcutoff.com/e/2026-10-06-openai-closed-geodesics-spheres-infinitely-many/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-10-06-openai-closed-geodesics-spheres-infinitely-many","date":"2026-10-06","date_precision":"day","short_title":"Infinitely many closed geodesics on every sphere, claimed and re-proved","deck":null,"takeaway":"A manuscript in OpenAI's 6 Oct 2026 math release (family 345, dated 24 Sept) claims that every smooth Riemannian metric on the n-sphere has infinitely many geometrically distinct closed geodesics, for every n ≥ 2. Only the 2-sphere was known (Bangert, Franks, Hingston, early 1990s). It also covers every closed 3-manifold. On 15 Oct Zhiqi Chen, Shaoqiang Deng and Hui Zhang posted a proof that does not use OpenAI's lemmas, written with OpenAI Codex and checked by them, and extended it to the complex, quaternionic and Cayley projective spaces. They credit OpenAI's paper as the source of the strategy.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"OpenAI: Infinitely many closed geodesic images on every Riemannian sphere (24 Sept 2026, PDF)","url":"https://github.com/openai/math/blob/main/preprints/Infinitely-many-closed-geodesic-images-on-every-Riemannian-sphere-September-24-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":2,"title":"Chen, Deng, Zhang: Infinitely many closed geodesic images on simply connected compact rank-one symmetric spaces (arXiv 2610.21054)","url":"https://arxiv.org/abs/2610.21054","type":"paper","group":"primary","domain":"arxiv.org"},{"n":3,"title":"KitaKen1/reversible-finsler-spheres: Finsler variant with Lean proof (draft)","url":"https://github.com/KitaKen1/reversible-finsler-spheres","type":"code","group":"primary","domain":"github.com"},{"n":4,"title":"oai-math-revised: community notes on the sphere manuscript","url":"https://github.com/mathcommunity/oai-math-revised/blob/main/preprints/Infinitely-many-closed-geodesic-images-on-every-Riemannian-sphere-September-24-2026/AGENT_NOTES.md","type":"discussion","group":"reactions","domain":"github.com"}],"official":3,"filed":"2026-10-29","updated":"2026-10-29","orgs":["OpenAI","Nankai University","Guangdong University of Technology","Southeast University"],"title":"OpenAI's release claims every Riemannian metric on every sphere has infinitely many closed geodesics; Chen, Deng and Zhang give a logically independent, Codex-assisted proof and extend it to projective spaces","summary":"\"Infinitely many closed geodesic images on every Riemannian sphere\" (OpenAI, 24 Sept 2026, released 6 Oct, family 345) claims the sphere case of the closed-geodesic infinitude problem, including degenerate metrics, and, via finite covers, Perelman and Rademacher–Taimanov, every closed 3-manifold. Spheres and projective spaces were the hard cases: their loop spaces have bounded Betti numbers, so the Gromoll–Meyer criterion gives nothing. Chen, Deng and Zhang (arXiv 2610.21054, 15 Oct) prove the statement for all simply connected compact rank-one symmetric spaces with an argument they call logically independent of OpenAI's lemmas, while crediting OpenAI's \"finite-cut and doubling strategy\"; Codex helped draft arguments and \"We take responsibility for the human verification and exposition.\"","key_facts":["Claim (abstract, verbatim): 'We resolve the sphere case of the closed-geodesic infinitude problem: every smooth Riemannian metric on the standard sphere Sⁿ, n ≥ 2, has infinitely many prime closed geodesics with pairwise distinct images. The two-sphere case is classical; the result in higher dimensions includes degenerate metrics. Using finite covers and theorems of Perelman and Rademacher–Taimanov, we also obtain the same conclusion for every smooth Riemannian metric on a nonempty closed smooth three-manifold.'","Prior state (as Chen–Deng–Zhang recount it): Lyusternik–Fet give one closed geodesic on every closed manifold; Gromoll–Meyer and Vigué-Poirrier–Sullivan give infinitely many when the rational cohomology needs two or more generators; spheres and projective spaces are the exceptions; S² was done by Bangert with Franks or Hingston; Rademacher proved it for generic (strongly bumpy) metrics only","Chen, Deng, Zhang, 'Infinitely many closed geodesic images on simply connected compact rank-one symmetric spaces' (arXiv 2610.21054, 15 Oct): Theorem 1.1 covers Sⁿ, CPᵐ, HPᵐ and OP². On OpenAI: 'We cite that work explicitly as an antecedent for the sphere case and as a source of the finite-cut and doubling strategy. Accordingly, the sphere conclusion itself is not presented here as a new claim of priority.' Independence: 'Neither its sphere theorem nor its intermediate lemmas are assumed as mathematical inputs'","AI disclosure of Chen–Deng–Zhang (verbatim): 'OpenAI Codex was used in developing the draft arguments, some of the proof strategies and calculations, checking selected algebraic consequences. We take responsibility for the human verification and exposition.'","Further variant: Kenta Kitamura (GitHub KitaKen1, draft of 9 Oct) claims the conclusion for smooth reversible Finsler metrics on Sⁿ, n ≥ 3, with a Lean proof; the n = 2 Finsler case is De Philippis–Marini–Mazzucchelli–Suhr (2022)","Status: OpenAI manuscript has no Lean scope note; no revision or withdrawal in history.md; the general conjecture for all closed manifolds stays open outside these classes"],"key_numbers":[],"tags":["math","differential-geometry","closed-geodesics","morse-theory","loop-spaces","openai-math-release","codex"],"science":{"field":"mathematics","subfield":"Riemannian geometry (closed geodesics, Morse theory on loop spaces)","problem":"Does every Riemannian metric on Sⁿ (n ≥ 3) have infinitely many geometrically distinct closed geodesics?","result":"Claimed for all n ≥ 2 and every metric, plus every closed 3-manifold (OpenAI); independently re-proved and extended to all compact rank-one symmetric spaces' underlying manifolds (Chen–Deng–Zhang)","open_since":"","ai_system":["OpenAI internal model (math release)","OpenAI Codex"],"human_role":"OpenAI: autonomous output. Chen–Deng–Zhang: human-verified proof developed with Codex, crediting OpenAI's strategy","verification":{"key":"preprint","label":"Preprint only","text":"Two unrefereed preprints; the second is a human-checked argument that does not rely on the first's lemmas"},"status":"pending","shock":"A problem where the standard topological method provably gives nothing got an AI-generated strategy that human authors could re-prove and push to all projective spaces within ten days."},"body_md":"## What happened\n\nEvery closed Riemannian manifold has at least one closed geodesic (Lyusternik and Fet, 1951). Whether it always has infinitely many is\na classical question of the calculus of variations. For most simply connected manifolds a topological argument settles it: their free\nloop spaces have too much homology for finitely many geodesics and their iterates to account for. Spheres and projective spaces are\nexactly the cases where this fails. On the 2-sphere the answer (yes) came from surface dynamics in the early 1990s. In higher dimensions it\nwas known only for generic metrics.\n\nOpenAI's manuscript claims the answer is yes for every metric on every sphere, degenerate metrics included, using a length-filtered\n\"finite-cut and doubling\" argument in the loop space. Nine days after the release, Zhiqi Chen, Shaoqiang Deng and Hui Zhang posted a\nproof that rebuilds the argument without using OpenAI's sphere theorem or lemmas, and that covers the complex, quaternionic and Cayley\nprojective spaces too. They used OpenAI Codex to draft arguments and say they checked the proof themselves. They do not claim the idea:\nthey name OpenAI's paper as its source.\n\n## Why it matters\n\nIf correct, a long-open case of the closed-geodesic problem is settled for all spheres and all 3-manifolds. It is also an early\nexample of the pattern the release invited: an AI-generated strategy, rewritten by human mathematicians into an independently checkable\nproof that goes further. Neither paper is refereed yet.","disputed":[{"label":"Verification","text":"Two unrefereed preprints; the second is a human-checked argument that does not rely on the first's lemmas","sources":[]}],"related":[{"id":"2026-10-24-oai-math-revised-community-hub","url":"https://postcutoff.com/e/2026-10-24-oai-math-revised-community-hub/","date":"2026-10-24","date_precision":"day","short_title":"oai-math-revised: mathematicians launch a community hub to revise OpenAI's AI-written math manuscripts (guest post on Tao's blog)","deck":null,"takeaway":"This is the first organized attempt by research mathematicians to digest and credit the OpenAI catalogue.","category":"research","category_label":"Research","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":6,"official":5,"filed":"2026-10-25","updated":"2026-10-27","orgs":["OpenAI","mathcommunity"]},{"id":"2026-10-06-openai-math-release-722-manuscripts","url":"https://postcutoff.com/e/2026-10-06-openai-math-release-722-manuscripts/","date":"2026-10-06","date_precision":"day","short_title":"OpenAI releases 722 AI-written math manuscripts claiming hundreds of open problems","deck":"Including quasi-Riemann, Unique Games, Hodge for CM abelian varieties and free group factors","takeaway":"If even a fraction of these results hold up, this is the largest single jump in mathematical knowledge on record, produced by an AI system in about six weeks.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":79,"official":13,"filed":"2026-10-07","updated":"2026-10-29","orgs":["OpenAI"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-29","type":"filed","text":"Created (families 251–378; OpenAI abstract, Chen–Deng–Zhang introduction and acknowledgements read, Kitamura README, oai-math-revised notes)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-29","run":null,"sources_read":"Families 251–378; OpenAI abstract, Chen–Deng–Zhang introduction and acknowledgements read, Kitamura README, oai-math-revised notes","updated":"2026-10-29","human_review":null,"version":{"date":"2026-10-29"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":159,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":98,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":189,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":128,"in_training_data":false}],"short_url":"https://postcutoff.com/s/infinitely-many-closed-geodesics"}