{"schema":"postcutoff/event@1","as_of":"2026-10-12T07:22:00+02:00","url":"https://postcutoff.com/e/2026-10-09-arxiv-ai-disclosed-results-early-october-2026/","md":"https://postcutoff.com/e/2026-10-09-arxiv-ai-disclosed-results-early-october-2026/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"Adam Bicz","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-10-09-arxiv-ai-disclosed-results-early-october-2026","date":"2026-10-09","date_precision":"day","short_title":"arXiv, 5–9 October 2026","deck":"More conjectures settled with disclosed AI help (Quillen's local parameter conjecture in dimension 4, Laughlin gap, poset reconstruction), next to human-only results","takeaway":"A catalogue of smaller arXiv preprints from 5–9 Oct 2026 that claim to settle a named conjecture or open problem, with the AI role as the authors state it.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"arXiv 2610.13469: Quillen's local parameter conjecture in dimension four","url":"https://arxiv.org/abs/2610.13469","type":"paper","group":"primary","domain":"arxiv.org"},{"n":2,"title":"arXiv 2610.12700: Improving the lower bound on the Laughlin gap: An SDP search","url":"https://arxiv.org/abs/2610.12700","type":"paper","group":"primary","domain":"arxiv.org"},{"n":3,"title":"OpenAI math release: A Fock-space inequality and the Laughlin spectral gap (Lean)","url":"https://github.com/openai/math/tree/main/lean/OAI/Analysis/LaughlinFock","type":"code","group":"primary","domain":"github.com"},{"n":4,"title":"arXiv 2610.12690: Reconstruction of Finite Posets of Width Three","url":"https://arxiv.org/abs/2610.12690","type":"paper","group":"primary","domain":"arxiv.org"},{"n":5,"title":"arXiv 2610.13939: The Tate Conjecture for Ordinary Calabi-Yau Threefolds","url":"https://arxiv.org/abs/2610.13939","type":"paper","group":"primary","domain":"arxiv.org"},{"n":6,"title":"arXiv 2610.13590: Lower Bounds for Randomized Linear-Oracle Optimization over Strongly Convex Sets","url":"https://arxiv.org/abs/2610.13590","type":"paper","group":"primary","domain":"arxiv.org"},{"n":7,"title":"arXiv 2610.12955: The biwheel conjecture for braces","url":"https://arxiv.org/abs/2610.12955","type":"paper","group":"primary","domain":"arxiv.org"},{"n":8,"title":"arXiv 2610.13888: Counterexamples to Minkowski-type inequalities and the Rees converse for modules","url":"https://arxiv.org/abs/2610.13888","type":"paper","group":"primary","domain":"arxiv.org"},{"n":9,"title":"arXiv 2610.12853: On the Imaginary Part of ζ′/ζ","url":"https://arxiv.org/abs/2610.12853","type":"paper","group":"primary","domain":"arxiv.org"},{"n":10,"title":"arXiv 2610.13085: Resolving Pisanski's Conjecture","url":"https://arxiv.org/abs/2610.13085","type":"paper","group":"primary","domain":"arxiv.org"},{"n":11,"title":"arXiv 2610.09270: Counterexamples to the Ambro–Kawamata effective non-vanishing conjecture","url":"https://arxiv.org/abs/2610.09270","type":"paper","group":"primary","domain":"arxiv.org"},{"n":12,"title":"arXiv 2610.06033: A counterexample to the circuit-cocircuit intersection conjecture","url":"https://arxiv.org/abs/2610.06033","type":"paper","group":"primary","domain":"arxiv.org"},{"n":13,"title":"arXiv 2610.10188: A proof of the fractional Lane–Emden conjecture","url":"https://arxiv.org/abs/2610.10188","type":"paper","group":"primary","domain":"arxiv.org"},{"n":14,"title":"arXiv 2610.12203: A Complete Proof of Mueller–Ho Conjecture","url":"https://arxiv.org/abs/2610.12203","type":"paper","group":"primary","domain":"arxiv.org"}],"official":14,"filed":"2026-10-12","updated":"2026-10-12","orgs":["OpenAI","Anthropic","various mathematicians"],"title":"arXiv, 5–9 October 2026: more conjectures settled with disclosed AI help (Quillen's local parameter conjecture in dimension 4, Laughlin gap, poset reconstruction), next to human-only results","summary":"A catalogue of smaller arXiv preprints from 5–9 Oct 2026 that claim to settle a named conjecture or open problem, with the AI role as the authors state it. AI-developed proofs: Quillen's local parameter conjecture in dimension four (\"ChatGPT and Codex (GPT-6) were used to develop the proof\"), reconstruction of finite posets of width three (\"discovered by ChatGPT 6 Pro\"), and a much better lower bound on the Laughlin gap that improves an OpenAI release result (\"completed by the AI model Claude Opus 5.5\"). Others used AI for literature search or checking, or state none. All are unrefereed. Larger results of the same week have their own entries.","key_facts":["Quillen's local parameter conjecture, dimension four (Yunpeng Li, CUHK Shenzhen, arXiv 2610.13469, 72 pages): for a regular local ring R of mixed characteristic and dimension four and a regular parameter r, every finitely generated projective module over R[1/r] is free. Known before when R contains a field (Bhatwadekar–Rao, Popescu) and in dimension ≤ 3 (Gabber). Disclosure: 'OpenAI's ChatGPT and Codex (GPT-6) were used to develop the proof and prepare the manuscript. The human author takes full responsibility for the mathematical arguments and the final manuscript.' Single author, not expert-checked","Laughlin gap (Qiang Gao, arXiv 2610.12700, 20 pages): raises the constant in OpenAI's Fock-space inequality from 0.0461673… to 0.2190037845…, 'certified by exact rational arithmetic', so the spectral gap above the Laughlin state at filling 1/3 is at least 1/5 instead of 1/25 for large spheres (numerics put the true gap near 0.4). 'The proof of the improvement and the SDP search were completed by the AI model Claude Opus 5.5 (Anthropic) under the author's direction'; the author noticed that OpenAI's certificate 'appeared to be hand-picked rather than obtained by optimization' and asked Claude to set up a semidefinite-programming search. A Lean proof by 'ChatGPT 6.1 Sol' is 'in progress'","Reconstruction of finite posets of width three (Patrizio Cintioli, University of Camerino, arXiv 2610.12690, 19 pages): every finite ordered set of width at most three and at least four elements is reconstructible from its deck, the width-three part of an open problem of Schröder. 'The main result was discovered by ChatGPT 6 Pro (OpenAI), which was also used in developing the proof and preparing the manuscript. The mathematical proofs were also subjected to an independent adversarial review using Claude Fable 5.1 (Anthropic).'","Tate conjecture for ordinary Calabi–Yau threefolds (Lukas Brantner, Oxford and CNRS, arXiv 2610.13939, 6 pages): integral geometric Tate conjecture over finite fields via canonical lifts. AI as a literature guide: 'We devised the overall proof strategy. ChatGPT was used to explore the literature and review earlier drafts. The model directed our attention to the work of Patakfalvi and Zdanowicz, which helped us handle the case of divisor classes when b1(X) > 0.'","Randomized Frank–Wolfe lower bound (Sebastian Pokutta, Zuse Institute Berlin, arXiv 2610.13590): an Ω(L·diam(S)²/T²) lower bound for randomized linear-minimization-oracle methods over strongly convex sets. 'Generative AI tools assisted throughout the research process with formulation and revision of mathematical arguments, implementation of verification and plotting scripts, formalization, and manuscript editing', with 'machine-checked proofs for the results covered by the formalization'","Light AI use: the biwheel conjecture for braces (Feng and Zhou, Jimei University, arXiv 2610.12955; de Carvalho–Lucchesi–Murty's conjecture that the minimum number of perfect matchings of a brace of order n is (n − 2)²/4; AI tools used 'to assist in discussing proof strategies, checking proofs, and improving the exposition'); counterexamples to Minkowski-type inequalities for modules (Jorge Pérez, arXiv 2610.13888; 'the vast majority of its theoretical results were obtained without the aid of generative AI tools', calculations with GPT-5.6 Sol and Codex)","A paper about an AI proof: Farzad Aryan's 'On the Imaginary Part of ζ′/ζ' (arXiv 2610.12853) is 'motivated by the recent breakthrough of Anthropic's Claude' on zeta zeros and includes 'An Expository Note on Claude's Argument', explaining how Claude 'replaced the termwise positivity argument by a global linear-algebraic analysis'. Aryan is the author of the 2017 unconditional pair-correlation framework that the Claude result built on","Same week, no AI disclosure found in the PDF (sweep scan): Pisanski's 1980 conjecture on quadrilateral embeddings of regular bipartite graphs (Metzger and Ulrigg, University of Washington, 2610.13085); counterexamples to the Ambro–Kawamata effective non-vanishing conjecture (Rahul Ajit, 2610.09270); a counterexample to Oxley's circuit–cocircuit intersection conjecture from the extended binary Golay code (Houshan Fu, 2610.06033); the fractional Lane–Emden conjecture (Mei and Wei, 2610.10188); the Mueller–Ho conjecture (2002) on vortex lattices in two-component Bose–Einstein condensates (Luo and Wei, 2610.12203)","None of these results had press coverage, a Hacker News thread or a public expert assessment that we could find on 12 Oct 2026"],"key_numbers":[],"tags":["math","physics","arxiv","ai-for-math","catalogue","gpt-6","claude-opus-5-5","chatgpt","codex"],"science":{"field":"mathematics","subfield":"multiple (commutative algebra, mathematical physics, order theory, arithmetic geometry, optimization, combinatorics)","problem":"Several named conjectures and open problems (see key facts)","result":"About a dozen claimed resolutions posted 5–9 Oct 2026, with AI roles from full proof development to none.","open_since":"","ai_system":["ChatGPT","Codex","GPT-6 Pro","Claude Opus 5.5","Claude Fable 5.1","GPT-5.6 Sol"],"human_role":"Varies: AI-developed proofs checked by one author (Quillen dimension 4, posets, Laughlin gap); AI for literature and checking (Tate, biwheel); none disclosed (Pisanski, Ambro–Kawamata and others)","verification":{"key":"preprint","label":"Preprint only","text":"Unrefereed preprints; AI role self-reported by authors"},"status":"pending","shock":"","verified_by":["preprint"],"kind":"batch"},"body_md":"## What happened\n\nThe stream of AI-assisted arXiv results described in the summer 2026 catalogue continued in the first full week of October, the\nweek of OpenAI's 722-manuscript release. This entry lists the smaller items of 5–9 Oct. The larger ones have their own entries:\nthe Lean formalization of geometrization, the counterexample to Nirenberg's conjecture, near-linear Subset Sum, universality of\nrandom permutations, explicit tensors of border rank 3n and the holomorphic cancellation problem.\n\nThree patterns are visible.\n\n- **Single authors with AI-developed proofs of hard statements.** The dimension-four case of Quillen's local parameter conjecture\n  is a 72-page proof in algebraic K-theory by one author from a data-science school, developed with ChatGPT and Codex. Nobody\n  else has checked it yet, so confidence is low until specialists comment.\n- **Outsiders improving OpenAI's results within days.** Qiang Gao read OpenAI's Laughlin-gap proof, saw that its certificate was\n  not optimized, and had Claude Opus 5.5 run a semidefinite-programming search that multiplied the constant by almost five.\n- **Honest small roles.** Brantner credits ChatGPT with pointing to one relevant paper. Several authors state that the results\n  predate AI tools or used them only for checking and wording.\n\nHuman-only papers settling named conjectures appeared in the same week.\n\n## Why it matters\n\nThe catalogue shows what the everyday use of frontier models in research mathematics looked like in October 2026: routine,\ndisclosed in a sentence or two, and uneven in reliability. Results proved by a model and checked by one person need independent\nconfirmation before they are cited as theorems.","disputed":[{"label":"Verification","text":"Unrefereed preprints; AI role self-reported by authors","sources":[]}],"related":[{"id":"2026-10-09-geometrization-conjecture-lean-formalization","url":"https://postcutoff.com/e/2026-10-09-geometrization-conjecture-lean-formalization/","date":"2026-10-09","date_precision":"day","short_title":"Thurston's geometrization conjecture formalised in Lean","deck":"The Hamilton–Perelman proof machine-checked with GPT-6, Claude and DeepSeek agents (Chow's group)","takeaway":"Twelve days after the Poincaré conjecture, the same group machine-checked the full geometrization theorem, the result Perelman actually proved. The paper names the models: GPT-6 Astra reviews, and GPT-6 Luna, Sol, Astra, Claude Opus 5.5 and DeepSeek V4.1 Flash build.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":4,"official":4,"filed":"2026-10-12","updated":"2026-10-12","orgs":["UC San Diego","Cornell University","Princeton University","Tsinghua University","Amazon AGI","NVIDIA Research","University of Oregon"]},{"id":"2026-10-09-nirenberg-conjecture-closed-asymptotic-curves-counterexample","url":"https://postcutoff.com/e/2026-10-09-nirenberg-conjecture-closed-asymptotic-curves-counterexample/","date":"2026-10-09","date_precision":"day","short_title":"Nirenberg's 1962 conjecture on closed asymptotic curves disproved","deck":"Claude and ChatGPT found the first, polygonal counterexample (Banks, Ghomi, Qiu, Raffaelli)","takeaway":"A 64-year-old conjecture from Louis Nirenberg's program on rigidity of surfaces is false. The authors say AI models found the first discrete counterexample, which they then smoothed; the final construction in the paper is classical and checked in Mathematica.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":1,"official":1,"filed":"2026-10-12","updated":"2026-10-12","orgs":["Georgia Institute of Technology","Anthropic","OpenAI"]},{"id":"2026-10-09-subset-sum-near-linear-time-gpt-astra-ultra","url":"https://postcutoff.com/e/2026-10-09-subset-sum-near-linear-time-gpt-astra-ultra/","date":"2026-10-09","date_precision":"day","short_title":"Subset Sum in O(n + N^(1+ε)) time claimed","deck":"Zhejiang team designed the route, GPT Astra Ultra wrote the complete proofs (Chen, Mao, Zhang)","takeaway":"A long-open question in algorithms, whether Subset Sum can be solved in time near-linear in the largest input number, gets a claimed positive answer. The authors designed the approach; GPT Astra Ultra turned it into a 105-page paper and generalized it without guidance.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":2,"official":2,"filed":"2026-10-12","updated":"2026-10-12","orgs":["Zhejiang University","OpenAI"]},{"id":"2026-10-09-random-permutations-universal-alon-gpt-6-pro","url":"https://postcutoff.com/e/2026-10-09-random-permutations-universal-alon-gpt-6-pro/","date":"2026-10-09","date_precision":"day","short_title":"Random permutations of quadratic length contain every pattern","deck":"Alon's 1000n² problem solved, 'the proof was found by GPT-6 Pro' (Chen, Wang)","takeaway":"The authors of this combinatorics paper state in the abstract that the model found the proof and that they 'do not claim credit for the proof ideas'. It settles the order of magnitude in a problem posed by Noga Alon.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":1,"official":1,"filed":"2026-10-12","updated":"2026-10-12","orgs":["Beijing Institute of Technology","OpenAI"]},{"id":"2026-10-08-holomorphic-cancellation-problem-counterexample","url":"https://postcutoff.com/e/2026-10-08-holomorphic-cancellation-problem-counterexample/","date":"2026-10-08","date_precision":"day","short_title":"Holomorphic Cancellation Problem (1998) answered in the negative, conditional on a newly announced exotic affine space; proofs developed with generative AI (Gaofeng Huang, Harvard)","deck":null,"takeaway":"A space can stop being distinguishable from ordinary complex n-space after one extra dimension is added. The short proof was written with AI help and rests on a result by Auroux, Bai and Pomerleano that has been announced in a lecture but not yet published.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":2,"official":2,"filed":"2026-10-12","updated":"2026-10-12","orgs":["Harvard University"]},{"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":74,"official":13,"filed":"2026-10-07","updated":"2026-10-12","orgs":["OpenAI"]},{"id":"2026-10-06-explicit-tensors-border-rank-3n-gpt-6-astra","url":"https://postcutoff.com/e/2026-10-06-explicit-tensors-border-rank-3n-gpt-6-astra/","date":"2026-10-06","date_precision":"day","short_title":"Explicit tensors of border rank 3n − o(n), past the 'linear flattening barrier'","deck":"Proofs obtained with GPT-6 Astra (Benjamin Lovitz)","takeaway":"The record lower bound for the border rank of an explicit tensor moves from about 2n to about 3n, and the standard method is shown to be unable to pass 2n − 1. The author says GPT-6 Astra was used to obtain the proofs of the main results.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":1,"official":1,"filed":"2026-10-12","updated":"2026-10-12","orgs":["Concordia University","OpenAI"]},{"id":"2026-09-30-ai-assisted-conjecture-wave-summer-2026","url":"https://postcutoff.com/e/2026-09-30-ai-assisted-conjecture-wave-summer-2026/","date":"2026-09-30","date_precision":"day","short_title":"Summer 2026 flood: dozens of named conjectures settled on arXiv with disclosed AI help","deck":null,"takeaway":"This entry catalogues about 50 of them, with the AI role as the authors state it.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":9,"official":4,"filed":"2026-09-30","updated":"2026-10-12","orgs":["OpenAI","Anthropic","Google DeepMind","various mathematicians"]},{"id":"2026-08-10-claude-riemann-zeta-zeros-two-thirds","url":"https://postcutoff.com/e/2026-08-10-claude-riemann-zeta-zeros-two-thirds/","date":"2026-08-10","date_precision":"day","short_title":"Claude proves more than two-thirds of Riemann zeta zeros are simple and on the critical line (up from 41.6%)","deck":null,"takeaway":"It does not prove the Riemann hypothesis, but it is a dramatic quantitative advance on the most famous problem in mathematics, and it was independently confirmed.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":7,"official":7,"filed":"2026-09-29","updated":"2026-10-12","orgs":["Anthropic"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-12","type":"filed","text":"Created from the PDFs listed by the 2026-10-12 sweep (two days of arXiv listings)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-12","run":null,"sources_read":"The PDFs listed by the 2026-10-12 sweep (two days of arXiv listings)","updated":"2026-10-12","human_review":null,"version":null},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":162,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":101,"in_training_data":false},{"model_id":"gemini-3-8-flash","name":"Gemini 3.8 Flash","cutoff":"2026-03","days_after":192,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":131,"in_training_data":false}],"short_url":null}