{"schema":"postcutoff/event@1","as_of":"2026-10-17T02:25:00+02:00","url":"https://postcutoff.com/e/2026-09-06-odin-ai-agent-positive-curvature-s3xs3-hopf-sign-conjecture/","md":"https://postcutoff.com/e/2026-09-06-odin-ai-agent-positive-curvature-s3xs3-hopf-sign-conjecture/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-09-06-odin-ai-agent-positive-curvature-s3xs3-hopf-sign-conjecture","date":"2026-09-06","date_precision":"day","short_title":"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)","deck":null,"takeaway":"If correct, a 1930s conjecture of Hopf falls in dimension 6, with the construction and proof credited to an AI agent; no geometer has confirmed it yet.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"arXiv 2609.11980: A Metric with Positive Sectional Curvature on S³×S³ (Guo, Fang, Lu)","url":"https://arxiv.org/abs/2609.11980","type":"paper","group":"primary","domain":"arxiv.org"},{"n":2,"title":"Verification code: shengtaoguo/s3xs3-curvature-calculations","url":"https://github.com/shengtaoguo/s3xs3-curvature-calculations","type":"code","group":"primary","domain":"github.com"},{"n":3,"title":"arXiv 2608.22133: A Metric with Positive Sectional Curvature on S²×S³ (Guo, Fang, Lu)","url":"https://arxiv.org/abs/2608.22133","type":"paper","group":"primary","domain":"arxiv.org"},{"n":4,"title":"arXiv 2608.19068: Brendle and Hung, A metric on S²×S² with positive sectional curvature","url":"https://arxiv.org/abs/2608.19068","type":"paper","group":"primary","domain":"arxiv.org"},{"n":5,"title":"arXiv 2610.22173: Nienhaus and Wulle, The Hopf conjecture with T³-symmetry (footnote on the dimension-6 claim)","url":"https://arxiv.org/abs/2610.22173","type":"paper","group":"primary","domain":"arxiv.org"},{"n":6,"title":"MathWorld: Hopf Conjecture (lists the Brendle–Hung announcement)","url":"https://mathworld.wolfram.com/HopfConjecture.html","type":"docs","group":"primary","domain":"mathworld.wolfram.com"}],"official":6,"filed":"2026-10-16","updated":"2026-10-16","orgs":["Odin Automatic AI Research Agent","Harvard T.H. Chan School of Public Health"],"title":"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)","summary":"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)","No Hacker News thread, press coverage or expert confirmation found as of 16 Oct 2026"],"key_numbers":[],"tags":["math","differential-geometry","positive-curvature","hopf-conjecture","counterexample","ai-agents","autonomous-research"],"science":{"field":"mathematics","subfield":"Riemannian geometry (positive sectional curvature)","problem":"Hopf's sign conjecture: closed even-dimensional manifolds with positive sectional curvature have positive Euler characteristic","result":"Claimed smooth metric of strictly positive sectional curvature on S³×S³ (χ = 0), a counterexample in dimension 6; preceded by a claimed metric on S²×S³","open_since":"1931","ai_system":["Odin Automatic AI Research Agent"],"human_role":"Autonomous per the authors: the agent 'discovered' the metric and the proof; human authors posted and presumably edited the paper","verification":{"key":"preprint","label":"Preprint only","text":"Unrefereed preprint; exact computer checks of finite identities in a public repository; not verified by geometers per Nienhaus–Wulle"},"status":"pending","shock":"Would be the first counterexample to Hopf's sign conjecture and the AI is credited with the whole construction, yet weeks later it had drawn almost no public attention."},"body_md":"## What happened\n\nHeinz Hopf asked two famous questions about positive sectional curvature: whether S²×S² admits such a metric (the product\nconjecture) and whether every even-dimensional closed positively curved manifold has positive Euler characteristic (the sign\nconjecture). In August 2026 Simon Brendle and P. K. Hung posted a metric of positive curvature on S²×S², disproving the product\nconjecture. Within days a team at Harvard's Department of Biostatistics posted a positively curved metric on S²×S³ (22 Aug), and on\n6 Sept a metric on S³×S³. Because χ(S³×S³) = 0, the second would be a counterexample to the sign conjecture in dimension 6, where\nGeroch's 1976 algebraic example had shown that the four-dimensional Gauss–Bonnet argument fails.\n\nBoth papers credit the \"Odin Automatic AI Research Agent\" with discovering the metric and the proof. The S³×S³ paper runs to 30\npages, ships Python code that checks its finite algebraic identities exactly, and leaves the global positivity argument as a written\nproof.\n\n## Why it matters\n\nIf it holds, one of the central conjectures of Riemannian geometry fails, and an AI agent is credited with the full construction. The\nclaim is unverified: on 15 Oct the geometers Nienhaus and Wulle, whose own AI-assisted paper proves the conjecture under T³\nsymmetry, wrote that the dimension-6 announcement is \"entirely AI and not verified by geometers\". The case shows how AI-produced\nclaims about famous problems can sit unexamined for weeks.","disputed":[{"label":"Verification","text":"Unrefereed preprint; exact computer checks of finite identities in a public repository; not verified by geometers per Nienhaus–Wulle","sources":[]}],"related":[{"id":"2026-10-15-hopf-conjecture-t3-symmetry-chatgpt-astra","url":"https://postcutoff.com/e/2026-10-15-hopf-conjecture-t3-symmetry-chatgpt-astra/","date":"2026-10-15","date_precision":"day","short_title":"Hopf's Euler characteristic conjecture proved under T³ symmetry","deck":"The first proof came from ChatGPT-6-Astra 'with minimal human input'","takeaway":"The symmetry needed for Hopf's 1930s conjecture drops from a 4-torus to a 3-torus; the paper says the starting proof of its main theorem was obtained with GPT-6 Astra.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":3,"official":3,"filed":"2026-10-16","updated":"2026-10-16","orgs":["OpenAI","University of Münster"]},{"id":"2026-09-27-erdos-993-forest-independence-polynomials-unimodal","url":"https://postcutoff.com/e/2026-09-27-erdos-993-forest-independence-polynomials-unimodal/","date":"2026-09-27","date_precision":"day","short_title":"Erdős Problem #993 (1987)","deck":"Independent-set sequences of all forests claimed unimodal; a second proof and its Lean 4 formalization are attributed entirely to AI agents (Zhang, Li, Vallier)","takeaway":"A 1987 question of Alavi, Malde, Schwenk and Erdős asks whether the numbers of independent sets of each size in a tree or forest always rise and then fall. Tong Zhang and Wei Li claimed a computer-assisted proof on 27 Sept 2026 with help from GPT-6 Astra. A second proof (arXiv, 6 Oct) says AI systems produced all of its new mathematics, its Lean proof and most of its text.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":6,"official":4,"filed":"2026-10-13","updated":"2026-10-16","orgs":["Northwestern Polytechnical University","University of Toledo","OpenAI","Anthropic"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-16","type":"filed","text":"Created (arXiv abstracts and both Odin PDFs read; Brendle–Hung abstract read)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-16","run":null,"sources_read":"ArXiv abstracts and both Odin PDFs read; Brendle–Hung abstract read","updated":"2026-10-16","human_review":null,"version":{"date":"2026-10-16"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":129,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":68,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":159,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":98,"in_training_data":false}],"short_url":"https://postcutoff.com/s/preprint-credits-odin-ai"}