{"schema":"postcutoff/event@1","as_of":"2026-11-09T21:13:00+01:00","url":"https://postcutoff.com/e/2026-11-09-ai-assisted-results-november-9-listing/","md":"https://postcutoff.com/e/2026-11-09-ai-assisted-results-november-9-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-09-ai-assisted-results-november-9-listing","date":"2026-11-09","date_precision":"day","short_title":"AI-assisted results, 9 Nov: arXiv and Hexagon","deck":null,"takeaway":"The 9 Nov sweep listed 175 new arXiv papers mentioning AI. Own entries: the matroid secretary conjecture (strong form, GPT Astra) and Nill's reflexive polytope conjecture disproved with GPT-6.1 Sol.","category":"science","category_label":"Science & math","importance":2,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"Hexagon 2611.00204","url":"https://hexagonmath.org/abs/2611.00204","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":2,"title":"Hexagon 2610.00483","url":"https://hexagonmath.org/abs/2610.00483","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":3,"title":"Hexagon 2610.00480","url":"https://hexagonmath.org/abs/2610.00480","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":4,"title":"Hexagon 2610.00479","url":"https://hexagonmath.org/abs/2610.00479","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":5,"title":"Hexagon 2610.00478","url":"https://hexagonmath.org/abs/2610.00478","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":6,"title":"Hexagon 2610.00477","url":"https://hexagonmath.org/abs/2610.00477","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":7,"title":"Hexagon 2610.00475","url":"https://hexagonmath.org/abs/2610.00475","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":8,"title":"Hexagon 2610.00474","url":"https://hexagonmath.org/abs/2610.00474","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":9,"title":"Hexagon 2610.00473","url":"https://hexagonmath.org/abs/2610.00473","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":10,"title":"Hexagon 2610.00472","url":"https://hexagonmath.org/abs/2610.00472","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":11,"title":"Hexagon 2610.00471","url":"https://hexagonmath.org/abs/2610.00471","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":12,"title":"Hexagon 2610.00470","url":"https://hexagonmath.org/abs/2610.00470","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":13,"title":"Hexagon 2610.00469","url":"https://hexagonmath.org/abs/2610.00469","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":14,"title":"Hexagon 2610.00468","url":"https://hexagonmath.org/abs/2610.00468","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":15,"title":"Hexagon 2610.00465","url":"https://hexagonmath.org/abs/2610.00465","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":16,"title":"Hexagon 2610.00464","url":"https://hexagonmath.org/abs/2610.00464","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":17,"title":"Hexagon 2610.00463","url":"https://hexagonmath.org/abs/2610.00463","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":18,"title":"Hexagon 2610.00462","url":"https://hexagonmath.org/abs/2610.00462","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":19,"title":"Hexagon 2610.00459","url":"https://hexagonmath.org/abs/2610.00459","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":20,"title":"Hexagon 2610.00458","url":"https://hexagonmath.org/abs/2610.00458","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":21,"title":"Hexagon 2610.00457","url":"https://hexagonmath.org/abs/2610.00457","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":22,"title":"arXiv 2611.09257","url":"https://arxiv.org/abs/2611.09257","type":"paper","group":"primary","domain":"arxiv.org"},{"n":23,"title":"arXiv 2611.09477","url":"https://arxiv.org/abs/2611.09477","type":"paper","group":"primary","domain":"arxiv.org"},{"n":24,"title":"arXiv 2611.09166","url":"https://arxiv.org/abs/2611.09166","type":"paper","group":"primary","domain":"arxiv.org"},{"n":25,"title":"arXiv 2611.09035","url":"https://arxiv.org/abs/2611.09035","type":"paper","group":"primary","domain":"arxiv.org"},{"n":26,"title":"arXiv 2611.09335","url":"https://arxiv.org/abs/2611.09335","type":"paper","group":"primary","domain":"arxiv.org"},{"n":27,"title":"arXiv 2611.09809","url":"https://arxiv.org/abs/2611.09809","type":"paper","group":"primary","domain":"arxiv.org"},{"n":28,"title":"arXiv 2611.08963","url":"https://arxiv.org/abs/2611.08963","type":"paper","group":"primary","domain":"arxiv.org"},{"n":29,"title":"arXiv 2611.08735","url":"https://arxiv.org/abs/2611.08735","type":"paper","group":"primary","domain":"arxiv.org"},{"n":30,"title":"arXiv 2611.09011","url":"https://arxiv.org/abs/2611.09011","type":"paper","group":"primary","domain":"arxiv.org"},{"n":31,"title":"arXiv 2611.09125","url":"https://arxiv.org/abs/2611.09125","type":"paper","group":"primary","domain":"arxiv.org"},{"n":32,"title":"arXiv 2611.09021","url":"https://arxiv.org/abs/2611.09021","type":"paper","group":"primary","domain":"arxiv.org"},{"n":33,"title":"arXiv 2611.09844","url":"https://arxiv.org/abs/2611.09844","type":"paper","group":"primary","domain":"arxiv.org"},{"n":34,"title":"arXiv 2611.08773","url":"https://arxiv.org/abs/2611.08773","type":"paper","group":"primary","domain":"arxiv.org"},{"n":35,"title":"arXiv 2611.08591","url":"https://arxiv.org/abs/2611.08591","type":"paper","group":"primary","domain":"arxiv.org"},{"n":36,"title":"arXiv 2611.08574","url":"https://arxiv.org/abs/2611.08574","type":"paper","group":"primary","domain":"arxiv.org"},{"n":37,"title":"arXiv 2611.09392","url":"https://arxiv.org/abs/2611.09392","type":"paper","group":"primary","domain":"arxiv.org"},{"n":38,"title":"arXiv 2611.09064","url":"https://arxiv.org/abs/2611.09064","type":"paper","group":"primary","domain":"arxiv.org"},{"n":39,"title":"arXiv 2611.09675","url":"https://arxiv.org/abs/2611.09675","type":"paper","group":"primary","domain":"arxiv.org"},{"n":40,"title":"arXiv 2611.09887","url":"https://arxiv.org/abs/2611.09887","type":"paper","group":"primary","domain":"arxiv.org"},{"n":41,"title":"arXiv 2611.08796","url":"https://arxiv.org/abs/2611.08796","type":"paper","group":"primary","domain":"arxiv.org"},{"n":42,"title":"arXiv 2611.08653","url":"https://arxiv.org/abs/2611.08653","type":"paper","group":"primary","domain":"arxiv.org"},{"n":43,"title":"arXiv 2611.09523","url":"https://arxiv.org/abs/2611.09523","type":"paper","group":"primary","domain":"arxiv.org"},{"n":44,"title":"formal-conjectures commit: Erdős 338 / Kelly's conjecture disproved","url":"https://github.com/google-deepmind/formal-conjectures/commit/3afb9beda5bcb9933e6e10276e87f8ccfd851222","type":"code","group":"primary","domain":"github.com"}],"official":44,"filed":"2026-11-09","updated":"2026-11-09","orgs":["OpenAI","Anthropic","Google DeepMind","various researchers"],"title":"AI-assisted results in the 9 Nov sweep: Böhm–Lafuente conjecture with ChatGPT contributions, random profinite group thresholds with AI-generated proofs, Kelly's conjecture disproved in Lean, Ajit's AI counterexamples in positive characteristic, plus 20 Hexagon backlog works","summary":"Catalogue of AI-disclosing works from the arXiv listing of 9 Nov 2026, one new Hexagon deposit, a Lean commit in google-deepmind/formal-conjectures, and 20 lines of the October Hexagon backlog. AI statements are quoted from PDFs or Hexagon provenance records (Hexagon does not judge correctness); nothing here is refereed.","key_facts":["Own entries: 2026-09-13-matroid-secretary-conjecture-resolved-gpt-astra (arXiv 2611.08869, 2609.14555), 2026-11-09-nill-reflexive-polytopes-conjecture-disproved-gpt-6-1-sol (2611.08819)","Böhm–Lafuente conjecture (every negative-Einstein manifold with cocompact symmetries splits as H × K), with a new proof of the Alekseevskii conjecture; Marcos Martinez Wagner, single author: 'ChatGPT 5.6 and ChatGPT 6.1 have made the following two main contributions' (Theorem 9.7 and an Iwasawa-type decomposition, Theorem B.1) (2611.09257)","AI found main results: 'OpenAI's ChatGPT 5.6 Sol and 6 Astra generated the proofs of the main results' (sharp universality thresholds for random profinite groups, Jung & Lee, 2611.09477); 'The proof of Theorem 1.1 was originally obtained by Claude Code (Opus 4.6)' (separating measures by hyperplanes, Correa, Solan et al., 2611.09166); 'The proof of Theorem 1.2 was discovered with AI assistance (ChatGPT Astra)' (deterministic factorization of constant-depth circuits from PIT, Kumar, Saptharishi, Saraf et al., 2611.09035); GPT-5.x/6 Pro, Gemini 3.1 Pro and GPT-6 Astra used to construct clauses for exponential Moser–Tardos/WalkSAT separations (2611.09335); quantum query complexity of Hamming weight beyond n/2, AI used for approach and proof development under the Simons AI+TCS methodology template (2611.09809); Sinkhorn convergence, ChatGPT 'assisted with counterexample construction' (2611.08963)","AI credited with parts: GPT-5.5/5.6 Sol 'generated ideas for Lemma 2.25, Propositions 2.26, 2.32–2.34' and all Section 5 examples (ordered vector spaces, 2611.08735); Theorems 3.12 and 5.10 'found by modifying outputs' of ChatGPT-5.6 Sol (2611.09011); Claude Opus 5.5 filled gaps incl. Theorem 4.1 (IC-planar weak-strict degeneracy ≤ 6, 2611.09125); GPT-6 Astra helped develop the proof (convex polytopes with dihedral angles ≤ π/2+δ, 2611.09021); Theorems 4.1 and 6.4 with GPT Astra 6 Pro (cube tilings, 2611.09844); Claude explored constructions for a uniformly quasiregular map with Cantor-of-spheres Julia set (2611.08773); Stacks agentic workflow on Claude Opus 5.5 and GPT-5.6 Sol (Conley index, 2611.08591); smaller roles: 2611.08574, 2611.09392, 2611.09064, 2611.09675, 2611.09887, 2611.08796, 2611.08653. The rest of the 175 mention AI only for editing, literature, code or checking","Conjecture papers without AI disclosure: 'The BCC lattice is the optimal 3D lattice quantizer for all p ≥ 1' (2611.09523); no other famous problem","Repo: google-deepmind/formal-conjectures commit of 8 Nov proves the Erdős #338 variant 'Kelly's conjecture' false in Lean (a basis of order 2 with no restricted order 3, explicit base-3 construction); 'AI-usage disclosure: Claude (Anthropic) was used as assistant'","Hexagon 2611.00204 (8 Nov), Rahul Ajit and S. Lee: AI-found counterexamples in positive characteristic (globally +-regular rational surface with nef, non-big, non-semiample anticanonical divisor; F-finite splinter not weakly F-regular); 'Primarily AI-generated'; 'their mathematical details were quite incomprehensible to the humans', who 'think the math in this draft is correct' and are verifying it","Hexagon backlog (20 lines): Benjamin Severn, Weil classes on Weil-type abelian sixfolds for Q(i), discriminant −3, are algebraic (a Hodge conjecture case), 'Primarily AI-generated', partly human-checked (2610.00477); Khai Hoan Nguyen Dang with ChatGPT, Mahlburg–Ono and Cullinan–Hajir conjectures on Jacobi/Legendre polynomials (2610.00468); Troy Winarski, Lean-recorded 15/16 zero-free half-plane for angular Hecke L-functions over Q(√−3), extending OpenAI Math Family 003, 'Primarily AI-generated', partly checked (2610.00458; strong claim, no expert check); Andy Jiang, nonexistence of lim Cohen–Macaulay sequences, 'produced end-to-end by GPT' (2610.00465); Deep Bhattacharjee with Claude Code: Wigderson's nilpotent-free conjecture fails for 3×3 over F_3 (2610.00480), densest two-translate lattice packings in R^5 (2610.00479), Kimberling's Fibonacci–Lucas conjecture (2610.00478), bridge index of 13-crossing knots (2610.00475), Shankar's Catalan conjecture (2610.00474), Simpson's abelian-squares conjecture with Lean (2610.00473), Welch function not third-order sum-free (2610.00472), Wang–Tian τ_k-maximal conjecture (2610.00459), supersymmetric Yang–Mills obstructions (2610.00471); John Tripodo, double Hall degree and projective-plane determinant bounds, no human check (2610.00462, 2610.00457); heat-evolved random polynomials, no human check (2610.00483); Ramsey for pairs in Pincus's model N48 (2610.00464); Manjil Saikia with Claude Fable 5.1 skeleton (2610.00469); human-written: 2610.00470, 2610.00463"],"key_numbers":[],"tags":["math","arxiv","hexagon","catalogue","chatgpt","gpt-6-astra","gpt-6-1-sol","claude","codex","lean"],"science":{"field":"mathematics","subfield":"multiple","problem":"See list","result":"Catalogue of AI-disclosing works of 8–9 Nov beyond those with their own entries","open_since":"","ai_system":["ChatGPT","GPT-6 Astra","GPT-6.1 Sol","Claude","Codex"],"human_role":"From human proofs with AI help to primarily AI-generated deposits with no human checking","verification":{"key":"lean","label":"Lean-verified","text":"Unrefereed preprints, Hexagon deposits, one Lean commit"},"status":"pending","shock":"","verified_by":["preprint","lean"],"kind":"batch"},"body_md":"## What happened\n\nSee key facts; each item links to its arXiv or Hexagon page above. Disclosures are quoted from the PDFs or Hexagon provenance records.","disputed":[{"label":"Verification","text":"Unrefereed preprints, Hexagon deposits, one Lean commit","sources":[]}],"related":[{"id":"2026-11-09-nill-reflexive-polytopes-conjecture-disproved-gpt-6-1-sol","url":"https://postcutoff.com/e/2026-11-09-nill-reflexive-polytopes-conjecture-disproved-gpt-6-1-sol/","date":"2026-11-09","date_precision":"day","short_title":"Reflexive polytopes conjecture disproved, GPT-6.1 Sol","deck":null,"takeaway":"The conjecture's own author confirms the disproof, and the low-dimensional counterexamples are explicit, which makes the claim easy to check.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":1,"official":1,"filed":"2026-11-09","updated":"2026-11-09","orgs":["OpenAI","various researchers"]},{"id":"2026-11-08-ai-assisted-results-november-8-listing","url":"https://postcutoff.com/e/2026-11-08-ai-assisted-results-november-8-listing/","date":"2026-11-08","date_precision":"day","short_title":"AI-assisted results, 8 Nov: Hexagon of 7 Nov and arXiv","deck":null,"takeaway":"The 8 Nov sweep listed 22 uncited Hexagon works of 7 Nov and 352 arXiv papers mentioning AI. Own entries: 2×2 matrix mortality undecidable, the quasiplanar conjecture proved by ChatGPT-6, D-equivalence for generalized Kummer type, and Anthropic's two Claude physics papers.","category":"science","category_label":"Science & math","importance":2,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":61,"official":61,"filed":"2026-11-08","updated":"2026-11-08","orgs":["OpenAI","Anthropic","Google","various researchers"]},{"id":"2026-09-13-matroid-secretary-conjecture-resolved-gpt-astra","url":"https://postcutoff.com/e/2026-09-13-matroid-secretary-conjecture-resolved-gpt-astra/","date":"2026-09-13","date_precision":"day","short_title":"Matroid secretary conjecture resolved, with GPT Astra","deck":null,"takeaway":"The matroid secretary problem was one of the best-known open problems in online algorithms.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":7,"official":5,"filed":"2026-11-09","updated":"2026-11-09","orgs":["OpenAI","various researchers"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-11-09","type":"filed","text":"Created"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-11-09","run":null,"sources_read":null,"updated":"2026-11-09","human_review":null,"version":{"date":"2026-11-09"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":193,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":132,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":223,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":162,"in_training_data":false}],"short_url":null}