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

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-01-ai-assisted-results-november-1-listing/

# AI-assisted results, 1 Nov: arXiv leftovers and result repos

Full title: AI-assisted results in the 1 Nov 2026 sweep: Olson constant asymptotics, a fractional Brownian motion conjecture, Duke–Erdős–Rödl, the Bérczi et al. submodular question, and the Poisson conjecture in Lean

Catalogue of AI-disclosing papers from the 1 Nov 2026 sweep not covered by earlier listings, plus the week's result-repository commits. All are unrefereed preprints; AI statements are quoted from the PDFs or abstracts' disclosure lines.

## Key facts
- Additive combinatorics (Chao Liu; 2610.38373): the minimum number of nonempty subset sums of a zero-sum-free k-set over all finite abelian groups is k²/2 + O(k log k), so the Olson constant satisfies Ol(G) ≤ √(2|G|) + O(log|G|); companion paper on Davenport constants D(H ⊕ C₂^r) with a log₂ r correction (2610.38447). Both PDFs: 'AI tools developed by OpenAI were used in this work.'
- Probability (W. M. Bednorz, R. M. Łochowski; 2610.38894): analytic proof of the comparison c_H > E|Z|^{1/H} for H < 1/2 (reversed for H > 1/2) conjectured by Das, Łochowski, Matsuda and Perkowski for the fractional Brownian level-crossing constant; 'The authors acknowledge the assistance of OpenAI's ChatGPT in developing proof strategies, deriving and checking intermediate estimates, verifying references'
- Extremal graph theory (Guorong Gao, Run Zhao; 2610.34307): answers Duke–Erdős–Rödl's question on C₆-connected subgraphs (optimal range β ∈ (0, 2/3]) and finds the leading constant 1/(2e) for f₂; 'generative AI tools to assist in discussing proof strategies, checking proofs'
- Combinatorial optimisation (Guoqing Wang, Linlin Wang, Jun Yue; 2610.40032): answers both questions of Bérczi, Gehér, Imolay, Lovász and Schwarcz (SIAM J. Discrete Math. 2026), negatively for bounded-variation set functions; an LLM assisted 'with mathematical exploration, checking arguments'
- Also: Erdős–Ginzburg–Ziv for Z_n^r with 4^r n points (Han, Zhang; 2610.40095; ChatGPT suggested simplifications); dynamical Chowla for multivariate polynomials (Wang, Yang; 2610.34912; ChatGPT 'used to explore some of the proof strategies'); a proof in Hammer's rigid twistor D-modules 'obtained with the use of the Google Gemini LLM' (2610.38751); Guillaume Bal's homogenization theory of topological Anderson insulators with Claude Opus 5.5 drafting proofs and numerics (2610.38150)
- No AI statement (checked): the generalized Cartan–Hadamard conjecture with rigidity (Agnoletto, Da Silva, Nardulli, Resende; 2610.37817; 'developed without the use of AI'); partial results on the Fasi–Higham positivity conjecture (Scardino; 2610.39051)
- Result repositories: google-deepmind/formal-conjectures linked Lean proofs (zblore/fc-poisson-2; 'I used Claude Code to draft the Lean. I've checked every line myself') that the Poisson conjecture fails for every n ≥ 2 over any characteristic-zero field, following C. D. Long's counterexample (arXiv 2608.23777, built with ChatGPT 5.6 Sol on the Alpöge–Fable Jacobian core), PR #7657, 1 Nov; a five-line proof of an Erdős 675 test lemma (#7700); mathcommunity/oai-math-revised refined its 'ETH is False' notes and agent-notes tooling (30 Oct), no new family

## What happened

The 1 Nov sweep re-listed many 26–29 Oct submissions already skimmed in the 30 and 31 Oct listings; we read the AI statements of the remainder and about a dozen abstracts and PDFs. Nothing reached own-entry level; the Poisson conjecture item was added to the Jacobian conjecture entry.

## What is disputed or not yet verified

- Verification: Unrefereed preprints; Lean for the Poisson counterexample

## Your AI and this story

- GPT-6 Astra (training cutoff April 2026): 185 days after its cutoff
- Claude Opus 5.5 (training cutoff June 2026): 124 days after its cutoff
- Gemini 4 Argon (training cutoff March 2026): 215 days after its cutoff
- Grok 4.7 (training cutoff May 2026): 154 days after its cutoff

## Sources

1. [arXiv 2610.38373: logarithmic error term for subset sums of zero-sum-free sets (Chao Liu)](https://arxiv.org/abs/2610.38373) (arxiv.org, paper)
2. [arXiv 2610.38447: Davenport constants with growing binary rank (Chao Liu)](https://arxiv.org/abs/2610.38447) (arxiv.org, paper)
3. [arXiv 2610.38894: 1/H-variations of fractional Brownian motion conjecture (Bednorz, Łochowski)](https://arxiv.org/abs/2610.38894) (arxiv.org, paper)
4. [arXiv 2610.34307: Duke–Erdős–Rödl problems on cycle-connected subgraphs](https://arxiv.org/abs/2610.34307) (arxiv.org, paper)
5. [arXiv 2610.40032: Submodular decompositions](https://arxiv.org/abs/2610.40032) (arxiv.org, paper)
6. [arXiv 2610.40095: Erdős–Ginzburg–Ziv problem for Z_n^r](https://arxiv.org/abs/2610.40095) (arxiv.org, paper)
7. [arXiv 2610.34912: Dynamical Chowla conjecture for polynomials of several variables](https://arxiv.org/abs/2610.34912) (arxiv.org, paper)
8. [arXiv 2610.38751: Examples of rigid twistor D-modules](https://arxiv.org/abs/2610.38751) (arxiv.org, paper)
9. [arXiv 2610.38150: Homogenization theory of topological Anderson insulators (Bal)](https://arxiv.org/abs/2610.38150) (arxiv.org, paper)
10. [arXiv 2610.37817: The generalized Cartan–Hadamard conjecture](https://arxiv.org/abs/2610.37817) (arxiv.org, paper)
11. [formal-conjectures #7657: Poisson conjecture proof links](https://github.com/google-deepmind/formal-conjectures/commit/a64e959c32c270df4dd0d96d2027481f15750534) (github.com, code)
12. [formal-conjectures #7700: Erdős 675 test lemma](https://github.com/google-deepmind/formal-conjectures/commit/b6939a3a0d89e5f999fa8c6483a6ef646c1e2923) (github.com, code)
13. [oai-math-revised: ETH is False notes (30 Oct)](https://github.com/mathcommunity/oai-math-revised/commit/c45f7d46249ec65319248a696f057e73c6045dc5) (github.com, code)

## Changes

- 2026-11-01 (filed): Created (science agent; arXiv abstracts and PDFs, GitHub commit API)

## Related

- 2026-10-31: [AI-assisted results, 31 Oct: arXiv of 30 Oct and Hexagon of 29–31 Oct](https://postcutoff.com/e/2026-10-31-ai-assisted-results-october-31-listing/index.md)
- 2026-10-26: [OpenAI claims ETH is false](https://postcutoff.com/e/2026-10-26-openai-eth-false-subexponential-sat-claim/index.md)
- 2026-07-20: [Claude Fable 5 finds a counterexample to the Jacobian conjecture in dimension 3](https://postcutoff.com/e/2026-07-20-jacobian-conjecture-counterexample/index.md)
- People: [Levent Alpöge](https://postcutoff.com/person/levent-alpoge/)