---
id: "2026-11-04-ai-assisted-results-november-4-listing"
url: "https://postcutoff.com/e/2026-11-04-ai-assisted-results-november-4-listing/"
as_of: "2026-11-09T21:13:00+01:00"
date: "2026-11-04"
date_precision: day
category: science
importance: 2
confidence: medium
status: [Awaiting review]
verification: Lean-verified
sources: 60
editor: human editor
human_review: null
version: "2026-11-04"
---

As of: 2026-11-09 21:13 CET.
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-11-04-ai-assisted-results-november-4-listing/

# AI-assisted results, 4 Nov: arXiv of 4 Nov and Hexagon of 2–3 Nov

Full 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

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](https://postcutoff.com/e/2026-11-04-huffman-unequal-letter-costs-np-complete-codex/index.md) (2611.04444), [2026-11-04-glauber-dynamics-colorings-1-plus-1-over-e-gpt-6-astra-pro](https://postcutoff.com/e/2026-11-04-glauber-dynamics-colorings-1-plus-1-over-e-gpt-6-astra-pro/index.md) (2611.04699), [2026-11-04-amplituhedron-magic-number-conjecture-counterexample-chatgpt](https://postcutoff.com/e/2026-11-04-amplituhedron-magic-number-conjecture-counterexample-chatgpt/index.md) (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)

## What happened

Daily catalogue; see key facts. Quotes are from the PDFs (pdftotext) and Hexagon provenance fields, read on 4 Nov 2026.

## What is disputed or not yet verified

- Verification: Unrefereed preprints and Hexagon deposits

## Your AI and this story

- GPT-6 Astra (training cutoff April 2026): 188 days after its cutoff
- Claude Opus 5.5 (training cutoff June 2026): 127 days after its cutoff
- Gemini 4 Argon (training cutoff March 2026): 218 days after its cutoff
- Grok 4.7 (training cutoff May 2026): 157 days after its cutoff

## Sources

1. [Hexagon 2610.00535: de Bruijn–Newman coefficient dynamics, Lin](https://hexagonmath.org/abs/2610.00535) (hexagonmath.org, paper)
2. [Hexagon 2610.00538: Reversible cellular automata, Sun](https://hexagonmath.org/abs/2610.00538) (hexagonmath.org, paper)
3. [Hexagon 2610.00536: Illumination of complex convex bodies](https://hexagonmath.org/abs/2610.00536) (hexagonmath.org, paper)
4. [Hexagon 2610.00539: Gorenstein symmetry conjecture I, Tang](https://hexagonmath.org/abs/2610.00539) (hexagonmath.org, paper)
5. [Hexagon 2610.00540: Gorenstein symmetry conjecture II, Tang](https://hexagonmath.org/abs/2610.00540) (hexagonmath.org, paper)
6. [Hexagon 2610.00731: Sharp Brégman–Minc bound (Samorodnitsky–Gurvits conjecture), Sra](https://hexagonmath.org/abs/2610.00731) (hexagonmath.org, paper)
7. [Hexagon 2610.00730: Macdonald (q,t)-permanent II, Sra](https://hexagonmath.org/abs/2610.00730) (hexagonmath.org, paper)
8. [Hexagon 2610.00729: Macdonald (q,t)-permanent I, Sra](https://hexagonmath.org/abs/2610.00729) (hexagonmath.org, paper)
9. [Hexagon 2610.00728: Weak positivity of Schur forms, Sra](https://hexagonmath.org/abs/2610.00728) (hexagonmath.org, paper)
10. [Hexagon 2610.00727: Koteljanskii inequality for permanents, Sra](https://hexagonmath.org/abs/2610.00727) (hexagonmath.org, paper)
11. [Hexagon 2610.00726: p-Bures–Wasserstein distance, Sra](https://hexagonmath.org/abs/2610.00726) (hexagonmath.org, paper)
12. [Hexagon 2610.00725: Majorization for Jack and Macdonald polynomials, Sra](https://hexagonmath.org/abs/2610.00725) (hexagonmath.org, paper)
13. [Hexagon 2610.00724: q-Foulkes problem III, Sra](https://hexagonmath.org/abs/2610.00724) (hexagonmath.org, paper)
14. [Hexagon 2610.00723: q-Foulkes problem II, Sra](https://hexagonmath.org/abs/2610.00723) (hexagonmath.org, paper)
15. [Hexagon 2610.00722: q-Foulkes problem I, Sra](https://hexagonmath.org/abs/2610.00722) (hexagonmath.org, paper)
16. [Hexagon 2610.00721: Theta-kernel sign regularity, Sra](https://hexagonmath.org/abs/2610.00721) (hexagonmath.org, paper)
17. [Hexagon 2610.00720: Turán-ratio monotonicity, Sra](https://hexagonmath.org/abs/2610.00720) (hexagonmath.org, paper)
18. [Hexagon 2610.00719: Lower bounds for the quantum permanent, Sra](https://hexagonmath.org/abs/2610.00719) (hexagonmath.org, paper)
19. [Hexagon 2611.00044: Even Dirichlet beta values, twinheterodox](https://hexagonmath.org/abs/2611.00044) (hexagonmath.org, paper)
20. [Hexagon 2611.00043: Siriaisa MIDS algorithm, Vega](https://hexagonmath.org/abs/2611.00043) (hexagonmath.org, paper)
21. [Hexagon 2611.00042: Soluble subgroup pairs (Kourovka 21.3), Tang](https://hexagonmath.org/abs/2611.00042) (hexagonmath.org, paper)
22. [Hexagon 2611.00040: Casas-Alvero descent, Niedbala Giraudin](https://hexagonmath.org/abs/2611.00040) (hexagonmath.org, paper)
23. [Hexagon 2611.00038: Column rigidity, Arhancet](https://hexagonmath.org/abs/2611.00038) (hexagonmath.org, paper)
24. [Hexagon 2611.00034: Haagerup symmetries of E8, Arhancet](https://hexagonmath.org/abs/2611.00034) (hexagonmath.org, paper)
25. [Hexagon 2611.00033: Collatz reciprocal sums, Nikzad](https://hexagonmath.org/abs/2611.00033) (hexagonmath.org, paper)
26. [Hexagon 2611.00032: Hankel determinants of automatic sequences, Niedbala Giraudin](https://hexagonmath.org/abs/2611.00032) (hexagonmath.org, paper)
27. [Hexagon 2611.00031: Binary Collatz trinomials, Niedbala Giraudin](https://hexagonmath.org/abs/2611.00031) (hexagonmath.org, paper)
28. [Hexagon 2611.00030: Odd perfect polynomials over F2, Niedbala Giraudin](https://hexagonmath.org/abs/2611.00030) (hexagonmath.org, paper)
29. [Hexagon 2611.00029: Connected induced subgraphs inverse problem, Almeida](https://hexagonmath.org/abs/2611.00029) (hexagonmath.org, paper)
30. [Hexagon 2611.00027: Prime powers in summatory valuations, Vega](https://hexagonmath.org/abs/2611.00027) (hexagonmath.org, paper)
31. [Hexagon 2611.00025: Invariant c_M at Mersenne exponents, Niedbala Giraudin](https://hexagonmath.org/abs/2611.00025) (hexagonmath.org, paper)
32. [Hexagon 2611.00024: Modular Dvoretzky problems, Mahesh Krishna](https://hexagonmath.org/abs/2611.00024) (hexagonmath.org, paper)
33. [Hexagon 2611.00023: k-Markov numbers monotonicity, Tang](https://hexagonmath.org/abs/2611.00023) (hexagonmath.org, paper)
34. [Hexagon 2611.00022: Deep loci of double Bott–Samelson varieties, Tang](https://hexagonmath.org/abs/2611.00022) (hexagonmath.org, paper)
35. [Hexagon 2610.00678: Twin helices, Kaminsky](https://hexagonmath.org/abs/2610.00678) (hexagonmath.org, paper)
36. [Hexagon 2610.00712: Faltings height of Fermat Jacobians, Zeng](https://hexagonmath.org/abs/2610.00712) (hexagonmath.org, paper)
37. [Hexagon 2610.00691: Arithmetic dynamics z^2+c, Zeng](https://hexagonmath.org/abs/2610.00691) (hexagonmath.org, paper)
38. [Hexagon 2610.00687: Sato–Tate moments, Zeng](https://hexagonmath.org/abs/2610.00687) (hexagonmath.org, paper)
39. [arXiv 2611.03682: New lower bounds for kissing numbers in dims 32–35, 37–39 (Lin, Claude Code)](https://arxiv.org/abs/2611.03682) (arxiv.org, paper)
40. [arXiv 2611.03855: Surface-group action with no Cannon–Thurston map (Dular, GPT-6 Astra)](https://arxiv.org/abs/2611.03855) (arxiv.org, paper)
41. [arXiv 2611.05067: Real-analytic Landsberg metrics in dim ≥ 4 are Berwald (Li, Liu)](https://arxiv.org/abs/2611.05067) (arxiv.org, paper)
42. [arXiv 2611.05101: Monochromatic arm exponents for critical planar percolation (Cai)](https://arxiv.org/abs/2611.05101) (arxiv.org, paper)
43. [arXiv 2611.04730: Finding integer roots of polynomials in nearly optimal time (Feng, Nir)](https://arxiv.org/abs/2611.04730) (arxiv.org, paper)
44. [arXiv 2611.04350: Ramified tori and GK dimension of mod p representations (Zhao, Hu)](https://arxiv.org/abs/2611.04350) (arxiv.org, paper)
45. [arXiv 2611.03688: Nonexistence of nine-point crescent configurations](https://arxiv.org/abs/2611.03688) (arxiv.org, paper)
46. [arXiv 2611.04983: Algebraic ellipticity of double covers of (P^1)^3](https://arxiv.org/abs/2611.04983) (arxiv.org, paper)
47. [arXiv 2611.05298: Tensor triangular geometry of valuation domains](https://arxiv.org/abs/2611.05298) (arxiv.org, paper)
48. [arXiv 2611.04130: Automorphism group of regular semisimple Hessenberg varieties](https://arxiv.org/abs/2611.04130) (arxiv.org, paper)
49. [arXiv 2611.05243: Logarithmic regret for alternating mirror descent](https://arxiv.org/abs/2611.05243) (arxiv.org, paper)
50. [arXiv 2611.04644: Additive energy and an edge-isoperimetric problem on the cube](https://arxiv.org/abs/2611.04644) (arxiv.org, paper)
51. [arXiv 2611.05043: A low-diameter Nash-Williams–Tutte theorem](https://arxiv.org/abs/2611.05043) (arxiv.org, paper)
52. [arXiv 2611.03838: A King for Almost Everyone](https://arxiv.org/abs/2611.03838) (arxiv.org, paper)
53. [arXiv 2611.04020: Automatic partition identities](https://arxiv.org/abs/2611.04020) (arxiv.org, paper)
54. [arXiv 2611.04502: Strassen CP rank gap upper bounds](https://arxiv.org/abs/2611.04502) (arxiv.org, paper)
55. [arXiv 2611.04778: On the Haagerup vertex operator algebras](https://arxiv.org/abs/2611.04778) (arxiv.org, paper)
56. [arXiv 2611.05015: Integer spectrum of a superintegrable QFT](https://arxiv.org/abs/2611.05015) (arxiv.org, paper)
57. [arXiv 2611.04178: Ramanujan-type congruences for the smallest parts function](https://arxiv.org/abs/2611.04178) (arxiv.org, paper)
58. [arXiv 2611.05217: On the abc conjecture (Soulé; no AI statement)](https://arxiv.org/abs/2611.05217) (arxiv.org, paper)
59. [formal-conjectures commit: Jacobian ⇒ Poisson conjecture formal proof link](https://github.com/google-deepmind/formal-conjectures/commit/5d8b04d3d41b745cc3f2f3cdd5ed04b60c500983) (github.com, code)
60. [MoonshotAI/TCSExam](https://github.com/MoonshotAI/TCSExam) (github.com, code)

## Changes

- 2026-11-04 (filed): Created

## Related

- 2026-11-03: [AI-assisted results, 3 Nov: arXiv of 3 Nov and Hexagon of 2–3 Nov](https://postcutoff.com/e/2026-11-03-ai-assisted-results-november-3-listing/index.md)