{"schema":"postcutoff/event@1","as_of":"2026-10-20T07:28:00+02:00","url":"https://postcutoff.com/e/2026-10-20-ai-assisted-results-october-20-listing/","md":"https://postcutoff.com/e/2026-10-20-ai-assisted-results-october-20-listing/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-20-ai-assisted-results-october-20-listing","date":"2026-10-20","date_precision":"day","short_title":"AI-assisted results in the 20 Oct 2026 arXiv listing","deck":"Poset dimension proofs found by GPT-6 Astra, Hitchin domination from ChatGPT 5.6 Sol's ideas, the section conjecture for generic curves, Yau's geometric conjecture, Erdős–Gyárfás r = 5, a Claude-built Gray-code reduction, and a Lean harness solving 6/6 IMO 2026","takeaway":"Tuesday's arXiv announcement was the strongest maths batch yet. Seven results have their own entries, among them the Erdős–Szemerédi sunflower conjecture, Erdős–Hajnal for all paths and a non-sofic hyperbolic group. This page catalogues the next tier: about forty papers whose AI disclosures run from 'the proofs were found by ChatGPT-6 Astra' to proofreading.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"arXiv 2610.24774: On dimension of posets excluding a standard example (Hodor, Micek, Trotter)","url":"https://arxiv.org/abs/2610.24774","type":"paper","group":"primary","domain":"arxiv.org"},{"n":2,"title":"arXiv 2610.24606: Length-convexity and domination for Hitchin representations (Gupta)","url":"https://arxiv.org/abs/2610.24606","type":"paper","group":"primary","domain":"arxiv.org"},{"n":3,"title":"arXiv 2610.24986: The section conjecture for generic pointed curves (Luo, Watanabe)","url":"https://arxiv.org/abs/2610.24986","type":"paper","group":"primary","domain":"arxiv.org"},{"n":4,"title":"arXiv 2610.24636: The Yau Geometric Conjecture for isolated hypersurface singularities (Fu, Yau, Zuo)","url":"https://arxiv.org/abs/2610.24636","type":"paper","group":"primary","domain":"arxiv.org"},{"n":5,"title":"arXiv 2610.24484: Erdős–Gyárfás balanced five-colorings (Xia, Szeider)","url":"https://arxiv.org/abs/2610.24484","type":"paper","group":"primary","domain":"arxiv.org"},{"n":6,"title":"arXiv 2610.24758: Optimal single-track Gray codes from Gray-ordered necklaces (Dzoba)","url":"https://arxiv.org/abs/2610.24758","type":"paper","group":"primary","domain":"arxiv.org"},{"n":7,"title":"arXiv 2610.25204: Crossing numbers of complete bipartite graphs (Balogh et al.)","url":"https://arxiv.org/abs/2610.25204","type":"paper","group":"primary","domain":"arxiv.org"},{"n":8,"title":"arXiv 2610.24442: A proof of the strong Erdős–Frankl–Füredi cover-free conjecture (Hu, Zhang)","url":"https://arxiv.org/abs/2610.24442","type":"paper","group":"primary","domain":"arxiv.org"},{"n":9,"title":"arXiv 2610.24502: The Siemons–Wagner property and Bradley's conjecture (Zhang)","url":"https://arxiv.org/abs/2610.24502","type":"paper","group":"primary","domain":"arxiv.org"},{"n":10,"title":"arXiv 2610.25230: Local approximation of A-harmonic functions and the super-localization conjecture","url":"https://arxiv.org/abs/2610.25230","type":"paper","group":"primary","domain":"arxiv.org"},{"n":11,"title":"arXiv 2610.24351: Global stability of Michaelis–Menten networks (Sontag)","url":"https://arxiv.org/abs/2610.24351","type":"paper","group":"primary","domain":"arxiv.org"},{"n":12,"title":"arXiv 2610.25327: Observability of wave equations with time- and space-dependent potentials","url":"https://arxiv.org/abs/2610.25327","type":"paper","group":"primary","domain":"arxiv.org"},{"n":13,"title":"arXiv 2610.25104: Non-acceleration of the heavy-ball method in 1D","url":"https://arxiv.org/abs/2610.25104","type":"paper","group":"primary","domain":"arxiv.org"},{"n":14,"title":"arXiv 2610.26546: On the nonoccurrence of gradient restart in Nesterov's method","url":"https://arxiv.org/abs/2610.26546","type":"paper","group":"primary","domain":"arxiv.org"},{"n":15,"title":"arXiv 2610.25156: A counterexample to Reich's fixed point problem","url":"https://arxiv.org/abs/2610.25156","type":"paper","group":"primary","domain":"arxiv.org"},{"n":16,"title":"arXiv 2610.25217: A counterexample to the geometric triangulation conjecture","url":"https://arxiv.org/abs/2610.25217","type":"paper","group":"primary","domain":"arxiv.org"},{"n":17,"title":"arXiv 2610.26232: A proof of the Baranov–Bessonov–Kapustin conjecture","url":"https://arxiv.org/abs/2610.26232","type":"paper","group":"primary","domain":"arxiv.org"},{"n":18,"title":"arXiv 2610.26737: The sum–product conjecture holds for fixed-field lattice product constructions","url":"https://arxiv.org/abs/2610.26737","type":"paper","group":"primary","domain":"arxiv.org"},{"n":19,"title":"arXiv 2610.25571: On Huppert's ρ–σ conjecture (Jabara, Keller)","url":"https://arxiv.org/abs/2610.25571","type":"paper","group":"primary","domain":"arxiv.org"},{"n":20,"title":"arXiv 2610.25868: Terao's freeness conjecture for arrangements of 15 and 16 lines","url":"https://arxiv.org/abs/2610.25868","type":"paper","group":"primary","domain":"arxiv.org"},{"n":21,"title":"arXiv 2610.24644: Improved space bounds for promise graph coloring in adversarial streams","url":"https://arxiv.org/abs/2610.24644","type":"paper","group":"primary","domain":"arxiv.org"},{"n":22,"title":"arXiv 2610.25920: Maestro: agentic formal proof development by coordination (AWS)","url":"https://arxiv.org/abs/2610.25920","type":"paper","group":"primary","domain":"arxiv.org"},{"n":23,"title":"arXiv 2610.25580: Weil–Petersson circle homeomorphisms and the Schoen conjecture (Martin, Yao)","url":"https://arxiv.org/abs/2610.25580","type":"paper","group":"primary","domain":"arxiv.org"}],"official":23,"filed":"2026-10-20","updated":"2026-10-20","orgs":["OpenAI","Anthropic","DeepSeek","AWS","various mathematicians"],"title":"AI-assisted results in the 20 Oct 2026 arXiv listing: poset dimension proofs found by GPT-6 Astra, Hitchin domination from ChatGPT 5.6 Sol's ideas, the section conjecture for generic curves, Yau's geometric conjecture, Erdős–Gyárfás r = 5, a Claude-built Gray-code reduction, and a Lean harness solving 6/6 IMO 2026","summary":"Catalogue of AI-disclosing papers in the 20 Oct 2026 arXiv announcement (mostly submitted 16–19 Oct) and late-found ones from 13–17 Oct. Own entries: the Erdős–Szemerédi sunflower conjecture (Theorem 2 found by ChatGPT 6 Astra Pro), Erdős–Hajnal for all paths (Nguyen with GPT-6 Astra; DeepMind's model in parallel), a non-sofic hyperbolic group (Sandhu–Thom), integer programming in N^O(d) (GPT Astra Ultra), the equiregular sub-Riemannian Sard counterexample (Claude), commutative counterexamples to Arveson's hyperrigidity conjecture (GPT-6 Astra), and Chudnovsky's lemniscate irrationality exponent (ChatGPT, Lean). Expert follow-ups were added to the Riemann-zeta two-thirds entry (Arias de Reyna) and the Jacobian conjecture entry (de Bondt). The rest is listed here.","key_facts":["Own entries: sunflower (2610.26686), Erdős–Hajnal paths (2610.24887), non-sofic hyperbolic group (2610.24836), integer programming (2610.25955), Sard (2610.24080), hyperrigidity (2610.26556), lemniscate (2610.26539). Enriched: zeta two-thirds (Arias de Reyna, 2610.24612), Jacobian conjecture (de Bondt, 2610.24889)","Poset dimension (Jędrzej Hodor, Piotr Micek, William T. Trotter; 2610.24774): for every d ≥ 3 there is α < 1 with posets excluding the standard example S_d having dimension O_d(n^α); for d = 3, O(n^(2/3) log n) and a construction of dimension Ω(n^(1/3)/log n). AI statement: 'The proofs were found by OpenAI's ChatGPT-6 Astra. The authors digested the initially generated output and made an effort to present the argument in a readable and optimized form.'","Hitchin representations (Subhojoy Gupta; 2610.24606): every Hitchin representation dominates one in Hit_n(S)′ in the Hilbert length spectrum, 'this confirms a conjecture of Lee-Zhang and, independently, Tholozan who had proved this for n = 3'. 'The key ideas in this note, specifically the convexity of the log-spectral radius function in Corollary 3.2 and the use of the Brouwer fixed-point theorem in the proof of Theorem 1.1, are due to ChatGPT 5.6 Sol.' Written entirely by the author","Grothendieck's section conjecture for the generic n-pointed genus-g curve (g ≥ 3, n ≥ 1) over function fields of M_g,n over k/Q (Ma Luo, Tatsunari Watanabe; 2610.24986). 'The authors used OpenAI's ChatGPT to assist with literature searches, aid their mathematical review, refine notation, and improve the exposition of their original mathematical ideas and arguments.' Supporting AI role only","Yau Geometric Conjecture for isolated hypersurface singularities (Siyuan Fu, Stephen S.-T. Yau, Huaiqing Zuo; 2610.24636), 'a proof of the long-standing Yau Geometric Conjecture'. 'AI tools (ChatGPT and DeepSeek) were used … to help with checking calculations and arguments, developing details of proofs using standard techniques, and improving the exposition'","Erdős–Gyárfás balanced colourings, r = 5 (Hai Xia, Stefan Szeider, TU Wien; 2610.24484): K_26 has no balanced 5-colouring, 'the first new case settled in over two decades'; SAT-based (CaDiCaL), 'We used generative AI tools to implement the Lean formalizations'; 'Code and proofs are checked by tests and the Lean kernel'","Single-track Gray codes (Chris Dzoba; 2610.24758): the Degni–Drisko (2007) necklace conjecture implies optimal codes for every prime, formalized in Lean; with computation, optimal codes for every odd prime n ≤ 47 (open since 1996; previously n ≤ 19). 'Claude (Anthropic) wrote and ran the searches and verifiers, found the closing pivots of Theorem A by computer search, wrote the proofs and the Lean formalization, and drafted the text … Separate instances refereed the proof and the formalization, and Codex (OpenAI) wrote two further checkers'","Crossing numbers (Balogh, Layman, Lidický, Pfender, Salazar, Spiro, Volec; 2610.25204): flag algebras give cr(K_n,n) ≥ 0.96936·Z(n,n) + o(n⁴) toward Zarankiewicz's conjecture, rectilinear ≥ 0.987·Z(n,n). 'Both Conjectures 1 and 7 were claimed to be true by OpenAI [26, 27]. ChatGPT-6 was used to assist with writing Section 3'; ChatGPT-6 also found an integer-overflow bug in their search program","Strong Erdős–Frankl–Füredi cover-free conjecture (Yanan Hu, Leilei Zhang; 2610.24442): T(r) ≥ (r+1)² for all r, with equality when r+1 is a prime power. 'At an early stage of this work, AI tools were used to assist in developing proofs.'","Siemons–Wagner property and Bradley's conjecture (Zhilin Zhang; 2610.24502): classification of 2-transitive groups with property ⋆3, settling Bradley's thesis conjecture. 'When this work had long been stalled, it was GPT6-Astra that opened a new line of thought and helped break the impasse'; Astra also wrote and debugged the GAP census scripts","Super-localization conjecture (Moritz Hauck, Chupeng Ma, Daniel Peterseim; 2610.25230): short proof of the exp(−c n^(1/(d−1))) Kolmogorov n-width decay conjectured by Ma (FoCM 2026). 'ChatGPT was used to develop the central arguments in the proof of Theorem 1. In particular, it identified the energy-determinant argument of Li and Wang [9] and suggested adapting it'","Michaelis–Menten networks (Eduardo D. Sontag; 2610.24351): global stability, stated as an open problem by Blanchini–Breda–Giordano–Liessi, holds without connectedness or non-degeneracy hypotheses; 'The author worked closely with several AI assistants to brainstorm ideas, search the literature, develop proofs, check arguments, and write and edit the paper'","Counterexamples suggested or generated by AI: wave observability under GCC with a smooth time-periodic potential (Liao, Lü, Zhang; 2610.25327: an AI tool was used 'in particular, to suggest the counterexample presented in this paper'); heavy-ball non-acceleration in 1D (ETH seminar 'AI for Mathematics and Optimization'; 2610.25104: 'Example 3.2 was generated by AI … The counterexample in Section 5 was generated by AI and verified by the authors'); Nesterov gradient restart never occurring (Bao, Chen, Li, Sun; 2610.26546: 'GPT-6 was used as an auxiliary tool to help develop the counterexample construction'); Reich's fixed-point problem answered negatively (Luong Van Nguyen; 2610.25156: ChatGPT for 'assistance in conceptualizing the example'); Costantino–Frigerio–Martelli–Petronio geometric triangulation conjecture refuted with a 2,688-tetrahedron triangulation (Ke Feng, Aijin Lin; 2610.25217; ChatGPT helped explore 'proof strategies and calculations')","Analysis and operator theory: Baranov–Bessonov–Kapustin conjecture proved (Bellavita, Virtanen; 2610.26232: 'suggestions generated by ChatGPT-6 contributed to the formulation and organization of the argument that appears in Section 4'); CAT(0) maximal monotone vs surjectivity, negative and partial answers (Chaipunya; 2610.25080; Claude Opus 5.5 drafted and revised 'parts of the text and proofs'); Schoen conjecture for Weil–Petersson circle maps (Martin, Yao; 2610.25580: work predates generative AI, but Claude and GPT, asked 'what have we missed', pointed to Riestenberg–Smillie and Ripoll–Tomi, which 'overcame some gaps in our argument'); translation-invariant pure states with exotic half-chain factors (Liu, Yi, Perimeter; 2610.24154; GPT-5.6 Sol and Claude Opus 5.5 'used extensively')","Number theory and combinatorics: sum–product holds for fixed-field lattice products, the constructions used to disprove it over R (Lemley, Chew; 2610.26737: models 'used substantively during the development of proofs, in some cases proposing key arguments'); Huppert's ρ–σ conjecture, ρ(n) ≤ 4n − 1 + π(2n) and a gap in Bellotti–Keller–Trudgian fixed (Jabara, Keller; 2610.25571: Claude 'noticed a couple of inaccuracies and fixed them'); Terao's freeness conjecture for 15 and 16 lines (Anghel, Stan; 2610.25868; Claude for literature search, programming and drafting); Fuglede's conjecture in F₂⁷ (Kadowaki; 2610.24022; 'AI-assisted tools were used in the research'); size Ramsey numbers of two-component star forests, a case of Erdős Problem #561 (Chunlin You; 2610.25958; ChatGPT 'to assist in exploring proof strategies'); non-uniform Baranyai factorizations (Gao, Li; 2610.24695); zero forcing of P(n,3), P(n,4), proving Krishnan's Conjecture 5 (2610.24059; AI for 'Lean proof development'); Erdős–Ginzburg–Ziv for finite groups (Qu; 2610.26122; AI for 'proofs in the sections on finite simple groups')","Algorithms and control: promise colouring in adversarial streams, 3- vs 6-colourable in O(n^(3/2) log(n/ε) log n) bits (Thoumi; 2610.24644: 'Theorem 10 and Appendix A were entirely obtained using GPT Astra; the author … takes no credit, but full responsibility'); strategy recovery for mean-payoff games as hard as solving them (Dorfman, Zwick; 2610.25188; 'Interactions with ChatGPT 5.6 Pro influenced the content of Section 5.2, Section 6 and Section 7'); Witsenhausen's counterexample, exact boundary of linear optimality and non-definability in o-minimal structures (Lu, Li; 2610.25853; AI expanded the authors' arguments into derivations); Coppersmith–Winograd as tensor-contraction aggregation (Solomonik, Bläser; 2610.26563; Gemini, ChatGPT and Claude helped develop embeddings and corrections)","Methods: Maestro (AWS AI Labs, UIUC, Georgia Tech; 2610.25920), an open Lean harness on top of Claude Code or Codex: with Claude Opus 5 it proves 34 of 48 theorems of the June 2026 arXivLean release (19 for the bare agent), 669/672 PutnamBench, 59/60 Lean-IMO-Bench and 6/6 IMO 2026. Safal Aryal's proof-theoretic study of AI-generated Lean corpora such as OpenAI's (2610.25357; code written by Claude Code). A Lean-verified curved simplex Hilbert transform with no AI in the mathematics but 'AI coding agents' for the formalization (Durcik, Fraccaroli, Roos; 2610.24850)","Minor roles (editing, proofreading, figures): center conjecture for cyclotomic Hecke algebras (Hu, Mathas, Shi, Webster; 2610.25101); Ramanujan conjecture and RH for unitary groups over function fields (Lomelí; 2610.23985; Claude for editing); Streets–Tian on homogeneous quotients (Cao, Chen; 2610.25229); Landau score iterations (2610.25780); asymptotic dimension and fat minors (2610.22495; figures)","Scanned in full text, no AI statement (20 Oct): Ward's divisibility conjecture bound (2610.26200), hyperplane conjecture (2610.26186), rational hit conjecture (2610.26028), factorial separation conjecture (2610.25661), Property C/D inverse zero-sum conjectures (2610.25271), conformal normal metrics counterexample (2610.24541), real Jacobian conjecture vector fields (2610.19360), Abel limit cycles (2610.19340), mutual f-information (2610.21231), NLS tori (2610.22072), four-qubit contextuality degree 315 (2610.26465) and about fifteen others; the sweep's ML and physics papers with 'LLM' in the text are out of scope here"],"key_numbers":[],"tags":["math","computer-science","physics","arxiv","catalogue","chatgpt","gpt-6-astra","gpt-5-6-sol","codex","claude","claude-opus-5-5","deepseek","lean","counterexample","erdos"],"science":{"field":"mathematics","subfield":"multiple (combinatorics, geometry, analysis, number theory, algorithms)","problem":"Poset dimension without S_d; Lee–Zhang/Tholozan domination; section conjecture for generic curves; Yau geometric conjecture; Erdős–Gyárfás r = 5; single-track Gray codes; see list","result":"Catalogue of AI-assisted results in the 20 Oct 2026 arXiv announcement beyond those with their own entries","open_since":"","ai_system":["GPT-6 Astra","ChatGPT 5.6 Sol","ChatGPT-6","Codex","Claude Opus 5.5","Claude","DeepSeek","Gemini"],"human_role":"From AI-found proofs (poset dimension, Gray codes, streaming theorem) to human-led papers with AI help on lemmas, counterexamples, checking or editing","verification":{"key":"lean","label":"Lean-verified","text":"Unrefereed arXiv preprints; Lean for Erdős–Gyárfás r = 5, Gray-code implication, zero forcing and the simplex Hilbert transform"},"status":"pending","shock":"","verified_by":["preprint","lean"],"kind":"batch"},"body_md":"## What happened\n\nTuesday's arXiv announcement (20 Oct; submissions of 16–19 Oct), together with papers from 13–17 Oct that the sweep had not listed\nbefore, had 94 papers that disclose or mention AI use. We read the full text of every uncited mathematics paper among them,\nplus 28 uncited \"conjecture/open problem\" papers without a disclosure. Seven results got their own entries. Two more are expert\nfollow-ups to famous AI results. Juan Arias de Reyna re-proves Claude's two-thirds theorem on zeta zeros for a textbook. Michiel\nde Bondt stabilizes Alpöge's Jacobian counterexample down to cubic maps in dimension 12 and to Zhao's Vanishing Conjecture.\n\nIn the papers listed here, AI plays roles of three kinds:\n- **The AI found the proof**: Hodor–Micek–Trotter on poset dimension (\"The proofs were found by OpenAI's ChatGPT-6 Astra\"),\n  Thoumi's streaming theorem, and Dzoba's Gray codes (Claude did the search, proofs and Lean under the author's direction).\n- **AI ideas at a key step**: Gupta's Hitchin note (ChatGPT 5.6 Sol supplied the convexity and fixed-point ideas), Hauck–Ma–Peterseim\n  (ChatGPT found the argument to adapt), Zhang's Bradley conjecture (Astra \"helped break the impasse\"), and five papers whose\n  counterexample was suggested or generated by AI.\n- **Supporting roles**: literature, checking, Lean and editing, including in a few famous-name papers: the section conjecture for\n  generic curves, the Yau geometric conjecture with S.-T. Yau, and Balogh et al. on Zarankiewicz's crossing-number conjecture.\n\nNo Hacker News thread or high-reach X post on any of these papers was found on the morning of 20 Oct (web search; the sweep's HN\nand X sections list none).\n\n## Why it matters\n\nThe day's papers show AI credited with the decisive step on problems that specialists had studied for decades: sunflowers,\nErdős–Hajnal and soficity. Authors are also writing more precise disclosures, often citing the Leiden Declaration and naming the\nlemmas a model proved. Two labs' models (OpenAI's Astra and a DeepMind internal model) reached the same Erdős–Hajnal case\nindependently.","disputed":[{"label":"Verification","text":"Unrefereed arXiv preprints; Lean for Erdős–Gyárfás r = 5, Gray-code implication, zero forcing and the simplex Hilbert transform","sources":[]}],"related":[{"id":"2026-10-19-erdos-szemeredi-sunflower-conjecture-gpt-6-astra-pro","url":"https://postcutoff.com/e/2026-10-19-erdos-szemeredi-sunflower-conjecture-gpt-6-astra-pro/","date":"2026-10-19","date_precision":"day","short_title":"Erdős–Szemerédi sunflower conjecture proved for every k ≥ 3","deck":"The key vector bound (Theorem 2) was found by ChatGPT 6 Astra Pro (Bucić, He, Lee)","takeaway":"A 1970s Erdős–Szemerédi conjecture is claimed proved for every k: families of subsets of [n] with no k-sunflower have size at most c_k^n with c_k < 2. Before this only k = 3 was known, through the 2016 cap-set breakthrough. The authors say ChatGPT 6 Astra Pro found the proof of the central theorem. The paper also says a Lean check exists, but it has not been released yet.","category":"science","category_label":"Science & math","importance":5,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":2,"official":2,"filed":"2026-10-20","updated":"2026-10-20","orgs":["University of Vienna","KAIST","IBS","OpenAI"]},{"id":"2026-10-19-integer-programming-linear-exponent-gpt-astra-ultra","url":"https://postcutoff.com/e/2026-10-19-integer-programming-linear-exponent-gpt-astra-ultra/","date":"2026-10-19","date_precision":"day","short_title":"Integer programming in standard form in N^O(d) time, improving Eisenbrand–Weismantel's N^O(d²): Zhejiang team's ideas, GPT Astra Ultra's proofs (Chen, Mao, Zhang)","deck":null,"takeaway":"Ten days after their Subset Sum claim, the same Zhejiang trio claim to settle a basic question in integer programming. With d constraints and entries bounded by N, the running time exponent drops from O(d²) to linear in d. As before, the authors give the idea and say GPT Astra Ultra wrote the complete proofs.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":2,"official":2,"filed":"2026-10-20","updated":"2026-10-20","orgs":["Zhejiang University","OpenAI"]},{"id":"2026-10-19-arveson-hyperrigidity-commutative-counterexamples-gpt-6-astra","url":"https://postcutoff.com/e/2026-10-19-arveson-hyperrigidity-commutative-counterexamples-gpt-6-astra/","date":"2026-10-19","date_precision":"day","short_title":"Commutative counterexamples to Arveson's hyperrigidity conjecture","deck":"Proof developed with GPT-6 Astra, finite-dimensional example proposed by it (Bilich, Scherer)","takeaway":"Arveson's hyperrigidity conjecture had already failed for noncommutative C*-algebras. The commutative case, where the known mechanism cannot work, stayed open. Bilich and Scherer now give commutative counterexamples. GPT-6 Astra developed the 30-page initial proof and proposed the finite-dimensional example, and a 40-hour agent search found only an unverified smaller one.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":1,"official":1,"filed":"2026-10-20","updated":"2026-10-20","orgs":["University of Haifa","Technion","OpenAI","Anthropic"]},{"id":"2026-10-19-lemniscate-irrationality-exponent-chudnovsky-chatgpt","url":"https://postcutoff.com/e/2026-10-19-lemniscate-irrationality-exponent-chudnovsky-chatgpt/","date":"2026-10-19","date_precision":"day","short_title":"Gregory Chudnovsky, with ChatGPT, claims the lemniscate period has irrationality exponent 2, with a Lean 4 proof built on OpenAI's π-exponent library","deck":null,"takeaway":"After OpenAI's claim that π has irrationality exponent 2, a well-known transcendence theorist carries the method to the lemniscate period Ω = 2∫₀¹(1−t⁴)^(−1/2) dt. He says ChatGPT helped with the exposition and the formalization, and he ships a complete Lean 4 proof built on OpenAI's library. Like the π claim, it has not been reviewed independently.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":2,"official":2,"filed":"2026-10-20","updated":"2026-10-20","orgs":["OpenAI"]},{"id":"2026-10-19-ai-assisted-results-october-19-listing","url":"https://postcutoff.com/e/2026-10-19-ai-assisted-results-october-19-listing/","date":"2026-10-19","date_precision":"day","short_title":"AI-assisted results in the 19 Oct 2026 arXiv listing","deck":"Experts rework OpenAI's release papers (Deligne–Drinfeld, Hénon–Lane–Emden, Navier–Stokes), Wright's harmonic-analysis problems disproved with Codex, an Aaronson–Ambainis lower bound, and DeepMind's Busy Beaver agent","takeaway":"Monday's arXiv announcement brought the first wave of human follow-up papers on OpenAI's October maths release, alongside a dozen routine AI disclosures. The strongest items have their own entries: Brennan, Smith–Toda, lonely runner and tournament Hamiltonian cycles.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":16,"official":16,"filed":"2026-10-19","updated":"2026-10-19","orgs":["OpenAI","Anthropic","Google DeepMind","Harmonic","various mathematicians"]},{"id":"2026-10-17-erdos-hajnal-all-paths-nguyen-astra-deepmind","url":"https://postcutoff.com/e/2026-10-17-erdos-hajnal-all-paths-nguyen-astra-deepmind/","date":"2026-10-17","date_precision":"day","short_title":"Erdős–Hajnal conjecture proved for every path P_t","deck":"Tung H. Nguyen, with ChatGPT-6 Astra proving key lemmas; a DeepMind internal model reached the same result independently, and Claude Opus 5.5 manuscripts claim P6 and all paths","takeaway":"Until now the Erdős–Hajnal property was known for paths only up to five vertices (P5, 2023). Oxford's Tung H. Nguyen claims it for every path, with GPT-6 Astra proving parts of the key lemmas. His paper says a Google DeepMind internal model got the P6 case and then all paths on its own, Lean-checked, and that two Claude Opus 5.5 manuscripts on GitHub claim P6 and all paths.","category":"science","category_label":"Science & math","importance":5,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":4,"official":4,"filed":"2026-10-20","updated":"2026-10-20","orgs":["University of Oxford","OpenAI","Google DeepMind","Google Research","Anthropic"]},{"id":"2026-10-17-non-sofic-hyperbolic-group-sandhu-thom","url":"https://postcutoff.com/e/2026-10-17-non-sofic-hyperbolic-group-sandhu-thom/","date":"2026-10-17","date_precision":"day","short_title":"A non-sofic word-hyperbolic group","deck":"Sandhu and Thom build one from OpenAI's non-residually-finite hyperbolic group, starting from an AI-generated construction; Douglas–Mghirbi give an independent AI-assisted proof with Lean","takeaway":"Whether every hyperbolic group is sofic was a well-known open question in group theory. Two groups now say no. Both build on the torsion-free, non-residually-finite hyperbolic group in OpenAI's 6 October release. One is co-written by Andreas Thom, an expert in sofic groups. The other, by Douglas and Mghirbi, comes with a Lean formalization.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":4,"official":4,"filed":"2026-10-20","updated":"2026-10-20","orgs":["TU Dresden","OpenAI"]},{"id":"2026-10-16-sub-riemannian-sard-equiregular-counterexample-claude","url":"https://postcutoff.com/e/2026-10-16-sub-riemannian-sard-equiregular-counterexample-claude/","date":"2026-10-16","date_precision":"day","short_title":"Equiregular counterexample to the sub-Riemannian Sard conjecture","deck":"Claude Opus 5/5.5 wrote the construction and first proofs, Lean-formalized with Codex (Wang, Zelenko)","takeaway":"Lerario, Rizzi and Tiberio had disproved the sub-Riemannian Sard conjecture with a degenerate distribution, which left the natural equiregular case open. Wang and Zelenko close it with a rank-two distribution in dimension nine. Zelenko proposed the strategy; Claude generated the explicit structure and first proofs; the main theorems are fully formalized in Lean.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":2,"official":2,"filed":"2026-10-20","updated":"2026-10-20","orgs":["Texas A&M University","Anthropic","OpenAI"]},{"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":9,"official":9,"filed":"2026-09-29","updated":"2026-10-20","orgs":["Anthropic"]},{"id":"2026-07-20-jacobian-conjecture-counterexample","url":"https://postcutoff.com/e/2026-07-20-jacobian-conjecture-counterexample/","date":"2026-07-20","date_precision":"day","short_title":"Claude Fable 5 finds a counterexample to the Jacobian conjecture in dimension 3","deck":null,"takeaway":"The Jacobian conjecture is one of the most famous open problems in algebra.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":5,"official":2,"filed":"2026-09-29","updated":"2026-10-20","orgs":["Anthropic"]}],"people":[{"id":"levent-alpoge","name":"Levent Alpöge","url":"https://postcutoff.com/person/levent-alpoge/"}],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-20","type":"filed","text":"Created (49 disclosure PDFs and 28 no-disclosure PDFs read in full text)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-20","run":null,"sources_read":"49 disclosure PDFs and 28 no-disclosure PDFs read in full text","updated":"2026-10-20","human_review":null,"version":null},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":173,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":112,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":203,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":142,"in_training_data":false}],"short_url":null}