---
id: "2026-10-22-ai-assisted-results-october-22-listing"
url: "https://postcutoff.com/e/2026-10-22-ai-assisted-results-october-22-listing/"
as_of: "2026-10-22T13:31:00+02:00"
date: "2026-10-22"
date_precision: day
category: science
importance: 3
confidence: medium
status: [Awaiting review]
verification: Preprint only
sources: 13
editor: human editor
human_review: null
version: null
---

As of: 2026-10-22 13:31 CEST.
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-10-22-ai-assisted-results-october-22-listing/

# AI-assisted results in the 22 Oct 2026 arXiv listing

Full title: AI-assisted results in the 22 Oct 2026 arXiv listing: the gradient conjecture at infinity with GPT-6 Astra, Claude-built zero-knowledge PCPs, nucleon algorithms with GPT Sol 6.1 and Fable 5.1, Kelly's Condorcet conjectures

Catalogue of AI-disclosing papers in the 22 Oct 2026 arXiv announcement (submitted 20–21 Oct). Own entries: Tevelev's re-proof of OpenAI's Nagata proof, Anghel's survey and generalization of OpenAI's counterexample to Hochster's small Cohen–Macaulay conjecture, and Voronov's GPT-6 Astra-assisted counterexample to Gale's conjecture in R³. Gouéré's exposition of the Kozma–Nitzan proof was added to the dying-percolation entry. The rest is listed here.

## Key facts
- Own entries: Nagata (2610.30050), Hochster small CM (2610.30027), Gale in R³ (2610.28828). Enriched: dying percolation (Gouéré, 2610.30063)
- Gradient conjecture at infinity and the definable Thom gradient conjecture (Thang Do, Arnulf Jentzen, Benno Kuckuck; 2610.29211): every gradient trajectory of a definable C¹ potential has finite spherical length. 'The authors gratefully acknowledge extensive assistance from OpenAI's GPT-5.6 Sol and GPT-6 Astra/Sol … used via ChatGPT/Codex as research collaborators for developing mathematical arguments and ideas, exploring proof strategies, testing arguments, identifying gaps and possible counterexamples'; all proofs 'independently checked by the authors'
- Quasilinear-size constant-query zero-knowledge PCPs (Inhyuk Park, Chenglin Fan; 2610.29066), improving the Õ(T+b²) length of Zeilberger–O'Connor–Gur–Spooner (2026): 'We used Anthropic's Claude extensively, under the direction of the authors, to assist with developing the constructions and the proofs, with checking the proofs, with the computations reported in Appendix B, and with drafting this paper. Its use materially affected every section of the paper'
- Nucleon of matching games (Haris Aziz, Gergely Csáji; 2610.29731), resolving three open problems from a recent survey (polynomial algorithm for matching games; NP-hardness for b-matching and partitioned games): 'The authors acknowledge the assistance of OpenAI's GPT Sol 6.1 and Anthropic's Fable 5.1 in working out the proof details of the combinatorial algorithm.'
- Kelly's two monotonicity conjectures on Condorcet winner probabilities for odd electorates (Seick Kim, Hocheol Shin; 2610.29904): 'Large language models (LLMs) were used to explore proof ideas and assist with computational checks, literature searches, and language polishing.'
- Functional limit theorems for self-interacting random walks (Kosygina, Marêché, Mountford, Peterson; 2610.28935), solving a problem open since Tóth's mid-90s work: 'The literature search for these results with large language models (Gemini, Google; Claude, Anthropic) produced their initial proof drafts instead of references. We verified, corrected, and rewrote these proofs' (appendix lemmas only)
- Rayleigh's conjecture for clamped plates, a simpler planar proof of Nadirashvili's theorem plus nonlinear extensions (Dorin Bucur, Richard Laugesen; 2610.29840): 'The authors used OpenAI's ChatGPT through Codex to explore the theorems and conjectures, check various endpoint arguments, locate and verify references, and prepare this manuscript and its figures.'
- Supporting roles (checking, exploring, drafting): conjugacy problem for virtually soluble groups of finite Prüfer rank (2610.29563, ChatGPT 'for checking mathematical arguments, exploring proof strategies'); Hong–Krahn–Szegő sharp stability (2610.28757); gradient absorption prevents blow-up (2610.28913, ChatGPT); low-degree filtrations in Grassmannian cohomology (2610.28780, Codex for 'exploration of some of the proof strategies and calculations'); pivot-based distance oracles in sparse graphs (2610.29624, ChatGPT and Claude); local Gan–Gross–Prasad epsilon dichotomy (2610.29483: 'The draft of this paper was produced from handwritten notes with GPT 5.6, and GPT Astra was used for proofreading')
- No substantive AI role: Velani's conjecture on dyadic approximation in the Cantor set (Sam Chow, Han Yu; 2610.28839: 'This work was completed entirely without AI', apart from a figure and search results); Ward's conjecture on Griesmer codes (2610.29275), Kemper–Malle conjecture (2610.29849), Schäffer's conjecture for even k ≤ 42 (2610.28768), eventual stability counterexample (2610.28688): no AI statement in the sweep's scan

## What happened

Three results from Thursday's announcement have their own entries:
- Jenia Tevelev's re-proof of OpenAI's Nagata proof, which he calls "a stunning achievement";
- Cristian Anghel's survey of the counterexamples to Hochster's small Cohen–Macaulay conjecture, which gives a complete proof of OpenAI's theorem and extends it to every dimension;
- Vsevolod Voronov's 101-point counterexample to Gale's conjecture, found with algorithms developed with GPT-6 Astra.

Jean-Baptiste Gouéré's exposition of OpenAI's Kozma–Nitzan proof was added to the dying-percolation entry.

In the papers listed here, AI plays two kinds of role:
- **AI as an extensive collaborator**: the gradient conjecture at infinity (GPT-5.6 Sol and GPT-6 Astra/Sol), quasilinear zero-knowledge PCPs (Claude "materially affected every section"), the nucleon algorithm (GPT Sol 6.1 and Fable 5.1 worked out proof details), and appendix lemmas that Gemini and Claude drafted when asked for references.
- **Support**: exploring ideas, checking, drafting and editing (Kelly's conjectures, Rayleigh's conjecture, Gan–Gross–Prasad and others).

Older items still listed in the sweep (14–19 Oct ML, physics and materials papers that only mention LLMs) are out of scope here.

## Why it matters

Mathematicians in the fields concerned are now writing up OpenAI's 6 Oct claims (Nagata, Hochster, Kozma–Nitzan), and they speak openly about the editorial burden this places on them. Meanwhile, disclosures of AI as a central collaborator on long-standing conjectures have become routine.

## What is disputed or not yet verified

- Verification: Unrefereed arXiv preprints, proofs checked by their authors

## Your AI and this story

- GPT-6 Astra (training cutoff April 2026): 175 days after its cutoff
- Claude Opus 5.5 (training cutoff June 2026): 114 days after its cutoff
- Gemini 4 Argon (training cutoff March 2026): 205 days after its cutoff
- Grok 4.7 (training cutoff May 2026): 144 days after its cutoff

## Sources

1. [arXiv 2610.29211: On the gradient conjecture at infinity (Do, Jentzen, Kuckuck)](https://arxiv.org/abs/2610.29211) (arxiv.org, paper)
2. [arXiv 2610.29066: Quasilinear-size constant-query zero-knowledge PCPs (Park, Fan)](https://arxiv.org/abs/2610.29066) (arxiv.org, paper)
3. [arXiv 2610.29731: Computing the nucleon of matching games (Aziz, Csáji)](https://arxiv.org/abs/2610.29731) (arxiv.org, paper)
4. [arXiv 2610.29904: Kelly's conjectures on Condorcet winner probabilities (Kim, Shin)](https://arxiv.org/abs/2610.29904) (arxiv.org, paper)
5. [arXiv 2610.28935: Functional limit theorems for self-interacting random walks](https://arxiv.org/abs/2610.28935) (arxiv.org, paper)
6. [arXiv 2610.29840: Rayleigh's conjecture for vibrating plates (Bucur, Laugesen)](https://arxiv.org/abs/2610.29840) (arxiv.org, paper)
7. [arXiv 2610.29563: Conjugacy problem for virtually soluble groups of finite Prüfer rank](https://arxiv.org/abs/2610.29563) (arxiv.org, paper)
8. [arXiv 2610.28757: Sharp quantitative stability of the Hong–Krahn–Szegő inequality](https://arxiv.org/abs/2610.28757) (arxiv.org, paper)
9. [arXiv 2610.28913: Strong gradient absorption and initial decay prevent blow-up](https://arxiv.org/abs/2610.28913) (arxiv.org, paper)
10. [arXiv 2610.28780: Low-degree filtrations in Grassmannian cohomology](https://arxiv.org/abs/2610.28780) (arxiv.org, paper)
11. [arXiv 2610.29624: Tight space bounds for pivot-based distance oracles](https://arxiv.org/abs/2610.29624) (arxiv.org, paper)
12. [arXiv 2610.29483: Local Gan–Gross–Prasad conjecture: epsilon dichotomy](https://arxiv.org/abs/2610.29483) (arxiv.org, paper)
13. [arXiv 2610.28839: On a conjecture of Velani (Chow, Yu)](https://arxiv.org/abs/2610.28839) (arxiv.org, paper)

## Changes

- 2026-10-22 (filed): Created (17 PDFs read in full text)

## Related

- 2026-10-21: [Nagata's 1959 conjecture](https://postcutoff.com/e/2026-10-21-nagata-conjecture-openai-proof-tevelev-exposition/index.md)
- 2026-10-21: [Hochster's 1973 small Cohen–Macaulay conjecture](https://postcutoff.com/e/2026-10-21-hochster-small-cohen-macaulay-counterexample-openai-anghel-survey/index.md)
- 2026-10-21: [AI-assisted results in the 21 Oct 2026 arXiv listing](https://postcutoff.com/e/2026-10-21-ai-assisted-results-october-21-listing/index.md)
- 2026-10-20: [Gale's 1953 conjecture fails in 3D](https://postcutoff.com/e/2026-10-20-gale-conjecture-r3-counterexample-gpt-6-astra/index.md)
- 2026-09-03: [Claude-written Lean proof claims the dying percolation conjecture θ(p_c)=0 in every dimension](https://postcutoff.com/e/2026-09-03-dying-percolation-theta-pc-zero/index.md)