--- id: "2026-11-05-ai-assisted-results-november-5-listing" url: "https://postcutoff.com/e/2026-11-05-ai-assisted-results-november-5-listing/" as_of: "2026-11-09T21:13:00+01:00" date: "2026-11-05" date_precision: day category: science importance: 2 confidence: medium status: [Awaiting review] verification: Lean-verified sources: 67 editor: human editor human_review: null version: "2026-11-05" --- 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-05-ai-assisted-results-november-5-listing/ # AI-assisted results, 5 Nov: arXiv of 5 Nov and Hexagon of 4 Nov Full title: AI-assisted results in the 5 Nov 2026 sweep: dual Banach spaces with AP but without BAP, fault-tolerant connectivity oracles from GPT-6 Astra ideas, Borodin–Kostochka from degree 750, Turán's power sums, plus 44 Hexagon works Catalogue of AI-disclosing papers from the arXiv announcement of 5 Nov 2026 and the Hexagon works of 4 Nov beyond the items with own entries. AI statements are quoted from PDFs or Hexagon provenance records (Hexagon does not judge correctness); none is refereed. ## Key facts - Own entries: [2026-11-05-3-uniform-hyperclique-hypothesis-false-chatgpt-sol](https://postcutoff.com/e/2026-11-05-3-uniform-hyperclique-hypothesis-false-chatgpt-sol/index.md) (2611.06813), [2026-11-04-elliptic-curve-torsion-degrees-6-9-gpt-6-1-sol-najman](https://postcutoff.com/e/2026-11-04-elliptic-curve-torsion-degrees-6-9-gpt-6-1-sol-najman/index.md) (Hexagon 2611.00073), [2026-11-04-serre-modularity-real-quadratic-fields-chatgpt-astra](https://postcutoff.com/e/2026-11-04-serre-modularity-real-quadratic-fields-chatgpt-astra/index.md) (Hexagon 2611.00071, 00067, 00096) - Functional analysis: Sun–Wei–Xu–Zhang (2611.06579) give a separable MAP space whose dual has AP but not BAP, and an ℓ1-isomorphic MAP space whose dual has BAP but not MAP, answering questions stated by Oja (2010); 'the authors used AI tools to assist in developing the constructions'. Tanaka (2611.06493): nonisomorphic separable Banach spaces at Lipschitz distance one, building on OpenAI's graph-space construction, 'developed through an extended mathematical dialogue between the author and an AI assistant provided by OpenAI' - Algorithms: Parter–Tzalik (2611.06857), first deterministic fault-tolerant connectivity oracles with subquadratic space; 'The main ideas behind both the upper- and lower-bound space arguments were found by ChatGPT-6 Astra'. Constant-round MPC approximate metric MST, ideas 'developed … through discussions with ChatGPT-6 Astra' (2611.06092). Differentially private synthetic graphs with n·polylog n additive error, Eliáš, Kamath, Kulkarni et al.; 'The first proofs of our main privacy theorems were developed independently by multiple groups using AI systems' (2611.06670). Subquadratic cut-query protocol for directed reachability, 'initially discovered through interactive prompting of LLMs' (2611.06906) - Graph colouring: Lizhong Chen (2611.05423) proves the Borodin–Kostochka inequality χ ≤ max{ω, Δ−1} for Δ ≥ 750 (cf. the 4583 threshold of 20 Oct); 'The author used GPT-6 Astra to assist with exploring candidate estimates, numerical parameter trials, coding, checks of local arguments' - Probability and dynamics: Beiglböck–Hasenbichler–Pammer (2611.06758), Bass martingales need not stretch, 'substantial assistance of OpenAI's GPT-6 Astra in obtaining a preliminary version of the construction in Section 3'; Zhangsong Li (2611.05794), near-linear mixing of random-cluster Glauber dynamics, 'The core ideas of the proof were generated using GPT-6 and the Pharos system'; Bianchi–Ji–Xie (2611.06211), equilibrium webs for families of endomorphisms of P^k, 'Proposition 3.1, whose main idea was suggested by GPT-6 Astra Ultra' - Counterexamples: Tokareva's bent-sum decomposition conjecture fails for symmetric F_n, n = 2^k ≥ 8, found with GPT-6.1 Sol via Codex during NSUCRYPTO 2026 (2611.06744); Wesle (2611.06617), counterexample to the weak Gibbs and regularity conjectures, LLMs used for 'exploration of models and proof strategies' - Algebraic geometry: Bishop (2611.06014), integral Chow rings of A_3 and M_3 (λ3 of order 504 and 252), 'GPT-6 Astra assisted with the “dirty work” in the excision computations'; Categorical Torelli for hypersurfaces, 'results … obtained through interaction with ChatGPT 6' (2611.05915); Homology of partially ordered fields 'written in its entirety by GPT6Astra' (2611.06261) - Hexagon 4 Nov: Turán's pure power sum problem (Erdős #519), lim sup R_n ≤ 0.68637 improving Harcos' 0.69368, Bakeas–Pinho with Claude Opus/Sonnet 5.5 (2611.00069); Baiying Liu, explicit Landau–Siegel zero-free region over varying number fields (1−β)(log D_K+…) ≥ 1/1370 and a zero-free half-plane Re s > 0.8734 for Hecke L-functions, 'mix', Codex GPT-6.1 Sol and Claude Opus 5.5, Lean in progress (2611.00080, 2611.00082); five Bolzano-project works with Václav Rozhoň, 'The manuscript received only limited human checking' (2611.00051–00055); Tulsyan's subexponential Eulerian-circuit counting and sparse-circuit amplitudes 'assuming the new #SAT algorithms' (2611.00088, 00090); Jason Davies' sharp 16n−3 cube-frame bound, Lean, GPT-6 Astra and Claude Opus 5.5 (2611.00070); 12 Claude Opus works by David Niedbala Giraudin, 'understanding: none', e.g. site percolation 0.556921 ≤ p_c ≤ 0.6463 (2611.00065) - Hexagon backlog (8 lines): planar seven-distance sets have at most 16 points, Alon Amit, primarily AI-generated, fully human-checked (2610.00534); Collatz convergence within c·log x steps for a positive density, c > 3/log(4/3) (2610.00523); centered co-circular central configurations are regular polygons, 'AI agents developed the argument' (2610.00526); Nagaoka–Hayashi bound counterexample (2610.00522); Krisman's Claude Code Fable works on 3-adic anomalies and Carlitz-module Leopoldt (2610.00532, 2610.00525); Kominers' Pythagorean-date note (2610.00528); Nguyen-Dang on Taylor-polynomial Galois groups (2610.00527) - Repos: formal-conjectures marked Erdős Problem 354(i) solved, after Yingzhe Yu and Kani Chen's 'Strong Completeness of Two Dyadic Floor Sequences', with an external Lean proof (commit 3f44904); other commits add Erdős statements already listed on 4 Nov; AxiomMath/Stacks starts a Lean formalization of the Stacks Project; gbench and detectorscope are tooling; oai-math-revised changed site text only ## What happened These are the items from the 5 Nov sweep that carry a substantive AI role, beyond language editing. Papers whose AI use was editorial only are not listed individually. The disclosures are quoted in the key facts. ## 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): 189 days after its cutoff - Claude Opus 5.5 (training cutoff June 2026): 128 days after its cutoff - Gemini 4 Argon (training cutoff March 2026): 219 days after its cutoff - Grok 4.7 (training cutoff May 2026): 158 days after its cutoff ## Sources 1. [arXiv 2611.06579](https://arxiv.org/abs/2611.06579) (arxiv.org, paper) 2. [arXiv 2611.06493](https://arxiv.org/abs/2611.06493) (arxiv.org, paper) 3. [arXiv 2611.06857](https://arxiv.org/abs/2611.06857) (arxiv.org, paper) 4. [arXiv 2611.06092](https://arxiv.org/abs/2611.06092) (arxiv.org, paper) 5. [arXiv 2611.06670](https://arxiv.org/abs/2611.06670) (arxiv.org, paper) 6. [arXiv 2611.06906](https://arxiv.org/abs/2611.06906) (arxiv.org, paper) 7. [arXiv 2611.05423](https://arxiv.org/abs/2611.05423) (arxiv.org, paper) 8. [arXiv 2611.06758](https://arxiv.org/abs/2611.06758) (arxiv.org, paper) 9. [arXiv 2611.05794](https://arxiv.org/abs/2611.05794) (arxiv.org, paper) 10. [arXiv 2611.06211](https://arxiv.org/abs/2611.06211) (arxiv.org, paper) 11. [arXiv 2611.06744](https://arxiv.org/abs/2611.06744) (arxiv.org, paper) 12. [arXiv 2611.06617](https://arxiv.org/abs/2611.06617) (arxiv.org, paper) 13. [arXiv 2611.06014](https://arxiv.org/abs/2611.06014) (arxiv.org, paper) 14. [arXiv 2611.05915](https://arxiv.org/abs/2611.05915) (arxiv.org, paper) 15. [arXiv 2611.06261](https://arxiv.org/abs/2611.06261) (arxiv.org, paper) 16. [Hexagon 2611.00097](https://hexagonmath.org/abs/2611.00097) (hexagonmath.org, paper) 17. [Hexagon 2611.00095](https://hexagonmath.org/abs/2611.00095) (hexagonmath.org, paper) 18. [Hexagon 2611.00094](https://hexagonmath.org/abs/2611.00094) (hexagonmath.org, paper) 19. [Hexagon 2611.00092](https://hexagonmath.org/abs/2611.00092) (hexagonmath.org, paper) 20. [Hexagon 2611.00091](https://hexagonmath.org/abs/2611.00091) (hexagonmath.org, paper) 21. [Hexagon 2611.00090](https://hexagonmath.org/abs/2611.00090) (hexagonmath.org, paper) 22. [Hexagon 2611.00089](https://hexagonmath.org/abs/2611.00089) (hexagonmath.org, paper) 23. [Hexagon 2611.00088](https://hexagonmath.org/abs/2611.00088) (hexagonmath.org, paper) 24. [Hexagon 2611.00087](https://hexagonmath.org/abs/2611.00087) (hexagonmath.org, paper) 25. [Hexagon 2611.00086](https://hexagonmath.org/abs/2611.00086) (hexagonmath.org, paper) 26. [Hexagon 2611.00082](https://hexagonmath.org/abs/2611.00082) (hexagonmath.org, paper) 27. [Hexagon 2611.00081](https://hexagonmath.org/abs/2611.00081) (hexagonmath.org, paper) 28. [Hexagon 2611.00080](https://hexagonmath.org/abs/2611.00080) (hexagonmath.org, paper) 29. [Hexagon 2611.00078](https://hexagonmath.org/abs/2611.00078) (hexagonmath.org, paper) 30. [Hexagon 2611.00077](https://hexagonmath.org/abs/2611.00077) (hexagonmath.org, paper) 31. [Hexagon 2611.00076](https://hexagonmath.org/abs/2611.00076) (hexagonmath.org, paper) 32. [Hexagon 2611.00074](https://hexagonmath.org/abs/2611.00074) (hexagonmath.org, paper) 33. [Hexagon 2611.00072](https://hexagonmath.org/abs/2611.00072) (hexagonmath.org, paper) 34. [Hexagon 2611.00070](https://hexagonmath.org/abs/2611.00070) (hexagonmath.org, paper) 35. [Hexagon 2611.00069](https://hexagonmath.org/abs/2611.00069) (hexagonmath.org, paper) 36. [Hexagon 2611.00068](https://hexagonmath.org/abs/2611.00068) (hexagonmath.org, paper) 37. [Hexagon 2611.00066](https://hexagonmath.org/abs/2611.00066) (hexagonmath.org, paper) 38. [Hexagon 2611.00065](https://hexagonmath.org/abs/2611.00065) (hexagonmath.org, paper) 39. [Hexagon 2611.00064](https://hexagonmath.org/abs/2611.00064) (hexagonmath.org, paper) 40. [Hexagon 2611.00063](https://hexagonmath.org/abs/2611.00063) (hexagonmath.org, paper) 41. [Hexagon 2611.00062](https://hexagonmath.org/abs/2611.00062) (hexagonmath.org, paper) 42. [Hexagon 2611.00061](https://hexagonmath.org/abs/2611.00061) (hexagonmath.org, paper) 43. [Hexagon 2611.00060](https://hexagonmath.org/abs/2611.00060) (hexagonmath.org, paper) 44. [Hexagon 2611.00058](https://hexagonmath.org/abs/2611.00058) (hexagonmath.org, paper) 45. [Hexagon 2611.00057](https://hexagonmath.org/abs/2611.00057) (hexagonmath.org, paper) 46. [Hexagon 2611.00056](https://hexagonmath.org/abs/2611.00056) (hexagonmath.org, paper) 47. [Hexagon 2611.00055](https://hexagonmath.org/abs/2611.00055) (hexagonmath.org, paper) 48. [Hexagon 2611.00054](https://hexagonmath.org/abs/2611.00054) (hexagonmath.org, paper) 49. [Hexagon 2611.00053](https://hexagonmath.org/abs/2611.00053) (hexagonmath.org, paper) 50. [Hexagon 2611.00052](https://hexagonmath.org/abs/2611.00052) (hexagonmath.org, paper) 51. [Hexagon 2611.00051](https://hexagonmath.org/abs/2611.00051) (hexagonmath.org, paper) 52. [Hexagon 2611.00049](https://hexagonmath.org/abs/2611.00049) (hexagonmath.org, paper) 53. [Hexagon 2611.00047](https://hexagonmath.org/abs/2611.00047) (hexagonmath.org, paper) 54. [Hexagon 2611.00046](https://hexagonmath.org/abs/2611.00046) (hexagonmath.org, paper) 55. [Hexagon 2611.00045](https://hexagonmath.org/abs/2611.00045) (hexagonmath.org, paper) 56. [Hexagon 2610.00534](https://hexagonmath.org/abs/2610.00534) (hexagonmath.org, paper) 57. [Hexagon 2610.00532](https://hexagonmath.org/abs/2610.00532) (hexagonmath.org, paper) 58. [Hexagon 2610.00528](https://hexagonmath.org/abs/2610.00528) (hexagonmath.org, paper) 59. [Hexagon 2610.00527](https://hexagonmath.org/abs/2610.00527) (hexagonmath.org, paper) 60. [Hexagon 2610.00526](https://hexagonmath.org/abs/2610.00526) (hexagonmath.org, paper) 61. [Hexagon 2610.00525](https://hexagonmath.org/abs/2610.00525) (hexagonmath.org, paper) 62. [Hexagon 2610.00523](https://hexagonmath.org/abs/2610.00523) (hexagonmath.org, paper) 63. [Hexagon 2610.00522](https://hexagonmath.org/abs/2610.00522) (hexagonmath.org, paper) 64. [formal-conjectures: Erdős 354(i) solved](https://github.com/google-deepmind/formal-conjectures/commit/3f4490479b53386e1c18d2cccf4f1164c16655ca) (github.com, code) 65. [AxiomMath/Stacks](https://github.com/AxiomMath/Stacks) (github.com, code) 66. [google-deepmind/gbench](https://github.com/google-deepmind/gbench) (github.com, code) 67. [google-deepmind/detectorscope](https://github.com/google-deepmind/detectorscope) (github.com, code) ## Changes - 2026-11-05 (filed): Created ## Related - 2026-11-05: [3-uniform hyperclique hypothesis refuted with ChatGPT Sol 6.1](https://postcutoff.com/e/2026-11-05-3-uniform-hyperclique-hypothesis-false-chatgpt-sol/index.md) - 2026-11-04: [Elliptic-curve torsion in degrees 6–9, mostly by GPT-6.1 Sol](https://postcutoff.com/e/2026-11-04-elliptic-curve-torsion-degrees-6-9-gpt-6-1-sol-najman/index.md) - 2026-11-04: [Serre modularity over real quadratic fields, primarily AI-generated](https://postcutoff.com/e/2026-11-04-serre-modularity-real-quadratic-fields-chatgpt-astra/index.md) - 2026-11-04: [AI-assisted results, 4 Nov: arXiv of 4 Nov and Hexagon of 2–3 Nov](https://postcutoff.com/e/2026-11-04-ai-assisted-results-november-4-listing/index.md) - 2026-10-20: [Borodin–Kostochka conjecture claimed for maximum degree ≥ 4583 (down from 5.3 million), then ≥ 1000 (26 Oct), with GPT-6 Astra assisting](https://postcutoff.com/e/2026-10-20-borodin-kostochka-threshold-4583-gpt-6-astra/index.md)