{"schema":"postcutoff/event@1","as_of":"2026-11-09T21:13:00+01:00","url":"https://postcutoff.com/e/2026-11-03-ai-assisted-results-november-3-listing/","md":"https://postcutoff.com/e/2026-11-03-ai-assisted-results-november-3-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-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":[{"n":1,"title":"arXiv 2611.01963: The Erdős–Hajnal property for paths (Huang, Zhou, Zhou)","url":"https://arxiv.org/abs/2611.01963","type":"paper","group":"primary","domain":"arxiv.org"},{"n":2,"title":"arXiv 2611.00100: The optimal four-dimensional lattice quantizer (Liu)","url":"https://arxiv.org/abs/2611.00100","type":"paper","group":"primary","domain":"arxiv.org"},{"n":3,"title":"arXiv 2611.02043: A proof of the sharpness conjectures for all saturated fusion systems","url":"https://arxiv.org/abs/2611.02043","type":"paper","group":"primary","domain":"arxiv.org"},{"n":4,"title":"arXiv 2611.02819: unitaryQIP = unitaryPSPACE","url":"https://arxiv.org/abs/2611.02819","type":"paper","group":"primary","domain":"arxiv.org"},{"n":5,"title":"arXiv 2611.00977: There is only one transitive Anosov flow","url":"https://arxiv.org/abs/2611.00977","type":"paper","group":"primary","domain":"arxiv.org"},{"n":6,"title":"Hexagon 2611.00041: A bound helium dianion does not exist (Shelley, Tartakovsky)","url":"https://hexagonmath.org/abs/2611.00041","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":7,"title":"Hexagon 2611.00026: R(k) ≤ 3.7698^{k+o(k)} (Puerto)","url":"https://hexagonmath.org/abs/2611.00026","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":8,"title":"Hexagon 2611.00028: Hilton's conjecture on cycle multiplicities (Tang)","url":"https://hexagonmath.org/abs/2611.00028","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":9,"title":"Hexagon 2611.00039: Exact diameter of the symmetric group with LX generators","url":"https://hexagonmath.org/abs/2611.00039","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":10,"title":"Hexagon 2611.00035: Hatada's question (Niedbala Giraudin)","url":"https://hexagonmath.org/abs/2611.00035","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":11,"title":"Hexagon 2610.00555: OH embeds into a noncommutative L¹-space (Arhancet)","url":"https://hexagonmath.org/abs/2610.00555","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":12,"title":"AxiomMath/CFSGCorollary","url":"https://github.com/AxiomMath/CFSGCorollary","type":"code","group":"primary","domain":"github.com"},{"n":13,"title":"formal-conjectures commit: Maxwell conjecture and refutation","url":"https://github.com/google-deepmind/formal-conjectures/commit/7bdc4a42f24c0316f81c73b26121794b2bed96a3","type":"code","group":"primary","domain":"github.com"}],"official":13,"filed":"2026-11-03","updated":"2026-11-03","orgs":["OpenAI","Anthropic","Google","various researchers"],"title":"AI-assisted results in the 3 Nov 2026 sweep: a second Erdős–Hajnal proof for paths, D₄ as optimal 4D lattice quantizer, the Díaz–Park sharpness conjecture in Lean and Rocq, unitaryQIP = unitaryPSPACE, no bound helium dianion, R(k) ≤ 3.7698^k, plus 45 Hexagon works","summary":"Catalogue of AI-disclosing papers from the arXiv announcement of 3 Nov 2026 (and late items of 30 Oct–2 Nov), Hexagon works of 2–3 Nov not cited before, 10 lines of the Hexagon backlog and the result-repository commits of 1–3 Nov, 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 from this sweep: 2026-11-03-kronheimer-mrowka-dodecahedron-web-instanton-homology-64-chatgpt (Hexagon 2611.00021), 2026-11-03-alon-seymour-thomas-separator-conjecture-gpt-6-astra-two-proofs (arXiv 2611.00663, 2610.40270), 2026-11-03-mixed-volume-fpras-gurvits-conjecture-disproved-gpt-6-astra (arXiv 2611.01368), 2026-11-03-reed-muller-rm19-covering-radius-242-three-proofs (arXiv 2611.00890, 2611.00070)","Erdős–Hajnal for every path, second proof: Shenwei Huang, Yidong Zhou, Yuwen Zhou (arXiv 2611.01963): 'The proof presented in this paper was developed through an interactive dialogue with Claude Opus 5.5 (Anthropic) and ChatGPT-6 (OpenAI) … the AI generated the initial draft under the authors' guidance' (see 2026-10-17-erdos-hajnal-all-paths-nguyen-astra-deepmind)","Lattice quantizers: Tianle Liu (arXiv 2611.00100) proves D₄ uniquely minimizes the normalized second moment among 4-dimensional lattices (computer-assisted, secondary cones and sums of squares) and proves Ajjanagadde's circular-cone concavity conjecture; 'Generative AI tools were used to discuss research ideas and to assist with verification code'","Fusion systems: Baoyu Zhang and Shengmin Zhang (arXiv 2611.02043) prove the Díaz–Park sharpness conjecture for all saturated fusion systems; 'Shengmin Zhang first found a candidate proof … via interacting with ChatGPT'; checked in 61,849 lines of Lean and 99,857 lines of Rocq, with Claude Code examining the check logs","Quantum complexity: Entong He, Fengning Ou, Mingnan Zhao (arXiv 2611.02819) prove unitaryQIP = unitaryPSPACE (Rosenthal–Yuen classes); 'GPT-6 helped sketch the argument that, for unitaryPSPACE families, the oracles … can be replaced by a PSPACE language'","Dynamics: Barthelmé, Salmoiraghi, Tsang (arXiv 2611.00977), 'There is only one transitive Anosov flow' (dim 3, orientable foliations, up to bicontact padding and Goodman surgeries): an LLM proofreading pass found an error and 'The model (ChatGPT-6 Astra, using a \"plus\" subscription) was then asked for a fix … which is now Proposition 5.1'. Also Ding–Tong, finite-regularity counterexamples to Katok's periodic-point conjecture (2611.01980, GPT-6 for 'certain details'); Caby (CNRS), SRB measures for Rössler systems near c = 5.7 (Hexagon 2610.00676, 'Primarily AI-generated', all checked by a human, Claude Opus 5.5)","Mathematical physics: Alec Shelley and Daniel Tartakovsky (Stanford), 'A Bound Helium Dianion Does Not Exist' (Hexagon 2611.00041): E₄(Z=2) = E₃(Z=2), so a helium nucleus binds at most three electrons; approach developed 'in conversation with Anthropic's Claude (Claude Fable)', a second Claude instance ran the certification on Stanford's Sherlock cluster (~560 CPU core-hours); only some parts human-checked. Basu–Midha (arXiv 2611.03624) prove Okuyama's Lee–Yang conjectures for q-deformed oscillators and doubly-scaled SYK; Theorem 1.7 'proven in multiple sequential interactions with ChatGPT-5.6-Sol-Plus'. Masaki Oshikawa (arXiv 2610.41256), faster-than-power-law decay in the 2D RP² model, 'a rigorous result by vibe-proving'","Ramsey numbers: Ella Puerto (Hexagon 2611.00026) iterates the Gupta–Ndiaye–Norin–Wei method to a computer-verified R(k) ≤ 3.7698^{k+o(k)} (GNNW had 3.7992 and an unverified AI-suggested 3.78233); 'Claude wrote the Python software, ran the parameter searches and interval-arithmetic checks, and drafted the manuscript'; two independent verifiers, two lemmas in Lean","Other arXiv items with AI-originated proofs: Gan–Xie–Zhou, inverse hybrid Kazhdan–Lusztig positivity, 'proofs … developed almost entirely by GPT-6 Astra' (2611.00882); Yair Lavi proves his 2018 conjecture on the maximum diagonal product of bounded-rank stochastic matrices, 'carried out by GPT-5.6-sol, GPT-6 Astra, Claude Fable 5, and Claude Fable 5.1' (2611.01763); Shunia, deterministic primality test with one binomial congruence, proofs written by GPT-6 Astra (2611.02280); online carpooling (2611.00388, approach first proposed by GPT-6 Astra); parity decision trees of depth O(4^d log‖f̂‖₁) with GPT Astra (2611.03452); sharp Stein–Tomas on S¹ with GPT-6 Pro (2611.01318); Krzyż's conjecture for a₇ (2611.00397, GPT-6.1 Sol for code and checks); Topping's diameter conjecture for immersed surfaces (2611.01589); Duke–Erdős question on intersecting hypergraphs answered (2611.01915); NP-hardness reduction for Gromov–Wasserstein found with Claude Opus 5 (2611.00479); two Bergeron conjectures (2611.00629); Wooley's L¹ question for Beatty sequences, counterexample (2611.01494); Calvert–Vamanamurthy local-to-global minimum problem (2611.02068); irrationality exponent of ζ(5) ≤ 171 and of Γ(1/4), Γ(1/3) by David Niedbala Giraudin with Claude (2611.01708, 2611.01711); Cao–Păun, 'Human Variations on AI Mathematics', an alternative proof of a theorem in an OpenAI manuscript on log abundance (2611.03225)","Hexagon 2–3 Nov (provenance quoted from the records): Qiyue Tang (Tsinghua; ChatGPT-6-Pro sessions, Codex, Rethlas-OSV review) claims Hilton's 1977 conjecture on cycle multiplicities (2611.00028, ~56 min session), Kourovka Problem 21.3 second question on soluble subgroup pairs for n ≥ 21 (2611.00042), Castronovo–Gorsky–Simental–Speyer Conjecture 4.45 (2611.00022) and Banaian–Huang Question 35 (2611.00023); Uskov, Chervov, Levkovich-Maslyuk et al., exact diameter of S_n with LX generators, a question from the 1960s, proof 'obtained by our agentic system' with GPT-6 Astra, formalization attached (2611.00039); Lucas Almeida, inverse problem for connected induced subgraphs with Claude Opus 5.5 and Lean (2611.00029); twinheterodox, linear independence of even Dirichlet beta values with Codex 'Astra-6-Max' (2611.00044); Arhancet, Haagerup symmetries of the E₈ theory (2611.00034) and column rigidity (2611.00038, human); Nikzad–Frinkle–Bagherzadeh, Collatz reciprocal-sum bounds, not a proof of the conjecture (2611.00033)","Hexagon, Claude-run deposits by David Niedbala Giraudin with 'None of this contribution has been checked and understood by any human' and 'No professional mathematician has reviewed the note yet' (claims only): Hatada's 1981 question answered for a ≤ 10, negative for a = 11–13 (2611.00035); Allouche–Han–Niederreiter Hankel-determinant question (2611.00032); two Gallardo–Rahavandrainy conjectures on binary Collatz trinomials (2611.00031) and c_M at Mersenne exponents (2611.00025); odd perfect polynomials over F₂ (2611.00030); Casas-Alvero type descent (2611.00040). Frank Vega with Claude Opus 5.5: Nicolas's question on 2^{v₂} sums (2611.00027) and a MIDS heuristic (2611.00043). Human-written, out of AI scope: Zeng Chunping (2610.00712, 2610.00691, 2610.00687), K. Mahesh Krishna (2611.00024), Kaminsky (2610.00678)","Hexagon backlog (10 lines processed): Cédric Arhancet, Pisier's operator Hilbert space OH embeds completely isometrically into the predual of a QWEP von Neumann algebra, 'answering a longstanding question', primarily human-written (2610.00555); Peter Lim, a connectedness-preserving bijection of Rⁿ whose inverse is not, 'read by Willie Wong, the person who posed the question' (2610.00543, primarily AI-generated); Deep Bhattacharjee, a survey of 36 statements of Ashoke Sen with Claude and GPT tools (2610.00564); Machado Manhães de Castro, edge multiset dimension (2610.00562); Almeida, finite cardinalities of the hyperspace of regular subcontinua (2610.00546); Y. T. Miah with GPT-6 Pro (2610.00541); human: Mahesh Krishna (2610.00547), Zhenyu Sun (2610.00557, 2610.00556), Zeng Chunping (2610.00544)","Result repositories: formal-conjectures added a formalization of Maxwell's point-charge conjecture and its refutation by Arathoon–Ball–Kvalheim (arXiv 2607.27197; see 2026-07-29-maxwell-point-charge-conjecture-false) and linked a Palomar-registered Lean proof of Luca's abc-conditional variant of Erdős 393 (veljjanoski/erdos393-palomar); mathcommunity/oai-math-revised commits are About/Contribute site text. GitHub: AxiomMath/CFSGCorollary (Lean proof that every finite simple group is 2-generated, on top of Axiom's CFSG; see 2026-10-27-axiom-cfsg-classification-finite-simple-groups-lean); google-deepmind/gbench, detectorscope, anthropics/FlashProve and QwenLM/BlenderWorld are tooling","Checked, no AI statement among conjecture papers: Zariski closure conjecture (2611.00757), counterexample to Lee's conjecture on pseudo-Einstein structures (2611.02718), 1-2-3 conjecture for Borel combinatorics (2611.03320), Yang–Koolen conjecture (2611.00591), K-theory torsion counterexamples for crystallographic groups (2611.00493), Hilton–Zhao vertex-splitting for triangle-free graphs (2610.41984), Paine conjecture model (2611.02246)"],"key_numbers":[],"tags":["math","physics","arxiv","hexagon","catalogue","chatgpt","gpt-6-astra","gpt-6-pro","gpt-6-1-sol","claude","claude-opus-5-5","claude-fable-5-1","codex","lean"],"science":{"field":"mathematics","subfield":"multiple","problem":"See list","result":"Catalogue of AI-disclosing papers of 2–3 Nov beyond those with their own entries","open_since":"","ai_system":["ChatGPT","GPT-6 Astra","GPT-6 Pro","GPT-6.1 Sol","Codex","Claude Opus 5.5","Claude Fable 5.1","Gemini"],"human_role":"From human proofs with AI help to unchecked AI output (Niedbala Giraudin)","verification":{"key":"lean","label":"Lean-verified","text":"Unrefereed preprints and Hexagon deposits; Lean/Rocq for some"},"status":"pending","shock":"","verified_by":["preprint","lean"],"kind":"batch"},"body_md":"## What happened\n\nSee key facts. Beyond the four own entries, the items of note are a second, independent AI-assisted proof of the Erdős–Hajnal property for all paths, Liu's proof that D₄ is the optimal 4D lattice quantizer, the Lean- and Rocq-checked Díaz–Park proof that began with a ChatGPT candidate, and a Stanford computer-assisted proof, partly run by Claude, that helium cannot bind four electrons.","disputed":[{"label":"Verification","text":"Unrefereed preprints and Hexagon deposits; Lean/Rocq for some","sources":[]}],"related":[{"id":"2026-11-02-ai-assisted-results-november-2-listing","url":"https://postcutoff.com/e/2026-11-02-ai-assisted-results-november-2-listing/","date":"2026-11-02","date_precision":"day","short_title":"AI-assisted results, 2 Nov: arXiv of 2 Nov and Hexagon of 1–2 Nov","deck":null,"takeaway":"The 2 Nov sweep listed 319 arXiv papers that mention AI, 75 conjecture papers without an AI statement and 52 uncited Hexagon works. Three results got own entries: Colbrook's proof of the 1974 Kung–Traub conjecture (Lean, with ChatGPT 6), Yu–Yu's GPT-6 Astra counterexample to the Alon–Krivelevich conjecture, and Barra–Durante's AI-generated proof of the Hopfield thermodynamic limit. Listed here: Okayasu's answer to Haagerup's 1985 problem with Claude Opus 5.5, Suvrit Sra's proof of Petz's 1994 conjecture with GPT Pro, Qiyue Tang's claimed proof of Kamnitzer's ICM 2022 conjecture (after an AI reviewer found a fatal error that was then repaired), and Niels Feld's counterexamples to Morel's purity conjecture.","category":"science","category_label":"Science & math","importance":2,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":50,"official":50,"filed":"2026-11-02","updated":"2026-11-02","orgs":["OpenAI","Anthropic","various researchers"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-11-03","type":"filed","text":"Created"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-11-03","run":null,"sources_read":null,"updated":"2026-11-03","human_review":null,"version":{"date":"2026-11-03"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":187,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":126,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":217,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":156,"in_training_data":false}],"short_url":null}