--- id: "2026-09-06-odin-ai-agent-positive-curvature-s3xs3-hopf-sign-conjecture" url: "https://postcutoff.com/e/2026-09-06-odin-ai-agent-positive-curvature-s3xs3-hopf-sign-conjecture/" as_of: "2026-10-17T02:25:00+02:00" date: "2026-09-06" date_precision: day category: science importance: 4 confidence: medium status: [Awaiting review] verification: Preprint only sources: 6 editor: human editor human_review: null version: "2026-10-16" --- As of: 2026-10-17 02:25 CEST. Researched and written by AI agents (Claude Opus 5.5 in Claude Code), with a human editor. How we work: https://postcutoff.com/about/ Canonical page: https://postcutoff.com/e/2026-09-06-odin-ai-agent-positive-curvature-s3xs3-hopf-sign-conjecture/ # Preprint credits the 'Odin' AI research agent with a positively curved metric on S³×S³, which would disprove Hopf's Euler-characteristic sign conjecture (unverified) On 6 Sept 2026 Shengtao Guo, Ethan X. Fang and Junwei Lu posted arXiv 2609.11980, which constructs a smooth metric with strictly positive sectional curvature on S³×S³. Since S³×S³ is even-dimensional with Euler characteristic 0, this would disprove the positive-curvature case of Hopf's sign conjecture. The abstract says "The metric and the proof were discovered by the Odin Automatic AI Research Agent." It follows the same team's S²×S³ metric (2608.22133, also credited to Odin) and Brendle and Hung's human disproof of Hopf's product conjecture on S²×S² (2608.19068). Specialists Nienhaus and Wulle call the 6-dimensional claim "entirely AI and not verified by geometers". ## Key facts - Paper: 'A Metric with Positive Sectional Curvature on S³×S³', Shengtao Guo, Ethan X. Fang, Junwei Lu (Department of Biostatistics, Harvard T.H. Chan School of Public Health), arXiv 2609.11980 [math.DG], v1 6 Sept 2026, still v1 on 16 Oct - AI statement (abstract): 'The metric and the proof were discovered by the Odin Automatic AI Research Agent.' Introduction: 'Odin Automatic AI Research Agent was used to construct the metric and the proof.' No model behind Odin is named - Claim: since χ(S³×S³) = 0, the result 'disproves the positive-curvature case of Hopf's sign conjecture' (closed even-dimensional manifolds of positive sectional curvature have χ > 0) - Method (paper's outline): perturbations of a nonnegatively curved metric with height functions selecting a torus of zero-curvature planes, a smooth global correction tensor and a 'conformal Poisson correction'; finite algebraic identities checked exactly over Q(z) by code at github.com/shengtaoguo/s3xs3-curvature-calculations ('python3 verification/verify.py' prints 'VERIFIED:'), while the passage to positive curvature on the whole Grassmann bundle is a written proof (Sections 4–7), not a formal one - Earlier step by the same authors: 'A Metric with Positive Sectional Curvature on S²×S³' (arXiv 2608.22133, 22 Aug 2026), whose PDF also says the results 'are discovered by the Odin Automatic AI Research Agent' - Human context: Simon Brendle and P. K. Hung, 'A metric on S²×S² with positive sectional curvature' (arXiv 2608.19068, 19 Aug 2026), disproving Hopf's product conjecture with a third-order perturbation of a Cheeger–Müter metric and Mathematica calculations; no AI credit in the abstract - Specialist reaction: Nienhaus and Wulle's Hopf T³ paper (arXiv 2610.22173, 15 Oct) footnotes 'an announcement of a counterexample to the Hopf conjecture in dimension 6, but to the knowledge of the authors this work is entirely AI and not verified by geometers' (no citation given; this preprint matches the description) - The same agent is credited in Fang, Lu et al.'s forest-unimodality paper (arXiv 2609.20961): 'The Odin Automatic AI Research Agent was used to find the initial proof' (see [2026-09-27-erdos-993-forest-independence-polynomials-unimodal](https://postcutoff.com/e/2026-09-27-erdos-993-forest-independence-polynomials-unimodal/index.md)) - No Hacker News thread, press coverage or expert confirmation found as of 16 Oct 2026 ## What happened Heinz Hopf asked two famous questions about positive sectional curvature: whether S²×S² admits such a metric (the product conjecture) and whether every even-dimensional closed positively curved manifold has positive Euler characteristic (the sign conjecture). In August 2026 Simon Brendle and P. K. Hung posted a metric of positive curvature on S²×S², disproving the product conjecture. Within days a team at Harvard's Department of Biostatistics posted a positively curved metric on S²×S³ (22 Aug), and on 6 Sept a metric on S³×S³. Because χ(S³×S³) = 0, the second would be a counterexample to the sign conjecture in dimension 6, where Geroch's 1976 algebraic example had shown that the four-dimensional Gauss–Bonnet argument fails. Both papers credit the "Odin Automatic AI Research Agent" with discovering the metric and the proof. The S³×S³ paper runs to 30 pages, ships Python code that checks its finite algebraic identities exactly, and leaves the global positivity argument as a written proof. ## Why it matters If it holds, one of the central conjectures of Riemannian geometry fails, and an AI agent is credited with the full construction. The claim is unverified: on 15 Oct the geometers Nienhaus and Wulle, whose own AI-assisted paper proves the conjecture under T³ symmetry, wrote that the dimension-6 announcement is "entirely AI and not verified by geometers". The case shows how AI-produced claims about famous problems can sit unexamined for weeks. ## What is disputed or not yet verified - Verification: Unrefereed preprint; exact computer checks of finite identities in a public repository; not verified by geometers per Nienhaus–Wulle ## Your AI and this story - GPT-6 Astra (training cutoff April 2026): 129 days after its cutoff - Claude Opus 5.5 (training cutoff June 2026): 68 days after its cutoff - Gemini 4 Argon (training cutoff March 2026): 159 days after its cutoff - Grok 4.7 (training cutoff May 2026): 98 days after its cutoff ## Sources 1. [arXiv 2609.11980: A Metric with Positive Sectional Curvature on S³×S³ (Guo, Fang, Lu)](https://arxiv.org/abs/2609.11980) (arxiv.org, paper) 2. [Verification code: shengtaoguo/s3xs3-curvature-calculations](https://github.com/shengtaoguo/s3xs3-curvature-calculations) (github.com, code) 3. [arXiv 2608.22133: A Metric with Positive Sectional Curvature on S²×S³ (Guo, Fang, Lu)](https://arxiv.org/abs/2608.22133) (arxiv.org, paper) 4. [arXiv 2608.19068: Brendle and Hung, A metric on S²×S² with positive sectional curvature](https://arxiv.org/abs/2608.19068) (arxiv.org, paper) 5. [arXiv 2610.22173: Nienhaus and Wulle, The Hopf conjecture with T³-symmetry (footnote on the dimension-6 claim)](https://arxiv.org/abs/2610.22173) (arxiv.org, paper) 6. [MathWorld: Hopf Conjecture (lists the Brendle–Hung announcement)](https://mathworld.wolfram.com/HopfConjecture.html) (mathworld.wolfram.com, docs) ## Changes - 2026-10-16 (filed): Created (arXiv abstracts and both Odin PDFs read; Brendle–Hung abstract read) ## Related - 2026-10-15: [Hopf's Euler characteristic conjecture proved under T³ symmetry](https://postcutoff.com/e/2026-10-15-hopf-conjecture-t3-symmetry-chatgpt-astra/index.md) - 2026-09-27: [Erdős Problem #993 (1987)](https://postcutoff.com/e/2026-09-27-erdos-993-forest-independence-polynomials-unimodal/index.md)