{"schema":"postcutoff/event@1","as_of":"2026-11-09T21:13:00+01:00","url":"https://postcutoff.com/e/2026-11-08-ai-assisted-results-november-8-listing/","md":"https://postcutoff.com/e/2026-11-08-ai-assisted-results-november-8-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-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":[{"n":1,"title":"Hexagon 2611.00191","url":"https://hexagonmath.org/abs/2611.00191","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":2,"title":"Hexagon 2611.00190","url":"https://hexagonmath.org/abs/2611.00190","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":3,"title":"Hexagon 2611.00189","url":"https://hexagonmath.org/abs/2611.00189","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":4,"title":"Hexagon 2611.00188","url":"https://hexagonmath.org/abs/2611.00188","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":5,"title":"Hexagon 2611.00186","url":"https://hexagonmath.org/abs/2611.00186","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":6,"title":"Hexagon 2611.00185","url":"https://hexagonmath.org/abs/2611.00185","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":7,"title":"Hexagon 2611.00184","url":"https://hexagonmath.org/abs/2611.00184","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":8,"title":"Hexagon 2611.00183","url":"https://hexagonmath.org/abs/2611.00183","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":9,"title":"Hexagon 2611.00181","url":"https://hexagonmath.org/abs/2611.00181","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":10,"title":"Hexagon 2611.00180","url":"https://hexagonmath.org/abs/2611.00180","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":11,"title":"Hexagon 2611.00179","url":"https://hexagonmath.org/abs/2611.00179","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":12,"title":"Hexagon 2611.00178","url":"https://hexagonmath.org/abs/2611.00178","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":13,"title":"Hexagon 2611.00176","url":"https://hexagonmath.org/abs/2611.00176","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":14,"title":"Hexagon 2611.00137","url":"https://hexagonmath.org/abs/2611.00137","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":15,"title":"Hexagon 2611.00173","url":"https://hexagonmath.org/abs/2611.00173","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":16,"title":"Hexagon 2611.00172","url":"https://hexagonmath.org/abs/2611.00172","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":17,"title":"Hexagon 2611.00171","url":"https://hexagonmath.org/abs/2611.00171","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":18,"title":"Hexagon 2611.00170","url":"https://hexagonmath.org/abs/2611.00170","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":19,"title":"Hexagon 2611.00169","url":"https://hexagonmath.org/abs/2611.00169","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":20,"title":"Hexagon 2611.00168","url":"https://hexagonmath.org/abs/2611.00168","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":21,"title":"Hexagon 2610.00494","url":"https://hexagonmath.org/abs/2610.00494","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":22,"title":"Hexagon 2610.00493","url":"https://hexagonmath.org/abs/2610.00493","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":23,"title":"Hexagon 2610.00491","url":"https://hexagonmath.org/abs/2610.00491","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":24,"title":"Hexagon 2610.00490","url":"https://hexagonmath.org/abs/2610.00490","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":25,"title":"Hexagon 2610.00489","url":"https://hexagonmath.org/abs/2610.00489","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":26,"title":"Hexagon 2610.00487","url":"https://hexagonmath.org/abs/2610.00487","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":27,"title":"Hexagon 2610.00486","url":"https://hexagonmath.org/abs/2610.00486","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":28,"title":"Hexagon 2610.00485","url":"https://hexagonmath.org/abs/2610.00485","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":29,"title":"arXiv 2611.06917","url":"https://arxiv.org/abs/2611.06917","type":"paper","group":"primary","domain":"arxiv.org"},{"n":30,"title":"arXiv 2611.05430","url":"https://arxiv.org/abs/2611.05430","type":"paper","group":"primary","domain":"arxiv.org"},{"n":31,"title":"arXiv 2611.05452","url":"https://arxiv.org/abs/2611.05452","type":"paper","group":"primary","domain":"arxiv.org"},{"n":32,"title":"arXiv 2611.04283","url":"https://arxiv.org/abs/2611.04283","type":"paper","group":"primary","domain":"arxiv.org"},{"n":33,"title":"arXiv 2611.04599","url":"https://arxiv.org/abs/2611.04599","type":"paper","group":"primary","domain":"arxiv.org"},{"n":34,"title":"arXiv 2611.07400","url":"https://arxiv.org/abs/2611.07400","type":"paper","group":"primary","domain":"arxiv.org"},{"n":35,"title":"arXiv 2611.07369","url":"https://arxiv.org/abs/2611.07369","type":"paper","group":"primary","domain":"arxiv.org"},{"n":36,"title":"arXiv 2611.07678","url":"https://arxiv.org/abs/2611.07678","type":"paper","group":"primary","domain":"arxiv.org"},{"n":37,"title":"arXiv 2611.08253","url":"https://arxiv.org/abs/2611.08253","type":"paper","group":"primary","domain":"arxiv.org"},{"n":38,"title":"arXiv 2611.07981","url":"https://arxiv.org/abs/2611.07981","type":"paper","group":"primary","domain":"arxiv.org"},{"n":39,"title":"arXiv 2611.05300","url":"https://arxiv.org/abs/2611.05300","type":"paper","group":"primary","domain":"arxiv.org"},{"n":40,"title":"arXiv 2611.04862","url":"https://arxiv.org/abs/2611.04862","type":"paper","group":"primary","domain":"arxiv.org"},{"n":41,"title":"arXiv 2611.06616","url":"https://arxiv.org/abs/2611.06616","type":"paper","group":"primary","domain":"arxiv.org"},{"n":42,"title":"arXiv 2611.04377","url":"https://arxiv.org/abs/2611.04377","type":"paper","group":"primary","domain":"arxiv.org"},{"n":43,"title":"arXiv 2611.03879","url":"https://arxiv.org/abs/2611.03879","type":"paper","group":"primary","domain":"arxiv.org"},{"n":44,"title":"arXiv 2611.06699","url":"https://arxiv.org/abs/2611.06699","type":"paper","group":"primary","domain":"arxiv.org"},{"n":45,"title":"arXiv 2611.07567","url":"https://arxiv.org/abs/2611.07567","type":"paper","group":"primary","domain":"arxiv.org"},{"n":46,"title":"arXiv 2611.08429","url":"https://arxiv.org/abs/2611.08429","type":"paper","group":"primary","domain":"arxiv.org"},{"n":47,"title":"arXiv 2611.08404","url":"https://arxiv.org/abs/2611.08404","type":"paper","group":"primary","domain":"arxiv.org"},{"n":48,"title":"arXiv 2611.00629","url":"https://arxiv.org/abs/2611.00629","type":"paper","group":"primary","domain":"arxiv.org"},{"n":49,"title":"arXiv 2611.00868","url":"https://arxiv.org/abs/2611.00868","type":"paper","group":"primary","domain":"arxiv.org"},{"n":50,"title":"arXiv 2611.01561","url":"https://arxiv.org/abs/2611.01561","type":"paper","group":"primary","domain":"arxiv.org"},{"n":51,"title":"arXiv 2611.01980","url":"https://arxiv.org/abs/2611.01980","type":"paper","group":"primary","domain":"arxiv.org"},{"n":52,"title":"arXiv 2611.03334","url":"https://arxiv.org/abs/2611.03334","type":"paper","group":"primary","domain":"arxiv.org"},{"n":53,"title":"arXiv 2611.03452","url":"https://arxiv.org/abs/2611.03452","type":"paper","group":"primary","domain":"arxiv.org"},{"n":54,"title":"arXiv 2611.05795","url":"https://arxiv.org/abs/2611.05795","type":"paper","group":"primary","domain":"arxiv.org"},{"n":55,"title":"arXiv 2611.07661","url":"https://arxiv.org/abs/2611.07661","type":"paper","group":"primary","domain":"arxiv.org"},{"n":56,"title":"arXiv 2611.08356","url":"https://arxiv.org/abs/2611.08356","type":"paper","group":"primary","domain":"arxiv.org"},{"n":57,"title":"arXiv 2611.07365","url":"https://arxiv.org/abs/2611.07365","type":"paper","group":"primary","domain":"arxiv.org"},{"n":58,"title":"arXiv 2611.07460","url":"https://arxiv.org/abs/2611.07460","type":"paper","group":"primary","domain":"arxiv.org"},{"n":59,"title":"arXiv 2611.07336","url":"https://arxiv.org/abs/2611.07336","type":"paper","group":"primary","domain":"arxiv.org"},{"n":60,"title":"arXiv 2611.01004","url":"https://arxiv.org/abs/2611.01004","type":"paper","group":"primary","domain":"arxiv.org"},{"n":61,"title":"google-deepmind/formal-conjectures commit (6 Nov, Erdős 1164)","url":"https://github.com/google-deepmind/formal-conjectures/commit/20a5a5aa8310a6c0be1ee5fb26ffaee747901edf","type":"code","group":"primary","domain":"github.com"}],"official":61,"filed":"2026-11-08","updated":"2026-11-08","orgs":["OpenAI","Anthropic","Google","various researchers"],"title":"AI-assisted results in the 8 Nov sweep: GPT-6-Pro claims on Lusztig positivity (multiplication) and Foregger's permanent conjecture, Claude's Lean proof of Gasull's periodicity problem at every order, a second MUB-6 proof, a fourth Courtade–Kumar proof, plus 20 Hexagon works","summary":"Catalogue of AI-disclosing works from the Hexagon deposits of 7 Nov 2026 and the arXiv papers read on 8 Nov, beyond the items with own entries. AI statements are quoted from Hexagon provenance records or PDFs (Hexagon does not judge correctness); none is refereed. Also: eight lines of the October Hexagon backlog.","key_facts":["Own entries: 2026-11-04-matrix-mortality-2x2-undecidable-codex-claude-lean (arXiv 2611.06562), 2026-11-05-quasiplanar-graphs-linear-edges-chatgpt-6-pach-tardos-zeng (2611.07314), 2026-11-03-d-equivalence-generalized-kummer-chatgpt-6 (2611.04118), 2026-11-07-anthropic-claude-hawking-page-modular-bootstrap-hexagon (Hexagon 2611.00175, 2611.00174)","Qiyue Tang (Tsinghua), GPT-6-Pro sessions of 2–10 hours reviewed by Codex, 'some' human understanding, Rethlas-OSV review 'planned': the multiplication part of Lusztig's positivity conjecture for symmetric Cartan data (2611.00190, a 5 h 46 min session; would be a major result, no expert check); the Lu–Wenzel conjecture (2611.00179); disproof of Xi's conjecture on representation dimension of idempotent corners (2611.00137, 'passed the Rethlas-OSV review'); Conjecture 5.5 of Armstrong-Williams–Hirst–Jackson–Lee (2611.00181); counterexamples to Reading–Stella source–sink recursions (2611.00186); NP/RE-completeness of mutation equivalence (2611.00180); singleton dominance regions (2611.00185)","Gasull's problem on globally periodic rational difference equations answered yes at every order (was known for k ∈ {1,2,3,4,5,7,9,11}); John Rudge (Cambridge Earth Sciences) with Claude Opus 5.5 and Fable 5.1, Lean-formalized: 'almost entirely AI-generated … Human input was mostly limited to encouragement (\"keep going\" etc)'; 'I understand the statement … but not the details' (2611.00183)","Foregger's conjecture (per A ≥ 2^{1−n} for nearly decomposable doubly stochastic matrices) claimed by Yair Lavi with GPT Sol, GPT Astra and Claude Fable; mixed text, all parts human-checked (2611.00169)","L'vov–Kaplansky conjecture, partial cases: standard polynomials in every degree, Y. T. Miah with GPT-6 Pro, which 'contributed substantially to developing the odd- and even-degree mathematical arguments' (2611.00184); multilinear polynomials of degrees 4–6, Shengyong Pan (Beijing Jiaotong), declared human-written (2611.00173)","Other Hexagon 7 Nov: Černý-type reset threshold cubic coefficient 8242/49923 (Shitov's was 8257/49923), 'primarily AI-generated' by Codex, no human understanding (2611.00172, Sungbin Hong, U Tokyo); Subset Sum exponent 0.48758, Jennifer Voitle with Claude Opus 5.5, conditional on OpenAI's and Kapila's written proofs (2611.00178); four exponentials conjecture at CM and Beta periods and a Lean formalization of Waldschmidt's subgroup theorem, Shawn Krisman, 'done by Claude Opus 5.5', no human check (2611.00171, 2611.00170); 'orphan theorem' for perpendicular billiard orbits in rational right triangles, Joshua Boorstein with Claude (2611.00191); two Grothendieck Montpellier-notes results in Lean, Michel Hua with Claude Opus 5/5.5 (2611.00189, 2611.00188); four-cycle supersaturation at q²+q vertices, Codex-revised (2611.00176); positive holomorphic sectional curvature of flag manifolds, alternative proof with ChatGPT, all human-checked (2611.00168)","arXiv, AI credited with content: a second proof that dimension 6 has no four MUBs, by topology of complex Hadamard matrices; 'ChatGPT 6 Astra and Claude Opus 5.5 assisted significantly in developing the proof' (Wuttig, Tindall; 2611.06917; follows OpenAI's family-266 claim); a fourth AI-assisted proof of the Courtade–Kumar conjecture, 'obtained with interactive collaboration with GPT-6 Astra and DeepSeekV4.1-Flash' (Kramer, Saglam; 2611.05430; see 2026-09-21-courtade-kumar-conjecture-proved); Behnezhad and Azarmehr break the 2-approximation barrier for sublinear metric TSP (sublinear.info problem 71), ChatGPT-6 Astra 'played a substantial role in developing parts of the final algorithm' (2611.04283); Kaplansky's four group-ring conjectures fail for torsion-free hyperbolic groups in every positive characteristic, extending OpenAI's constructions (Mghirbi, Douglas; 2611.04599); Fujita's advanced generalised Mukai conjecture, single author, after reading OpenAI's generalised Mukai proof with ChatGPT 6 (Duo Li; 2611.05452); Tarun Grover extends OpenAI's Haldane gap proof to higher dimensions with ChatGPT Astra and Codex (2611.07400)","arXiv, AI found key steps: 'Theorem 1.2 was resolved using GPT-6 Astra with Xean in 13 hours' (all minimum cuts of symmetric submodular functions, 2611.08253); quickest transshipment result 'obtained by using GPT-6 Astra' (2611.07369); robust streaming clustering developed with GPT Astra (2611.07678); Runge–Kutta order barrier and SSP bound, 'AI-assisted proofs' (Gottlieb et al., IBM; 2611.07981); 29-point counterexample to the happy edge conjecture found with ChatGPT-Sol 6.1 (2611.05300); Douglas' conjecture for m-Kronecker quivers with Astra and Fable in Lean (2611.04862); VOA library in Lean with Claude and Codex (2611.06616); Monodromy computation model, AI 'contributed substantially to the conception' (2611.04377); Claude Code pipeline refuting 162,964 and proving 117,390 spectral-graph conjectures, 79,505 Lean-verified (2611.03879); Bergeron's two diagonal-harmonics conjectures with ChatGPT (2611.00629); hypercube noise stability of order 7/8 with GPT-6 Astra (2611.00868); log-concavity criterion with Claude, Codex and GPT-6 Pro (2611.01561); Katok periodic-point counterexamples, GPT-6 for construction details (2611.01980); weighted convolution counterexample, ChatGPT strategies for Theorem 1.2 (2611.03334); parity decision trees with GPT Astra (2611.03452); non-pseudo-arithmetic hyperbolic 4-manifolds with Codex (2611.05795)","arXiv, smaller AI steps: proofs written up by GPT-6 Astra from sketches (2611.07661); ChatGPT 6.1 Sol first draft of §3.2.2 (2611.08429); Claude for drafting and checking proofs (2611.08404); GPT-6 contributed Remark 1.25 (2611.07365); ChatGPT for some proof development (2611.07460); ChatGPT Pro suggested a key connection (2611.07336); proof strategy debugged with GPT-6 Sol, Astra and Claude (2611.08356); ideas developed with ChatGPT for relativistic Vlasov–Poisson (2611.01004); Gyárfás–Sumner polylogarithmic bound is the authors' own, Astra Pro only simplified (2611.06699). The rest of the 352 mention AI only for editing, literature, code or figures, or are about AI","Conjecture papers without AI disclosure (65 listed; ~60 uncited): no famous problem with an AI angle","Repos: google-deepmind/formal-conjectures commits of 6 Nov add statements only (98 OEIS files; Green's Open Problems 68, 70, 75, 87, 93, 97; Erdős 651, 1164, 1166)","Hexagon backlog (8 lines): Deep Bhattacharjee with Claude Code, refutes Brešar et al.'s Conjecture 22 on Grundy domination (2610.00494) and finds his own Geometric Selection Conjecture 'cannot be closed as stated' (2610.00493); Patrick Lopatto, largest gaps of the GOE, 'Proof discovery, verification, and writing were done with GPT 6 Astra, GPT 6.1 Sol, and Claude Opus 5.5' (2610.00491); twisted Haagerup–Izumi VOAs, not fully human-verified (2610.00490); Parthasarathy rank bound tightness, Kimi K3 and Gemini for structuring (2610.00489); Möbius circles of eta terms (2610.00487); heat-evolved Weyl polynomials, no human check (2610.00486); Turán power-sum constant C_42 ≤ 0.6888863712 by AI agents (2610.00485)"],"key_numbers":[],"tags":["math","arxiv","hexagon","catalogue","chatgpt","gpt-6-pro","gpt-6-astra","codex","claude","claude-opus-5-5","lean"],"science":{"field":"mathematics","subfield":"multiple","problem":"See list","result":"Catalogue of AI-disclosing works of 7–8 Nov beyond those with their own entries","open_since":"","ai_system":["ChatGPT","GPT-6 Astra","GPT-6 Pro","Codex","Claude Opus 5.5","Claude Fable","DeepSeek"],"human_role":"From human proofs with AI help to fully AI-generated deposits with no human checking","verification":{"key":"lean","label":"Lean-verified","text":"Unrefereed preprints and Hexagon deposits"},"status":"pending","shock":"","verified_by":["preprint","lean"],"kind":"batch"},"body_md":"## What happened\n\nDaily catalogue; see key facts. The Lusztig positivity claim (2611.00190) would be notable if it holds, but it comes from a\ncontributor who posts many fast GPT-6-Pro results with \"some\" human understanding and no expert review. It stays here until\nsomeone checks it.","disputed":[{"label":"Verification","text":"Unrefereed preprints and Hexagon deposits","sources":[]}],"related":[{"id":"2026-11-07-ai-assisted-results-november-7-listing","url":"https://postcutoff.com/e/2026-11-07-ai-assisted-results-november-7-listing/","date":"2026-11-07","date_precision":"day","short_title":"AI-assisted results, 7 Nov: Hexagon of 6 Nov and arXiv","deck":null,"takeaway":"The 7 Nov sweep listed 35 uncited Hexagon works of 6 Nov and 200 arXiv papers of the latest announcement mentioning AI. Own entries: Axiom's Lean proofs of the Weil conjectures and the Stacks Project, and the unforced Navier–Stokes non-uniqueness deposit.","category":"science","category_label":"Science & math","importance":2,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":65,"official":64,"filed":"2026-11-07","updated":"2026-11-07","orgs":["OpenAI","Anthropic","Google","various researchers"]},{"id":"2026-09-21-courtade-kumar-conjecture-proved","url":"https://postcutoff.com/e/2026-09-21-courtade-kumar-conjecture-proved/","date":"2026-09-21","date_precision":"day","short_title":"Courtade–Kumar 'most informative Boolean function' conjecture (2013) proved three times in two days, all with AI: Ky & Tran (ChatGPT), Google + CUHK (Gemini, Lean-verified end-to-end), Mahdavifar & Beirami","deck":null,"takeaway":"A central 2013 conjecture of information theory, that one input bit (a dictator) keeps the most information through noise, fell to three independent proofs on 21–22 Sep 2026. All three teams disclose AI help; Google's 250-page proof says 'the overwhelming majority of the novel ideas' came from AI and is checked end-to-end in Lean.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":8,"official":6,"filed":"2026-10-09","updated":"2026-10-13","orgs":["Google","Chinese University of Hong Kong","FPT University","OpenAI"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-11-08","type":"filed","text":"Created (science agent; arXiv; Hexagon backlog lines 2610.00485–00494)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-11-08","run":null,"sources_read":null,"updated":"2026-11-08","human_review":null,"version":{"date":"2026-11-08"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":192,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":131,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":222,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":161,"in_training_data":false}],"short_url":null}