{"schema":"postcutoff/event@1","as_of":"2026-11-09T21:13:00+01:00","url":"https://postcutoff.com/e/2026-11-04-ai-assisted-results-november-4-listing/","md":"https://postcutoff.com/e/2026-11-04-ai-assisted-results-november-4-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-11-04-ai-assisted-results-november-4-listing","date":"2026-11-04","date_precision":"day","short_title":"AI-assisted results, 4 Nov: arXiv of 4 Nov and Hexagon of 2–3 Nov","deck":null,"takeaway":"The 4 Nov sweep listed 374 arXiv papers that mention AI (193 new), 104 conjecture papers and 33 uncited Hexagon works. Three got own entries: Chandran–Gajjala's NP-completeness of Huffman coding with unequal letter costs (Codex), Yang's (1+1/e)Δ colouring mixing claim (GPT-6 Astra Pro) and Akhmedova–Lam–Yost-Wolff's ChatGPT-found counterexample to the amplituhedron magic number conjecture.","category":"science","category_label":"Science & math","importance":2,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"Hexagon 2610.00535: de Bruijn–Newman coefficient dynamics, Lin","url":"https://hexagonmath.org/abs/2610.00535","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":2,"title":"Hexagon 2610.00538: Reversible cellular automata, Sun","url":"https://hexagonmath.org/abs/2610.00538","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":3,"title":"Hexagon 2610.00536: Illumination of complex convex bodies","url":"https://hexagonmath.org/abs/2610.00536","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":4,"title":"Hexagon 2610.00539: Gorenstein symmetry conjecture I, Tang","url":"https://hexagonmath.org/abs/2610.00539","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":5,"title":"Hexagon 2610.00540: Gorenstein symmetry conjecture II, Tang","url":"https://hexagonmath.org/abs/2610.00540","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":6,"title":"Hexagon 2610.00731: Sharp Brégman–Minc bound (Samorodnitsky–Gurvits conjecture), Sra","url":"https://hexagonmath.org/abs/2610.00731","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":7,"title":"Hexagon 2610.00730: Macdonald (q,t)-permanent II, Sra","url":"https://hexagonmath.org/abs/2610.00730","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":8,"title":"Hexagon 2610.00729: Macdonald (q,t)-permanent I, Sra","url":"https://hexagonmath.org/abs/2610.00729","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":9,"title":"Hexagon 2610.00728: Weak positivity of Schur forms, Sra","url":"https://hexagonmath.org/abs/2610.00728","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":10,"title":"Hexagon 2610.00727: Koteljanskii inequality for permanents, Sra","url":"https://hexagonmath.org/abs/2610.00727","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":11,"title":"Hexagon 2610.00726: p-Bures–Wasserstein distance, Sra","url":"https://hexagonmath.org/abs/2610.00726","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":12,"title":"Hexagon 2610.00725: Majorization for Jack and Macdonald polynomials, Sra","url":"https://hexagonmath.org/abs/2610.00725","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":13,"title":"Hexagon 2610.00724: q-Foulkes problem III, Sra","url":"https://hexagonmath.org/abs/2610.00724","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":14,"title":"Hexagon 2610.00723: q-Foulkes problem II, Sra","url":"https://hexagonmath.org/abs/2610.00723","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":15,"title":"Hexagon 2610.00722: q-Foulkes problem I, Sra","url":"https://hexagonmath.org/abs/2610.00722","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":16,"title":"Hexagon 2610.00721: Theta-kernel sign regularity, Sra","url":"https://hexagonmath.org/abs/2610.00721","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":17,"title":"Hexagon 2610.00720: Turán-ratio monotonicity, Sra","url":"https://hexagonmath.org/abs/2610.00720","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":18,"title":"Hexagon 2610.00719: Lower bounds for the quantum permanent, Sra","url":"https://hexagonmath.org/abs/2610.00719","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":19,"title":"Hexagon 2611.00044: Even Dirichlet beta values, twinheterodox","url":"https://hexagonmath.org/abs/2611.00044","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":20,"title":"Hexagon 2611.00043: Siriaisa MIDS algorithm, Vega","url":"https://hexagonmath.org/abs/2611.00043","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":21,"title":"Hexagon 2611.00042: Soluble subgroup pairs (Kourovka 21.3), Tang","url":"https://hexagonmath.org/abs/2611.00042","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":22,"title":"Hexagon 2611.00040: Casas-Alvero descent, Niedbala Giraudin","url":"https://hexagonmath.org/abs/2611.00040","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":23,"title":"Hexagon 2611.00038: Column rigidity, Arhancet","url":"https://hexagonmath.org/abs/2611.00038","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":24,"title":"Hexagon 2611.00034: Haagerup symmetries of E8, Arhancet","url":"https://hexagonmath.org/abs/2611.00034","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":25,"title":"Hexagon 2611.00033: Collatz reciprocal sums, Nikzad","url":"https://hexagonmath.org/abs/2611.00033","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":26,"title":"Hexagon 2611.00032: Hankel determinants of automatic sequences, Niedbala Giraudin","url":"https://hexagonmath.org/abs/2611.00032","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":27,"title":"Hexagon 2611.00031: Binary Collatz trinomials, Niedbala Giraudin","url":"https://hexagonmath.org/abs/2611.00031","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":28,"title":"Hexagon 2611.00030: Odd perfect polynomials over F2, Niedbala Giraudin","url":"https://hexagonmath.org/abs/2611.00030","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":29,"title":"Hexagon 2611.00029: Connected induced subgraphs inverse problem, Almeida","url":"https://hexagonmath.org/abs/2611.00029","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":30,"title":"Hexagon 2611.00027: Prime powers in summatory valuations, Vega","url":"https://hexagonmath.org/abs/2611.00027","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":31,"title":"Hexagon 2611.00025: Invariant c_M at Mersenne exponents, Niedbala Giraudin","url":"https://hexagonmath.org/abs/2611.00025","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":32,"title":"Hexagon 2611.00024: Modular Dvoretzky problems, Mahesh Krishna","url":"https://hexagonmath.org/abs/2611.00024","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":33,"title":"Hexagon 2611.00023: k-Markov numbers monotonicity, Tang","url":"https://hexagonmath.org/abs/2611.00023","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":34,"title":"Hexagon 2611.00022: Deep loci of double Bott–Samelson varieties, Tang","url":"https://hexagonmath.org/abs/2611.00022","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":35,"title":"Hexagon 2610.00678: Twin helices, Kaminsky","url":"https://hexagonmath.org/abs/2610.00678","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":36,"title":"Hexagon 2610.00712: Faltings height of Fermat Jacobians, Zeng","url":"https://hexagonmath.org/abs/2610.00712","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":37,"title":"Hexagon 2610.00691: Arithmetic dynamics z^2+c, Zeng","url":"https://hexagonmath.org/abs/2610.00691","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":38,"title":"Hexagon 2610.00687: Sato–Tate moments, Zeng","url":"https://hexagonmath.org/abs/2610.00687","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":39,"title":"arXiv 2611.03682: New lower bounds for kissing numbers in dims 32–35, 37–39 (Lin, Claude Code)","url":"https://arxiv.org/abs/2611.03682","type":"paper","group":"primary","domain":"arxiv.org"},{"n":40,"title":"arXiv 2611.03855: Surface-group action with no Cannon–Thurston map (Dular, GPT-6 Astra)","url":"https://arxiv.org/abs/2611.03855","type":"paper","group":"primary","domain":"arxiv.org"},{"n":41,"title":"arXiv 2611.05067: Real-analytic Landsberg metrics in dim ≥ 4 are Berwald (Li, Liu)","url":"https://arxiv.org/abs/2611.05067","type":"paper","group":"primary","domain":"arxiv.org"},{"n":42,"title":"arXiv 2611.05101: Monochromatic arm exponents for critical planar percolation (Cai)","url":"https://arxiv.org/abs/2611.05101","type":"paper","group":"primary","domain":"arxiv.org"},{"n":43,"title":"arXiv 2611.04730: Finding integer roots of polynomials in nearly optimal time (Feng, Nir)","url":"https://arxiv.org/abs/2611.04730","type":"paper","group":"primary","domain":"arxiv.org"},{"n":44,"title":"arXiv 2611.04350: Ramified tori and GK dimension of mod p representations (Zhao, Hu)","url":"https://arxiv.org/abs/2611.04350","type":"paper","group":"primary","domain":"arxiv.org"},{"n":45,"title":"arXiv 2611.03688: Nonexistence of nine-point crescent configurations","url":"https://arxiv.org/abs/2611.03688","type":"paper","group":"primary","domain":"arxiv.org"},{"n":46,"title":"arXiv 2611.04983: Algebraic ellipticity of double covers of (P^1)^3","url":"https://arxiv.org/abs/2611.04983","type":"paper","group":"primary","domain":"arxiv.org"},{"n":47,"title":"arXiv 2611.05298: Tensor triangular geometry of valuation domains","url":"https://arxiv.org/abs/2611.05298","type":"paper","group":"primary","domain":"arxiv.org"},{"n":48,"title":"arXiv 2611.04130: Automorphism group of regular semisimple Hessenberg varieties","url":"https://arxiv.org/abs/2611.04130","type":"paper","group":"primary","domain":"arxiv.org"},{"n":49,"title":"arXiv 2611.05243: Logarithmic regret for alternating mirror descent","url":"https://arxiv.org/abs/2611.05243","type":"paper","group":"primary","domain":"arxiv.org"},{"n":50,"title":"arXiv 2611.04644: Additive energy and an edge-isoperimetric problem on the cube","url":"https://arxiv.org/abs/2611.04644","type":"paper","group":"primary","domain":"arxiv.org"},{"n":51,"title":"arXiv 2611.05043: A low-diameter Nash-Williams–Tutte theorem","url":"https://arxiv.org/abs/2611.05043","type":"paper","group":"primary","domain":"arxiv.org"},{"n":52,"title":"arXiv 2611.03838: A King for Almost Everyone","url":"https://arxiv.org/abs/2611.03838","type":"paper","group":"primary","domain":"arxiv.org"},{"n":53,"title":"arXiv 2611.04020: Automatic partition identities","url":"https://arxiv.org/abs/2611.04020","type":"paper","group":"primary","domain":"arxiv.org"},{"n":54,"title":"arXiv 2611.04502: Strassen CP rank gap upper bounds","url":"https://arxiv.org/abs/2611.04502","type":"paper","group":"primary","domain":"arxiv.org"},{"n":55,"title":"arXiv 2611.04778: On the Haagerup vertex operator algebras","url":"https://arxiv.org/abs/2611.04778","type":"paper","group":"primary","domain":"arxiv.org"},{"n":56,"title":"arXiv 2611.05015: Integer spectrum of a superintegrable QFT","url":"https://arxiv.org/abs/2611.05015","type":"paper","group":"primary","domain":"arxiv.org"},{"n":57,"title":"arXiv 2611.04178: Ramanujan-type congruences for the smallest parts function","url":"https://arxiv.org/abs/2611.04178","type":"paper","group":"primary","domain":"arxiv.org"},{"n":58,"title":"arXiv 2611.05217: On the abc conjecture (Soulé; no AI statement)","url":"https://arxiv.org/abs/2611.05217","type":"paper","group":"primary","domain":"arxiv.org"},{"n":59,"title":"formal-conjectures commit: Jacobian ⇒ Poisson conjecture formal proof link","url":"https://github.com/google-deepmind/formal-conjectures/commit/5d8b04d3d41b745cc3f2f3cdd5ed04b60c500983","type":"code","group":"primary","domain":"github.com"},{"n":60,"title":"MoonshotAI/TCSExam","url":"https://github.com/MoonshotAI/TCSExam","type":"code","group":"primary","domain":"github.com"}],"official":60,"filed":"2026-11-04","updated":"2026-11-04","orgs":["OpenAI","Anthropic","various researchers"],"title":"AI-assisted results in the 4 Nov 2026 sweep: kissing numbers in dims 32–39 with Claude Code, a GPT-6 Astra surface group without Cannon–Thurston map, Landsberg ⇒ Berwald for real-analytic metrics, the monochromatic three-arm exponent, plus 33 Hexagon works","summary":"Catalogue of AI-disclosing papers from the arXiv announcement of 4 Nov 2026 and the Hexagon works of 2–3 Nov not linked before (most were described in the 2 and 3 Nov listings), beyond the items with own entries. AI statements are quoted from PDFs or Hexagon provenance records (Hexagon does not judge correctness); none of these papers is refereed.","key_facts":["Own entries: 2026-11-04-huffman-unequal-letter-costs-np-complete-codex (2611.04444), 2026-11-04-glauber-dynamics-colorings-1-plus-1-over-e-gpt-6-astra-pro (2611.04699), 2026-11-04-amplituhedron-magic-number-conjecture-counterexample-chatgpt (2611.05216)","Kissing numbers: Qihong Lin (2611.03682) raises lower bounds in dimensions 32–35 and 37–39 (e.g. dim 32: 347,584 → 352,320; dim 38: 591,900 → 605,322); 'This work relied heavily on an AI coding assistant, Claude (model Claude Opus 5.5, Anthropic), used through the Claude Code tool … The assistant also found and proved Lemma 5'","Geometric group theory: Bruno Dular (Luxembourg, 2611.03855) gives discrete faithful purely loxodromic representations of a genus-431 surface group into Isom(H^n) with no Cannon–Thurston map; 'The construction was found by GPT-6 Astra', in answer to a prompt to 'prove or disprove continuity of the boundary map'","Finsler geometry: Ming Li and Kefeng Liu (2611.05067) prove that Landsberg metrics in dimension ≥ 4 whose Minkowski norms are real-analytic are Berwald, a case of Bao's 'unicorn problem' (Shen's 2009 Problem 1); 'The authors used ChatGPT 6 Astra to draft and revise text, to develop and check proofs'","Percolation: Gefei Cai (2611.05101) determines the monochromatic three-arm exponent ξ₃ = 0.76928375… (open since Beffara–Nolin 2011 showed existence); 'AI tools were used in carrying out calculations, technical estimates, and proofs in functional analysis, especially for n ≥ 4'","Algorithms: Feng–Nir (2611.04730) find all integer roots of an integer polynomial in Õ(nb) bit operations, answering Harvey–Hittmeir (2022); 'The main construction in this paper was generated with the assistance of AI models and verified by the authors'. Also: Logarithmic regret for alternating mirror descent, 'The mathematical proof in this paper was developed using GPT-5.6 Sol' (2611.05243); A King for Almost Everyone, lemmas identified by ChatGPT Astra (2611.03838); low-diameter Nash-Williams–Tutte with GPT-6 Astra (2611.05043)","Other AI-originated items: Zhao–Hu, GK dimension n for mod p representations of GL₂(K), 'The methods used in this paper were discovered by GPT-6 Astra' (2611.04350); Hessenberg varieties, 'The proof … was suggested to the authors through discussions with ChatGPT' (2611.04130); tensor-triangular geometry of valuation domains, 'The first proof of Theorem 8.18 was obtained via LLMs' (2611.05298); nonrational algebraically elliptic double covers found by directing GPT-6 Astra (2611.04983); nine-point crescent configurations, GPT-6 Astra in the search (2611.03688); edge-isoperimetric alternative proof by GPT-6 Astra (2611.04644); automatic partition identities (2611.04020); Strassen rank gap (2611.04502); Haagerup VOAs simplifying AI-assisted proofs (2611.04778); superintegrable QFT spectrum with Claude (2611.05015); smallest-parts congruences 'arose out of a conversation between the author and AI' (2611.04178)","Hexagon 2–3 Nov, now linked: 13 works by Suvrit Sra (2610.00719–00731), mixed authorship; e.g. a sharp Brégman–Minc bound conjectured by Samorodnitsky and Gurvits, 'developed with GPT-6 (Pro) after extensive back and forth; none were obtained zero-shot', all parts human-understood (2610.00731); q-Foulkes I–III, surjectivity for b ≥ (a−1)² improving a(a−1), 'The main text has not yet been vetted line by line' (2610.00724). Others: see the 3 Nov listing (Tang, Niedbala Giraudin, Vega, Almeida, Arhancet, twinheterodox, Nikzad) and human-written deposits (Zeng, Mahesh Krishna, Kaminsky)","Repos: formal-conjectures linked a Palomar-registered Lean proof (zblore/fc-jacobian-poisson, 'I used Claude Code to draft the Lean') of the known implication Jacobian conjecture in dim 2n ⇒ Poisson conjecture in dim n; it is not a proof of either conjecture. Erdős problems 393, 735, 910, 1100, 1115, 1160, 1165, 1182, 1221 added as formal statements. mathcommunity/oai-math-revised: site text only. New repos: MoonshotAI/TCSExam (TCS research benchmark); gbench, detectorscope, FlashProve, BlenderWorld are tooling","Hexagon backlog (5 lines): Qiyue Tang, two notes on the Gorenstein symmetry conjecture, (II) proving it for split square-zero extensions of algebras derived equivalent to hereditary ones and (I) reducing it to endomorphism algebras over a 5-dimensional local symmetric algebra, 'partial results extracted from several lengthy, multi-turn conversations with AI' (2610.00540, 2610.00539); Alon Shechter, illumination bound ~3^(n+1)/√(πn) for complex 1-unconditional convex bodies, 'Primarily AI-generated … Results generated with Chatgpt Astra-6' (2610.00536); human-written: Zhenyu Sun (2610.00538), Changxia Lin on de Bruijn–Newman (2610.00535)","No AI statement: Christophe Soulé, 'On the abc conjecture' (2611.05217); chordality of enhanced power graphs (2611.05068); Erdős–Gyárfás for odd-ordered Cayley graphs (2611.05060)"],"key_numbers":[],"tags":["math","arxiv","hexagon","catalogue","chatgpt","gpt-6-astra","codex","claude","claude-opus-5-5","lean"],"science":{"field":"mathematics","subfield":"multiple","problem":"See list","result":"Catalogue of AI-disclosing papers of 2–4 Nov beyond those with their own entries","open_since":"","ai_system":["ChatGPT","GPT-6 Astra","GPT-6 Pro","Codex","Claude Opus 5.5","Claude Code"],"human_role":"From human proofs with AI help to AI-found constructions","verification":{"key":"lean","label":"Lean-verified","text":"Unrefereed preprints and Hexagon deposits"},"status":"pending","shock":"","verified_by":["preprint","lean"],"kind":"batch"},"body_md":"## What happened\n\nDaily catalogue; see key facts. Quotes are from the PDFs (pdftotext) and Hexagon provenance fields, read on 4 Nov 2026.","disputed":[{"label":"Verification","text":"Unrefereed preprints and Hexagon deposits","sources":[]}],"related":[{"id":"2026-11-03-ai-assisted-results-november-3-listing","url":"https://postcutoff.com/e/2026-11-03-ai-assisted-results-november-3-listing/","date":"2026-11-03","date_precision":"day","short_title":"AI-assisted results, 3 Nov: arXiv of 3 Nov and Hexagon of 2–3 Nov","deck":null,"takeaway":"The 3 Nov sweep listed 376 arXiv papers that mention AI, 124 conjecture papers and 69 uncited Hexagon works. Four results got own entries: Kronheimer–Mrowka's primarily AI-generated proposed proof that the dodecahedron web has instanton homology of dimension 64, a second AI-derived proof of the Alon–Seymour–Thomas separator conjecture (with Lean), Chen–Liu's FPRAS for mixed volumes (ideas 'generated entirely by GPT 6 Astra'), and the convergence of three proofs that RM(1,9) has covering radius 242.","category":"science","category_label":"Science & math","importance":2,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":13,"official":13,"filed":"2026-11-03","updated":"2026-11-03","orgs":["OpenAI","Anthropic","Google","various researchers"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-11-04","type":"filed","text":"Created"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-11-04","run":null,"sources_read":null,"updated":"2026-11-04","human_review":null,"version":{"date":"2026-11-04"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":188,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":127,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":218,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":157,"in_training_data":false}],"short_url":null}