{"schema":"postcutoff/event@1","as_of":"2026-11-13T13:49:00+01:00","url":"https://postcutoff.com/e/2026-11-10-ai-assisted-results-november-10-listing/","md":"https://postcutoff.com/e/2026-11-10-ai-assisted-results-november-10-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-10-ai-assisted-results-november-10-listing","date":"2026-11-10","date_precision":"day","short_title":"AI-assisted results, 10 Nov: arXiv and Hexagon","deck":null,"takeaway":"Own entries today: X_ns+(121) (two AI proofs) and the Benjamini–Schramm p_c < p_u claims. Below: a catalogue of the rest, quoted from Hexagon provenance and arXiv PDFs; nothing here is refereed.","category":"science","category_label":"Science & math","importance":2,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"Hexagon 2611.00244","url":"https://hexagonmath.org/abs/2611.00244","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":2,"title":"Hexagon 2611.00226","url":"https://hexagonmath.org/abs/2611.00226","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":3,"title":"Hexagon 2611.00209","url":"https://hexagonmath.org/abs/2611.00209","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":4,"title":"Hexagon 2611.00196","url":"https://hexagonmath.org/abs/2611.00196","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":5,"title":"Hexagon 2611.00248","url":"https://hexagonmath.org/abs/2611.00248","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":6,"title":"Hexagon 2611.00250","url":"https://hexagonmath.org/abs/2611.00250","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":7,"title":"Hexagon 2611.00213","url":"https://hexagonmath.org/abs/2611.00213","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":8,"title":"Hexagon 2611.00252","url":"https://hexagonmath.org/abs/2611.00252","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":9,"title":"Hexagon 2611.00260","url":"https://hexagonmath.org/abs/2611.00260","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":10,"title":"Hexagon 2611.00232","url":"https://hexagonmath.org/abs/2611.00232","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":11,"title":"Hexagon 2611.00230","url":"https://hexagonmath.org/abs/2611.00230","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":12,"title":"Hexagon 2611.00200","url":"https://hexagonmath.org/abs/2611.00200","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":13,"title":"Hexagon 2611.00207","url":"https://hexagonmath.org/abs/2611.00207","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":14,"title":"Hexagon 2611.00233","url":"https://hexagonmath.org/abs/2611.00233","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":15,"title":"Hexagon 2611.00221","url":"https://hexagonmath.org/abs/2611.00221","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":16,"title":"Hexagon 2611.00227","url":"https://hexagonmath.org/abs/2611.00227","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":17,"title":"Hexagon 2611.00198","url":"https://hexagonmath.org/abs/2611.00198","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":18,"title":"Hexagon 2611.00243","url":"https://hexagonmath.org/abs/2611.00243","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":19,"title":"Hexagon 2611.00212","url":"https://hexagonmath.org/abs/2611.00212","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":20,"title":"Hexagon 2611.00215","url":"https://hexagonmath.org/abs/2611.00215","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":21,"title":"Hexagon 2611.00254","url":"https://hexagonmath.org/abs/2611.00254","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":22,"title":"Hexagon 2611.00206","url":"https://hexagonmath.org/abs/2611.00206","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":23,"title":"Hexagon 2611.00195","url":"https://hexagonmath.org/abs/2611.00195","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":24,"title":"Hexagon 2611.00210","url":"https://hexagonmath.org/abs/2611.00210","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":25,"title":"Hexagon 2611.00216","url":"https://hexagonmath.org/abs/2611.00216","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":26,"title":"Hexagon 2611.00245","url":"https://hexagonmath.org/abs/2611.00245","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":27,"title":"Hexagon 2611.00208","url":"https://hexagonmath.org/abs/2611.00208","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":28,"title":"Hexagon 2611.00259","url":"https://hexagonmath.org/abs/2611.00259","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":29,"title":"Hexagon 2611.00237","url":"https://hexagonmath.org/abs/2611.00237","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":30,"title":"Hexagon 2611.00228","url":"https://hexagonmath.org/abs/2611.00228","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":31,"title":"Hexagon 2611.00236","url":"https://hexagonmath.org/abs/2611.00236","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":32,"title":"Hexagon 2611.00253","url":"https://hexagonmath.org/abs/2611.00253","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":33,"title":"Hexagon 2611.00256","url":"https://hexagonmath.org/abs/2611.00256","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":34,"title":"Hexagon 2611.00257","url":"https://hexagonmath.org/abs/2611.00257","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":35,"title":"Hexagon 2611.00246","url":"https://hexagonmath.org/abs/2611.00246","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":36,"title":"Hexagon 2611.00220","url":"https://hexagonmath.org/abs/2611.00220","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":37,"title":"Hexagon 2611.00217","url":"https://hexagonmath.org/abs/2611.00217","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":38,"title":"Hexagon 2611.00211","url":"https://hexagonmath.org/abs/2611.00211","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":39,"title":"Hexagon 2611.00214","url":"https://hexagonmath.org/abs/2611.00214","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":40,"title":"Hexagon 2611.00202","url":"https://hexagonmath.org/abs/2611.00202","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":41,"title":"Hexagon 2611.00229","url":"https://hexagonmath.org/abs/2611.00229","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":42,"title":"Hexagon 2611.00241","url":"https://hexagonmath.org/abs/2611.00241","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":43,"title":"Hexagon 2611.00240","url":"https://hexagonmath.org/abs/2611.00240","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":44,"title":"Hexagon 2611.00239","url":"https://hexagonmath.org/abs/2611.00239","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":45,"title":"Hexagon 2611.00238","url":"https://hexagonmath.org/abs/2611.00238","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":46,"title":"Hexagon 2611.00249","url":"https://hexagonmath.org/abs/2611.00249","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":47,"title":"Hexagon 2611.00235","url":"https://hexagonmath.org/abs/2611.00235","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":48,"title":"Hexagon 2611.00199","url":"https://hexagonmath.org/abs/2611.00199","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":49,"title":"Hexagon 2611.00201","url":"https://hexagonmath.org/abs/2611.00201","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":50,"title":"Hexagon 2611.00197","url":"https://hexagonmath.org/abs/2611.00197","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":51,"title":"Hexagon 2611.00203","url":"https://hexagonmath.org/abs/2611.00203","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":52,"title":"Hexagon 2611.00205","url":"https://hexagonmath.org/abs/2611.00205","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":53,"title":"Hexagon 2611.00194","url":"https://hexagonmath.org/abs/2611.00194","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":54,"title":"Hexagon 2611.00192","url":"https://hexagonmath.org/abs/2611.00192","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":55,"title":"Hexagon 2611.00219","url":"https://hexagonmath.org/abs/2611.00219","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":56,"title":"Hexagon 2611.00218","url":"https://hexagonmath.org/abs/2611.00218","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":57,"title":"Hexagon 2611.00224","url":"https://hexagonmath.org/abs/2611.00224","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":58,"title":"Hexagon 2611.00223","url":"https://hexagonmath.org/abs/2611.00223","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":59,"title":"Hexagon 2611.00225","url":"https://hexagonmath.org/abs/2611.00225","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":60,"title":"Hexagon 2610.00456","url":"https://hexagonmath.org/abs/2610.00456","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":61,"title":"Hexagon 2610.00453","url":"https://hexagonmath.org/abs/2610.00453","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":62,"title":"Hexagon 2610.00451","url":"https://hexagonmath.org/abs/2610.00451","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":63,"title":"Hexagon 2610.00450","url":"https://hexagonmath.org/abs/2610.00450","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":64,"title":"Hexagon 2610.00447","url":"https://hexagonmath.org/abs/2610.00447","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":65,"title":"Hexagon 2610.00436","url":"https://hexagonmath.org/abs/2610.00436","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":66,"title":"Hexagon 2610.00433","url":"https://hexagonmath.org/abs/2610.00433","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":67,"title":"Hexagon 2610.00431","url":"https://hexagonmath.org/abs/2610.00431","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":68,"title":"arXiv 2611.10919","url":"https://arxiv.org/abs/2611.10919","type":"paper","group":"primary","domain":"arxiv.org"},{"n":69,"title":"arXiv 2611.11593","url":"https://arxiv.org/abs/2611.11593","type":"paper","group":"primary","domain":"arxiv.org"},{"n":70,"title":"arXiv 2611.11025","url":"https://arxiv.org/abs/2611.11025","type":"paper","group":"primary","domain":"arxiv.org"},{"n":71,"title":"arXiv 2611.11269","url":"https://arxiv.org/abs/2611.11269","type":"paper","group":"primary","domain":"arxiv.org"},{"n":72,"title":"arXiv 2611.11360","url":"https://arxiv.org/abs/2611.11360","type":"paper","group":"primary","domain":"arxiv.org"},{"n":73,"title":"arXiv 2611.11362","url":"https://arxiv.org/abs/2611.11362","type":"paper","group":"primary","domain":"arxiv.org"},{"n":74,"title":"arXiv 2611.11357","url":"https://arxiv.org/abs/2611.11357","type":"paper","group":"primary","domain":"arxiv.org"},{"n":75,"title":"arXiv 2611.11298","url":"https://arxiv.org/abs/2611.11298","type":"paper","group":"primary","domain":"arxiv.org"},{"n":76,"title":"arXiv 2611.11294","url":"https://arxiv.org/abs/2611.11294","type":"paper","group":"primary","domain":"arxiv.org"},{"n":77,"title":"arXiv 2611.12444","url":"https://arxiv.org/abs/2611.12444","type":"paper","group":"primary","domain":"arxiv.org"},{"n":78,"title":"arXiv 2611.10813","url":"https://arxiv.org/abs/2611.10813","type":"paper","group":"primary","domain":"arxiv.org"},{"n":79,"title":"arXiv 2611.09978","url":"https://arxiv.org/abs/2611.09978","type":"paper","group":"primary","domain":"arxiv.org"},{"n":80,"title":"arXiv 2611.10283","url":"https://arxiv.org/abs/2611.10283","type":"paper","group":"primary","domain":"arxiv.org"},{"n":81,"title":"formal-conjectures #7611: AME(7,d) classification formal proof link","url":"https://github.com/google-deepmind/formal-conjectures/commit/03b0ded8b3d8adb665ef0a863df434754467c117","type":"code","group":"primary","domain":"github.com"},{"n":82,"title":"formal-conjectures #7668: Erdős 423, 1098, 1193, 427 solved statements proved","url":"https://github.com/google-deepmind/formal-conjectures/commit/2f91d251c07fbbaf9435166d47c11e884a08a6cf","type":"code","group":"primary","domain":"github.com"}],"official":82,"filed":"2026-11-10","updated":"2026-11-10","orgs":["OpenAI","Anthropic","various researchers"],"title":"AI-assisted results in the 10 Nov sweep: Etingof–Gelaki finiteness question answered by ChatGPT, Mendel's GPT-6 Astra metric cotype bound, Milne's report on OpenAI's Hodge preprints, R(12,12) ≥ 1661 with Claude, plus 65 Hexagon deposits and 200 new arXiv disclosures","summary":"Catalogue of AI-disclosing works from the Hexagon deposits of 9–10 Nov 2026 (65 new), the arXiv listing of 10 Nov (200 new papers mentioning AI; the strongest disclosures quoted), commits to google-deepmind/formal-conjectures and eight lines of the October Hexagon backlog. Statements are quoted from Hexagon provenance records (Hexagon does not judge correctness) or PDFs.","key_facts":["Own entries: 2026-11-09-non-split-cartan-121-two-ai-proofs (2611.00231, 2611.00255, 2611.00234), 2026-09-24-benjamini-schramm-pc-pu-nonamenable-openai-lean (2611.00251); Smale constant deposits 2611.00258 and 2611.00187 added to 2026-09-03-smale-mean-value-conjecture-disproved-gpt-6-astra; Euler Part II (arXiv 2611.10211) to 2026-10-17-2d-euler-unforced-nonuniqueness-lp-vorticity-ai; Dixmier Lean commit to 2026-07-20-jacobian-conjecture-counterexample","Pavel Etingof (MIT), Hexagon 2611.00226: a one-parameter family of 1024-dimensional complex Hopf algebras with fixed coalgebra and varying algebra structure, answering 'negatively the finiteness question of Etingof and Gelaki'; 'This text has been produced by ChatGPT at a request by Pavel Etingof. It was repeatedly checked by AI agents'; human understanding 'some'","Manor Mendel, Hexagon 2611.00209: metric cotype q inequality with scaling m = O(n^(1/2+1/q)) for Banach spaces of Rademacher cotype q; 'The proofs in this paper were obtained by GPT~6 Astra … verifying the correctness of the proofs' by the author; human understanding 'all'","James Milne, Hexagon 2611.00244 (human-written): 'a report on two preprints of OpenAI, \"Milne's rationality conjecture for abelian varieties\" and \"The rational Hodge conjecture for CM abelian varieties\", placing them in context'","Nicholas Nash, 2611.00196: deterministic adversary forcing (1−o(1)) n log₂ n comparisons on any sorting algorithm (previous 37/64); 'Except for the abstract, the text is AI-generated using GPT 6 Astra'","Yue Ma, 2611.00248: R(12,12) ≥ 1661 by extending the Mathon–Shearer colouring; Claude Opus 5.5 in Claude Code 'designed and ran the searches' (SAT with CaDiCaL), Lean 4 listed","Claude-agent deposits with little or no human checking: holographic entropy inequalities lacking unscaled contraction proofs (2611.00252, 'checked only by other instances of the same models'); Boshernitzan 1992 complete-periodicity conjecture for rational right triangles, two papers (2611.00250, 2611.00213); ten DSRG parameter sets excluded (2611.00230, Lean listed); interpolation lemma of OpenAI's Landau–Siegel paper formalized (2611.00200)","Other Hexagon 9–10 Nov: Cereceda's 2007 conjecture for bipartite 2-degenerate graphs (Dave Goel, 2611.00260, 'overwhelmingly by AI models'); Cazenave's eigenvalue conjecture μ₂² ≥ 4λ₂+1 (2611.00232, Codex); Yair Lavi with GPT and Claude Fable: cubic-lattice dimer constant ℓ₃ ≥ 0.44477 (2611.00227), counterexamples to a Drury-conjecture inequality (2611.00198) and three more (2611.00197, 2611.00201, 2611.00225); Palcoux et al. fusion categories (2611.00233); Banica (2611.00221, 'Written by Chat GPT, with help from Teo Banica'); Enomoto pretorsion theories ('Sol proved almost all materials', 2611.00207); Kominers, Fibonacci polynomials (2611.00212); Yampolsky, non-computable derivatives (2611.00243); Qiyue Tang, ten deposits on L'vov–Kaplansky, Lusztig, Laurent positivity and Markov numbers (2611.00195, 00205, 00206, 00210, 00216, 00218, 00219, 00238, 00239, 00194, 00192)","arXiv 10 Nov, AI found main results: 'The proofs of all the new results in this paper were discovered by ChatGPT 6.1 Sol' (vertex splitting and global rigidity, 2611.10919); 'All mathematical statements and proofs were found by ChatGPT 6 Pro' (Kronecker coefficients, 2611.11593); 'The mathematical content of this paper was generated using ChatGPT 6 Astra' (Hodge–Witt torsion, 2611.11269); 'The main results of this paper were initially obtained by Claude Opus 5.5' (magnetic Ginzburg–Landau vortices, 2611.11360); proof of main theorem 'discovered using ChatGPT-6 Astra Max' (permutation complexes, 2611.11362); counterexample 'generated through discussions with ChatGPT 6 Astra' (divisorial domain, 2611.11357); maximal curves 'discovered through extensive searches' with GPT-6 Astra (2611.11298); R∞ for Higman–Thompson groups, idea 'suggested by ChatGPT 6 Astra' (2611.11294); Glauber dynamics on G(n,d/n), main ideas with GPT-5.6/6.1 Sol (2611.12444); unipotent Specht modules with Claude (2611.10813); Weak λ-sets, first proof drafts by GPT-6 Astra (2611.11025)","Repos: formal-conjectures commits of 9 Nov add formal proofs for Erdős 423, 1098, 1193, 427 solved statements and a formal proof link for the AME(7,d) classification (exists iff d ≥ 3); no new openai/math commits; mathcommunity/oai-math-revised reverted a BFSS SU(2) Lean package (#77)","Hexagon backlog (8 lines): Masaki Oshikawa, RP² model correlations decay faster than any power, 'The proof was entirely generated by ChatGPT 6 Astra', then formalized (2610.00453); Aronow and Lopatto, superfluid stiffness of the dilute hard-sphere Bose gas, 'Proof discovery and verification were done with GPT 6 Astra, GPT 6.1 Sol, and Claude Opus 5.5' (2610.00450); Brian Nugent, point separation for K_X + mL, m ≥ n+2, conditional on inputs stated in the paper, 'Produced by GPT-6.1 Sol' (2610.00447); Jungang Chen with ChatGPT, counterexamples to Csikvári's Conjecture 7.3 (2610.00433) and three conjectures of Ok (2610.00431); Qiyue Tang, weakly Gorenstein symmetry counterexamples (2610.00436); Kominers (2610.00451); Bhattacharjee, Kreuzer–Skarke descent (2610.00456)","Provenance read for all Hexagon works listed here. Qiyue Tang's deposits come from long GPT-6-Pro runs audited by Codex, e.g. L'vov–Kaplansky for large matrices from 'ten GPT-6-Pro research runs with a combined scheduled duration of 62.5 hours' (2611.00206); a Rethlas-OSV review is 'planned' for some. Steve Hubbard's ternary Goldbach note: 'main results are checked in Lean 4 with Mathlib' (2611.00211). Primarily human-written: 2611.00228, 2611.00229; Anwesh Ray (2611.00202) used ChatGPT 6.1 Sol only to explore and correct","formal-conjectures, other 9 Nov commits: new Lean statements (no proofs) of Pittel's stable-matching conjectures (#7812, #7852), the Irving–Leather conjectures (#7818, drafted with Codex), a Fanelli–Moscardelli roommates threshold (#7853), Erdős 1132 and 1042; proofs of the Erdős 963 greedy bound and links to existing formal proofs for Erdős 835, 654 and AME(7,2); Erdős 143 part (i) marked solved from Koukoulopoulos–Lamzouri–Lichtman (arXiv 2502.09539, not AI). None is a new open-problem resolution","Other conjecture papers of 10 Nov (23): PDFs scanned, none discloses AI use and none concerns a famous problem"],"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 9–10 Nov beyond those with their own entries","open_since":"","ai_system":["ChatGPT","GPT-6 Astra","GPT-6.1 Sol","Claude Opus 5.5","Codex"],"human_role":"From human-written reports to primarily AI-generated deposits with no human checking","verification":{"key":"lean","label":"Lean-verified","text":"Unrefereed preprints and Hexagon deposits; some Lean"},"status":"pending","shock":"","verified_by":["preprint","lean"],"kind":"batch"},"body_md":"## What happened\n\nThe Hexagon flow kept rising: 65 new deposits on 9–10 Nov, most declared \"Primarily AI-generated\". Well-known contributors now\ninclude Etingof, Mendel, Najman, Zureick-Brown and Milne (whose own deposit is a human-written report on OpenAI's Hodge preprints).\nMany deposits state that results were checked only by other model instances; read each as a claim.","disputed":[{"label":"Verification","text":"Unrefereed preprints and Hexagon deposits; some Lean","sources":[]}],"related":[{"id":"2026-11-09-non-split-cartan-121-two-ai-proofs","url":"https://postcutoff.com/e/2026-11-09-non-split-cartan-121-two-ai-proofs/","date":"2026-11-09","date_precision":"day","short_title":"X_ns+(121): two AI-generated proofs in two days","deck":null,"takeaway":"Arango-Piñeros, Najman and Zureick-Brown (Claude Opus 5.5, GPT-6.1 Sol, GPT-6 Astra) and, separately, Manvir Jaswal (an agent system on Claude Opus 5.5) posted proofs on Hexagon that X_ns+(121) has exactly 7 rational points, all CM. Neither is fully human-checked.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":4,"official":4,"filed":"2026-11-10","updated":"2026-11-10","orgs":["Anthropic","OpenAI","University of Zagreb","UMass Amherst","Amherst College"]},{"id":"2026-11-09-ai-assisted-results-november-9-listing","url":"https://postcutoff.com/e/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":44,"official":44,"filed":"2026-11-09","updated":"2026-11-09","orgs":["OpenAI","Anthropic","Google DeepMind","various researchers"]},{"id":"2026-10-06-hexagon-repository-llm-assisted-math","url":"https://postcutoff.com/e/2026-10-06-hexagon-repository-llm-assisted-math/","date":"2026-10-06","date_precision":"day","short_title":"Hexagon launches: a new arXiv-style repository for LLM-assisted mathematics papers","deck":null,"takeaway":"It is the first dedicated infrastructure for AI-generated mathematics backed by leading mathematicians, and it accepts work that no human claims to understand.","category":"research","category_label":"Research","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":2,"official":2,"filed":"2026-10-07","updated":"2026-10-29","orgs":["Hexagon Mathematics Foundation"]},{"id":"2026-09-24-benjamini-schramm-pc-pu-nonamenable-openai-lean","url":"https://postcutoff.com/e/2026-09-24-benjamini-schramm-pc-pu-nonamenable-openai-lean/","date":"2026-09-24","date_precision":"day","short_title":"Benjamini–Schramm p_c < p_u: OpenAI bond proof in Lean, Claude site form","deck":null,"takeaway":"An openai/math manuscript dated 24 Sep 2026 claims p_c < p_u for bond percolation on every nonamenable quasi-transitive graph, with Comparator-checked Lean statements; on 10 Nov Yan Ru Pei posted a Claude Opus 5.5-assisted extension to site percolation.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":6,"official":4,"filed":"2026-11-10","updated":"2026-11-10","orgs":["OpenAI","Anthropic"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-11-10","type":"filed","text":"Created (science agent; Hexagon API records and provenance, GitHub commit pages)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-11-10","run":null,"sources_read":null,"updated":"2026-11-10","human_review":null,"version":{"date":"2026-11-10"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":194,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":133,"in_training_data":false},{"model_id":"gemini-4-hydrogen","name":"Gemini 4 Hydrogen","cutoff":"2026-03","days_after":224,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":163,"in_training_data":false}],"short_url":null}