{"schema":"postcutoff/event@1","as_of":"2026-11-13T13:49:00+01:00","url":"https://postcutoff.com/e/2026-11-12-ai-assisted-results-november-12-listing/","md":"https://postcutoff.com/e/2026-11-12-ai-assisted-results-november-12-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-12-ai-assisted-results-november-12-listing","date":"2026-11-12","date_precision":"day","short_title":"AI-assisted results, 12 Nov: Hexagon","deck":null,"takeaway":"The largest Hexagon day yet: 94 uncited deposits on 12 Nov, a quarter of them Tejasvi Singh Tomar's Lean-checked bounds on classical constants. Several claim named conjectures (Petty, Marcus–Minc, Kim–Roush, Humphreys, quantum Kazhdan–Lusztig) with little or no human checking; read each as a claim.","category":"science","category_label":"Science & math","importance":2,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"Hexagon 2611.00407: The Wasserstein cost of the Girsanov Theorem","url":"https://hexagonmath.org/abs/2611.00407","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":2,"title":"Hexagon 2611.00405: Domino insertion and cells in type B","url":"https://hexagonmath.org/abs/2611.00405","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":3,"title":"Hexagon 2611.00404: Causal prediction of rare recovery responses and the optimal scale of observation time","url":"https://hexagonmath.org/abs/2611.00404","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":4,"title":"Hexagon 2611.00403: Stability conditions on twisted derived categories I: Existence and full numerical support","url":"https://hexagonmath.org/abs/2611.00403","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":5,"title":"Hexagon 2611.00402: Automorphic realization of Langlands parameters for split groups over global function fields, III. Classical g","url":"https://hexagonmath.org/abs/2611.00402","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":6,"title":"Hexagon 2611.00401: Fixed points of the polar projection body operator and its square","url":"https://hexagonmath.org/abs/2611.00401","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":7,"title":"Hexagon 2611.00400: Isomorphism Loci and Coherence in Equivalence Extension","url":"https://hexagonmath.org/abs/2611.00400","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":8,"title":"Hexagon 2611.00399: Automorphic realization of Langlands parameters for split groups over global function fields, II. The geometri","url":"https://hexagonmath.org/abs/2611.00399","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":9,"title":"Hexagon 2611.00398: Automorphic realization of Langlands parameters for split groups over global function fields, I. Arithmetic fo","url":"https://hexagonmath.org/abs/2611.00398","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":10,"title":"Hexagon 2611.00397: Limit Cycles under Concave Per-Capita Growth","url":"https://hexagonmath.org/abs/2611.00397","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":11,"title":"Hexagon 2611.00396: Quadratic Strictly Positive Real Factors of Stable Transfer Functions","url":"https://hexagonmath.org/abs/2611.00396","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":12,"title":"Hexagon 2611.00395: Certified lower bounds for the first and the signed third autocorrelation constants","url":"https://hexagonmath.org/abs/2611.00395","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":13,"title":"Hexagon 2611.00394: A formal proof in Lean of the finiteness of planar five-body central configurations for all positive masses","url":"https://hexagonmath.org/abs/2611.00394","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":14,"title":"Hexagon 2611.00393: A Lean 4 formalization of the area law for three-dimensional U(1) lattice gauge theory with the Wilson action","url":"https://hexagonmath.org/abs/2611.00393","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":15,"title":"Hexagon 2611.00392: Formal Verification of a Computer-Assisted Proof in Celestial Mechanics","url":"https://hexagonmath.org/abs/2611.00392","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":16,"title":"Hexagon 2611.00391: Sorting networks on 13 inputs need at least 44 comparators","url":"https://hexagonmath.org/abs/2611.00391","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":17,"title":"Hexagon 2611.00390: The 24-cell conjecture in the all-contact case and near D4","url":"https://hexagonmath.org/abs/2611.00390","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":18,"title":"Hexagon 2611.00389: Subplanes of order 3 and maximal arcs in projective planes of order 12","url":"https://hexagonmath.org/abs/2611.00389","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":19,"title":"Hexagon 2611.00388: Which Fine-Grained Lower Bounds Survive the Refutation of 3SUM and APSP?","url":"https://hexagonmath.org/abs/2611.00388","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":20,"title":"Hexagon 2611.00387: On the minimal dimension of range-criterion counterexamples to the PPT² conjecture","url":"https://hexagonmath.org/abs/2611.00387","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":21,"title":"Hexagon 2611.00386: The PPT² conjecture holds for spin-factor maps","url":"https://hexagonmath.org/abs/2611.00386","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":22,"title":"Hexagon 2611.00385: The L¹ Poincaré constant of the Hamming cube","url":"https://hexagonmath.org/abs/2611.00385","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":23,"title":"Hexagon 2611.00383: A thrackle on n vertices has fewer than 4n/3 edges","url":"https://hexagonmath.org/abs/2611.00383","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":24,"title":"Hexagon 2611.00382: A lower bound of 0.8366 for Lebesgue's universal covering problem","url":"https://hexagonmath.org/abs/2611.00382","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":25,"title":"Hexagon 2611.00381: Lower bounds for the Beardwood–Halton–Hammersley constant","url":"https://hexagonmath.org/abs/2611.00381","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":26,"title":"Hexagon 2611.00380: The automorphism group of an extremal [72,36,16] code is trivial","url":"https://hexagonmath.org/abs/2611.00380","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":27,"title":"Hexagon 2611.00379: The Steiner ratio is at least 0.8564","url":"https://hexagonmath.org/abs/2611.00379","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":28,"title":"Hexagon 2611.00378: The number of planar central configurations of four bodies","url":"https://hexagonmath.org/abs/2611.00378","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":29,"title":"Hexagon 2611.00377: Smale's sixth problem for six bodies in the plane: finiteness of central configurations for generic masses, wi","url":"https://hexagonmath.org/abs/2611.00377","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":30,"title":"Hexagon 2611.00376: The kissing numbers in dimensions five and seven are at most 43 and 132","url":"https://hexagonmath.org/abs/2611.00376","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":31,"title":"Hexagon 2611.00375: Local optimality of rank-47 schemes for 4×4 matrix multiplication over F2","url":"https://hexagonmath.org/abs/2611.00375","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":32,"title":"Hexagon 2611.00374: Exact sizes of networks that select the three or four largest of n elements","url":"https://hexagonmath.org/abs/2611.00374","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":33,"title":"Hexagon 2611.00373: Re-proving native_decide facts in Lean's kernel: a study of 16 public packages and a converter","url":"https://hexagonmath.org/abs/2611.00373","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":34,"title":"Hexagon 2611.00372: The rank of 4×4 matrix multiplication over F2 is at least 35","url":"https://hexagonmath.org/abs/2611.00372","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":35,"title":"Hexagon 2611.00371: Certified lower bounds on the optimal-decoding threshold of the surface code","url":"https://hexagonmath.org/abs/2611.00371","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":36,"title":"Hexagon 2611.00327: Entanglement from the Diósi–Penrose Model: An Exact Criterion, and Why It Stays Small at Any Distance","url":"https://hexagonmath.org/abs/2611.00327","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":37,"title":"Hexagon 2611.00370: Euler's 1747 conjecture on sums of integers with restricted prime factors","url":"https://hexagonmath.org/abs/2611.00370","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":38,"title":"Hexagon 2611.00369: Osterwalder–Schrader axioms for scalar QED$_3$ in the Coulomb phase","url":"https://hexagonmath.org/abs/2611.00369","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":39,"title":"Hexagon 2611.00368: Supersymmetric Analysis of a Random Band Matrix at Criticality, Volume I","url":"https://hexagonmath.org/abs/2611.00368","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":40,"title":"Hexagon 2611.00367: Supersymmetric Analysis of a Random Band Matrix at Criticality, Volume II","url":"https://hexagonmath.org/abs/2611.00367","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":41,"title":"Hexagon 2611.00362: Lusztig's Fourier matrix conjecture for finite noncrystallographic Coxeter groups","url":"https://hexagonmath.org/abs/2611.00362","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":42,"title":"Hexagon 2611.00366: Divisors of Mersenne numbers under doubling","url":"https://hexagonmath.org/abs/2611.00366","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":43,"title":"Hexagon 2611.00128: A polynomial-time algorithm to compute Theta functions of Schottky groups","url":"https://hexagonmath.org/abs/2611.00128","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":44,"title":"Hexagon 2611.00330: Explicit Weak abc Inequalities and the Discrete Obstruction to Full abc in the DIC Framework","url":"https://hexagonmath.org/abs/2611.00330","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":45,"title":"Hexagon 2611.00323: Expressiveness, Verifiability, Tractability: Toward a Computational Thermodynamics","url":"https://hexagonmath.org/abs/2611.00323","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":46,"title":"Hexagon 2611.00271: Gysin Sequences in Supergeometry","url":"https://hexagonmath.org/abs/2611.00271","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":47,"title":"Hexagon 2611.00365: The Cranston–Li–Su–Wang–Xu (2026) conjecture is true","url":"https://hexagonmath.org/abs/2611.00365","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":48,"title":"Hexagon 2611.00364: The Humphreys support conjecture","url":"https://hexagonmath.org/abs/2611.00364","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":49,"title":"Hexagon 2611.00363: Bootstrapping GAGA Theorems","url":"https://hexagonmath.org/abs/2611.00363","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":50,"title":"Hexagon 2611.00361: A unimodular continued fraction for cubic irrationals","url":"https://hexagonmath.org/abs/2611.00361","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":51,"title":"Hexagon 2611.00360: A congruence obstruction to Ibn al-Khawwām’s eleventh problem","url":"https://hexagonmath.org/abs/2611.00360","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":52,"title":"Hexagon 2611.00359: Optimal Packing of Eleven Unit Squares: The Formalized Voronoi-Cell Proof","url":"https://hexagonmath.org/abs/2611.00359","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":53,"title":"Hexagon 2611.00358: The independence number of the generalized Johnson graph $J(13,5,3)$","url":"https://hexagonmath.org/abs/2611.00358","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":54,"title":"Hexagon 2611.00357: A Fibonacci Analogue of the Fifteen Theorem","url":"https://hexagonmath.org/abs/2611.00357","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":55,"title":"Hexagon 2611.00356: Finite-length permutation modules forfree-amalgamation structures of arbitrary arity","url":"https://hexagonmath.org/abs/2611.00356","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":56,"title":"Hexagon 2611.00355: The Maximum of $operatorname{per}(I-A)$ in Odd Order","url":"https://hexagonmath.org/abs/2611.00355","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":57,"title":"Hexagon 2611.00354: A counterexample to the Foregger-Sinkhorn tie-point conjecture","url":"https://hexagonmath.org/abs/2611.00354","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":58,"title":"Hexagon 2611.00353: The Maximum Permanent of a Stochastic Matrix of Bounded Rank","url":"https://hexagonmath.org/abs/2611.00353","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":59,"title":"Hexagon 2611.00352: The Marcus-Minc Transform Inequality","url":"https://hexagonmath.org/abs/2611.00352","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":60,"title":"Hexagon 2611.00351: Cross-Energy of Dirichlet Partial Sums. Part 38: The energy of the Chebyshev race: an explicit unconditional f","url":"https://hexagonmath.org/abs/2611.00351","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":61,"title":"Hexagon 2611.00350: Cross-Energy of Dirichlet Partial Sums. Part 37: The $6kpm1$ race: sieve structure, Chebyshev's bias and a GR","url":"https://hexagonmath.org/abs/2611.00350","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":62,"title":"Hexagon 2611.00348: Cross-Energy of Dirichlet Partial Sums. Part 16: How many positive directions does the Archimedean place have?","url":"https://hexagonmath.org/abs/2611.00348","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":63,"title":"Hexagon 2611.00347: Cross-Energy of Dirichlet Partial Sums. Part 10: The Caceres Prime Function. A square-root damped prime weight","url":"https://hexagonmath.org/abs/2611.00347","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":64,"title":"Hexagon 2611.00346: At least one of β(4), β(6), …, β(32) is irrational","url":"https://hexagonmath.org/abs/2611.00346","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":65,"title":"Hexagon 2611.00345: Some positivity properties of Riemann $Xi$ under smoothing","url":"https://hexagonmath.org/abs/2611.00345","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":66,"title":"Hexagon 2611.00344: Exact projector-rank thresholds for state-independent contextuality","url":"https://hexagonmath.org/abs/2611.00344","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":67,"title":"Hexagon 2611.00342: On the structure of countable hyperspaces of regular subcontinua","url":"https://hexagonmath.org/abs/2611.00342","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":68,"title":"Hexagon 2611.00341: An Unconditional Artin-Matthews Theorem For Simultaneous Primitive Roots","url":"https://hexagonmath.org/abs/2611.00341","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":69,"title":"Hexagon 2611.00340: On the local geometry of the tight 39-point code in the octonionic projective plane","url":"https://hexagonmath.org/abs/2611.00340","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":70,"title":"Hexagon 2611.00339: An effective André–Oort theorem for Shimura varieties","url":"https://hexagonmath.org/abs/2611.00339","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":71,"title":"Hexagon 2611.00337: The classic enumeration of genera of even definite lattices","url":"https://hexagonmath.org/abs/2611.00337","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":72,"title":"Hexagon 2611.00336: Irrational even beta values from powered hypergeometric kernels","url":"https://hexagonmath.org/abs/2611.00336","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":73,"title":"Hexagon 2611.00335: Classification of fixed points of the centroid body operator","url":"https://hexagonmath.org/abs/2611.00335","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":74,"title":"Hexagon 2611.00334: Unitary character moments and a zero-free half-plane for unitary Weil L-functions","url":"https://hexagonmath.org/abs/2611.00334","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":75,"title":"Hexagon 2611.00333: The exact diameter of the symmetric group 𝑆𝑛 with LRX generators","url":"https://hexagonmath.org/abs/2611.00333","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":76,"title":"Hexagon 2611.00332: Explicit bounds for odd perfect and quasiperfect numbers","url":"https://hexagonmath.org/abs/2611.00332","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":77,"title":"Hexagon 2611.00331: A proof that $mathbb{Z}$ is Diophantine in $mathbb{Q}$ through congruent-number twists","url":"https://hexagonmath.org/abs/2611.00331","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":78,"title":"Hexagon 2611.00329: Genuinely multipartite bound entanglement of three qubits","url":"https://hexagonmath.org/abs/2611.00329","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":79,"title":"Hexagon 2611.00328: Laurent Phenomenon Algebras on Minuscule Grassmannians and their Mirrors","url":"https://hexagonmath.org/abs/2611.00328","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":80,"title":"Hexagon 2611.00326: Marked-point modules and central nilpotents at roots of unity","url":"https://hexagonmath.org/abs/2611.00326","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":81,"title":"Hexagon 2611.00325: Sharp Ionization Bounds for Helium and Lithium","url":"https://hexagonmath.org/abs/2611.00325","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":82,"title":"Hexagon 2611.00324: Quantum-Information Probes of Collapse Dynamics in Causal Fermion Systems","url":"https://hexagonmath.org/abs/2611.00324","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":83,"title":"Hexagon 2611.00322: The Quantum Kazhdan–Lusztig Conjecture for Quantum Loop Algebras","url":"https://hexagonmath.org/abs/2611.00322","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":84,"title":"Hexagon 2611.00321: Osterwalder–Schrader axioms for scalar QED$_3$ in the Higgs phase","url":"https://hexagonmath.org/abs/2611.00321","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":85,"title":"Hexagon 2611.00320: An Elementary Proof of Fundamental Theorem of Algebra over Rationals","url":"https://hexagonmath.org/abs/2611.00320","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":86,"title":"Hexagon 2611.00318: An Explicit Lower Bound for the Proportion of Isolated Zeros of the Riemann Zeta Function","url":"https://hexagonmath.org/abs/2611.00318","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":87,"title":"Hexagon 2611.00316: Finite-preparation response under heavy-tailed catastrophes: exact amplitudes and separation from Poisson cove","url":"https://hexagonmath.org/abs/2611.00316","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":88,"title":"Hexagon 2611.00315: A boundary limit for Suzuki's arithmetic canonical system","url":"https://hexagonmath.org/abs/2611.00315","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":89,"title":"Hexagon 2611.00314: A superlogarithmic lower bound for deterministic word separation","url":"https://hexagonmath.org/abs/2611.00314","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":90,"title":"Hexagon 2611.00313: An ergodic classification of smooth type subshifts over odd two-letter alphabets","url":"https://hexagonmath.org/abs/2611.00313","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":91,"title":"Hexagon 2611.00312: Periodic counterexamples to three conjectures on Kolakoski transforms","url":"https://hexagonmath.org/abs/2611.00312","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":92,"title":"Hexagon 2611.00311: Nonstabilization of the Predictive Boolean Lookahead Hierarchy","url":"https://hexagonmath.org/abs/2611.00311","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":93,"title":"Hexagon 2611.00310: Joint distribution of factorial units and valuations in translated intervals","url":"https://hexagonmath.org/abs/2611.00310","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":94,"title":"Hexagon 2611.00309: Borel Ruziewicz problem","url":"https://hexagonmath.org/abs/2611.00309","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":95,"title":"Hexagon 2610.00452 (backlog)","url":"https://hexagonmath.org/abs/2610.00452","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":96,"title":"Hexagon 2610.00449 (backlog)","url":"https://hexagonmath.org/abs/2610.00449","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":97,"title":"Hexagon 2610.00448 (backlog)","url":"https://hexagonmath.org/abs/2610.00448","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":98,"title":"Hexagon 2610.00446 (backlog)","url":"https://hexagonmath.org/abs/2610.00446","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":99,"title":"Hexagon 2610.00445 (backlog)","url":"https://hexagonmath.org/abs/2610.00445","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":100,"title":"Hexagon 2610.00443 (backlog)","url":"https://hexagonmath.org/abs/2610.00443","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":101,"title":"Hexagon 2610.00442 (backlog)","url":"https://hexagonmath.org/abs/2610.00442","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":102,"title":"Hexagon 2610.00441 (backlog)","url":"https://hexagonmath.org/abs/2610.00441","type":"paper","group":"primary","domain":"hexagonmath.org"}],"official":102,"filed":"2026-11-12","updated":"2026-11-12","orgs":["OpenAI","Anthropic","various researchers"],"title":"AI-assisted results in the 12 Nov sweep: Petty's polar projection conjecture claimed with AI, helium and lithium ionization bounds via GPT-6 Astra and Pharos, Tomar's Lean-checked kissing, Steiner-ratio and thrackle bounds, a three-part AI Langlands claim, plus 94 Hexagon deposits","summary":"Catalogue of the 94 Hexagon deposits of 12 Nov 2026 that no entry cited, with provenance quoted (Hexagon does not judge correctness). Highlights: Sihan Chen's claimed proof of Petty's polar projection conjecture (\"The final key derivation and ideas were completed by AI\"); sharp ionization bounds for helium (2 electrons) and lithium (4) by Shelley, Yang and Tartakovsky with GPT-6 Astra, Fable 5.2 and Pharos; 25 Tomar deposits with Lean, among them kissing numbers τ₅ ≤ 43 and τ₇ ≤ 132; and a three-paper AI-developed claim that every semisimple elliptic Langlands parameter over a global function field comes from a cusp form.","key_facts":["Petty's polar projection conjecture (Sihan Chen, 2611.00401): in dimension n ≥ 3 the polar projection body is a dilate of K exactly for origin-centred ellipsoids, 'settling Petty's polar projection conjecture', and also the translative constant volume conjecture of Horváth and Lángi; provenance: 'The final key derivation and ideas were completed by AI'; the author 'verified and re-derived' the derivation (ChatGPT GPT-6 Astra). Companion: fixed points of the centroid body operator are exactly origin-centred ellipsoids (2611.00335, GPT-6.1 Sol)","Ionization (Alec Shelley, Charles F. Yang, Daniel M. Tartakovsky, 2611.00325): helium binds at most two electrons and lithium at most four, both sharp; Lieb (1984) proved fewer than 2Z+1, and 'the sharp upper bound has remained unknown for any nucleus other than hydrogen'. Paper: arguments 'drafted with use of gpt-6-astra and fable-5.2, then audited, simplified, and assembled using Pharos' (built on Rethlas), with a main agent and seven proof workers; computer-assisted; human understanding 'some'","Tejasvi Singh Tomar, 25 deposits (2611.00371–00395, each also on Zenodo; mixed text, understanding 'all'; 'Generative AI tools were used to find and prove the results, to write the programs and the formal proofs, and to draft the text'): kissing numbers τ₅ ≤ 43 and τ₇ ≤ 132 (were 44 and 134) from exact Lasserre-hierarchy certificates, also proved in Lean (00376); Steiner ratio ≥ 0.8564 (was 0.8559; Gilbert–Pollak conjecture √3/2 open; 00379); thrackles have at most 4(n−1)/3 edges (was 18(n−1)/13; Conway's conjecture n; 00383); Lebesgue universal covering ≥ 0.8366 (00382); rank of 4×4 matrix multiplication over F₂ ≥ 35 (00372); Smale's sixth problem for six bodies, generic masses, Lean (00377); planar four-body central configuration counts (00378); 24-cell conjecture in two classes (00390); no automorphism of order 2, 3 or 5 for an extremal [72,36,16] code, so its group is trivial (00380); PPT² conjecture for spin-factor maps (00386, 00387); surface-code threshold lower bounds (00371); which fine-grained lower bounds survive the refutation of 3SUM and APSP (00388); also 00373, 00374, 00375, 00381, 00385, 00389, 00391, 00392, 00393, 00394, 00395","Langlands over function fields (Boyang Hu, 2611.00398, 00399, 00402): every semisimple elliptic parameter of a split group over a global function field is the parameter of a cusp form (a converse to V. Lafforgue), for classical groups in all characteristics and exceptional groups above stated bounds; 'The mathematical arguments of the three papers of this series were developed with GPT-6 Astra Pro', rewritten with Claude Fable 5.2 and reviewed 'line by line, by GPT and Claude models'; human understanding 'some'","Qiyue Tang (GPT-6-Pro runs, understanding 'none'): the Humphreys support conjecture for p > h (00364, 98 pages, ~506 minutes of research run), the quantum Kazhdan–Lusztig conjecture for quantum loop algebras (00322), Lusztig's Fourier matrix conjecture for noncrystallographic Coxeter groups (00362, computer-assisted), Bonnafé–Geck–Iancu–Lam conjectures A, A⁺, B on type B cells (00405); Rethlas-OSV reviews 'planned'","Yair Lavi (human understanding 'all'; 'The proof of this conjecture was carried out by GPT-5.6-sol, GPT-6 Astra, and Claude Fable 5, under the guidance of the author'): the Marcus–Minc permanent conjecture (00352), Kim and Roush's 1981 conjecture max per(I−A) = 3·2^(k−2) in odd order (00355), a counterexample to the Foregger–Sinkhorn tie-point conjecture in dimension 8 (00354), his own 2018 conjectures on stochastic matrices of bounded rank (00353)","Other named problems: diameter n(n−1)/2 of the Cayley graph of S_n with LRX generators, 'a conjecture open since at least 2011', proof obtained by an agentic system on GPT-6 Astra (Uskov, Chervov, Levkovich-Maslyuk et al., 00333); Euler's 1747 conjecture on sums of two integers with prime factors ≡ 1 mod 4, Codex (Kohlmeyer et al., 00370); Kominers, a Fibonacci analogue of the Fifteen Theorem, 'GPT-6 Astra identified a key step', Lean (00357); Stanikzai, α(J(13,5,3)) = 33, so χ(R¹²) ≥ 39, Claude Code (00358); optimal packing of eleven unit squares, formalized Voronoi-cell proof, 'The initial proof was generated by Astra' (Manasseh Ahmed, 00359); Venkat, Erdős's Mersenne-divisor doubling ratio ≥ 3 by Opus 5.5 (00366); Kim, ≥ 0.672468 of zeta zeros isolated, understanding 'none' (00318); twinheterodox, at least one of β(4), …, β(32) irrational (00346, 00336, Codex)","Primarily AI-generated, no human understanding: Jaswal's Claude Code research system, an effective André–Oort theorem (00339) and a proof that Z is Diophantine in Q via congruent-number twists (00331); Lopatto, supersymmetric analysis of a critical random band matrix, two volumes 'with GPT 6 Astra, GPT 6.1 Sol, and Claude Opus 5.5' (00367, 00368); MacGregor, tight 39-point code in the octonionic projective plane, Lean (00340); Lewis, genuinely multipartite bound entanglement of three qubits (00329); Slutsky, the Borel Ruziewicz problem, 'obtained by AI agents … Konstantin Slutsky organized the AI agents but claims no mathematical contributions' (00309)","Physics and mixed: Goldstein and Guevara, Osterwalder–Schrader axioms for scalar QED₃ in the Coulomb and Higgs phases, 'generated via agent orchestration' (00369, 00321); Sperzel, Diósi–Penrose entanglement criterion with Claude (00327); Kaminsky, causal fermion systems (00324) and computational thermodynamics (00323); Sra, positivity of Riemann Ξ under smoothing with GPT Pro (00345); Masdeu, polynomial-time theta functions of Schottky groups with Opus 5.5 (00128); Zhirui Li, Bridgeland stability on twisted derived categories, construction 'proposed by ChatGPT 6 Astra' (00403); Coste, Wasserstein cost of Girsanov with a Lean formalization (00407)","Rest (12 Nov): Kohlmeyer et al. Codex/Lean deposits (00310–00315, 00360, 00361), Man Huang (00316, 00404), Zhenyu Sun (00326, 00396, 00397, 00400), Caceres's cross-energy series (00347, 00348, 00350, 00351), Pongrácz (00356), Dutour Sikirić (00337), Vojdanovski's Artin–Matthews theorem via 'OpenAI Astra agents' (00341), Almeida (00342), Venkat contextuality (00344), Gao (00334), Fei (00328), Vega on odd perfect numbers (00332), Goel's Cranston–Li–Su–Wang–Xu conjecture (00365), Zeng's audit of Soulé's abc preprint, 'neither proves nor disproves' abc (00330); human-written: 00271, 00320, 00363","Hexagon backlog (8 lines, Oct 22): Pyle, polynomial algorithm for general d-position in trees, by 'Lyra, an OpenAI-powered AI assistant' (2610.00448, understanding 'none'); Thiery, distinct partial products in prime dihedral groups, toward Graham's rearrangement conjecture, primarily AI (2610.00443); Mislan, counterexamples on absolute concentration robustness with Lean (2610.00441); Rajat Bhattacharjee, a refinement of Lu's elementary prime number theorem, 'none' (2610.00449); Hirayama, vanishing of higher magnitude homology for finite prefix models, a conjecture of Bradley and Vigneaux (2610.00445, Codex for text only); Deep Bhattacharjee with Claude Code (2610.00446); Caceres Part 9 (2610.00452); ELmikdad, a human-written inscribed-square note (2610.00442)"],"key_numbers":[],"tags":["math","physics","hexagon","catalogue","gpt-6-astra","gpt-6-pro","gpt-6-1-sol","claude","codex","lean"],"science":{"field":"mathematics","subfield":"multiple","problem":"See list","result":"Catalogue of Hexagon deposits of 12 Nov beyond those with their own entries","open_since":"","ai_system":["GPT-6 Astra","GPT-6 Pro","GPT-6.1 Sol","Claude Opus 5.5","Claude Fable 5.2","Codex","Pharos"],"human_role":"From human-checked Lean bounds to deposits with no human checking","verification":{"key":"lean","label":"Lean-verified","text":"Unrefereed Hexagon deposits; many with Lean"},"status":"pending","shock":"","verified_by":["preprint","lean"],"kind":"batch"},"body_md":"## What happened\n\nHexagon published 94 works on 12 Nov that no entry cited, its largest single day so far. A quarter came from Tejasvi Singh Tomar,\nwho also posts each on Zenodo with Lean proofs of the computational parts. Several deposits claim named conjectures in\nrepresentation theory, convex geometry and matrix theory; many say no human has checked them. Provenance was read for every work.","disputed":[{"label":"Verification","text":"Unrefereed Hexagon deposits; many with Lean","sources":[]}],"related":[{"id":"2026-11-11-ai-assisted-results-november-11-listing","url":"https://postcutoff.com/e/2026-11-11-ai-assisted-results-november-11-listing/","date":"2026-11-11","date_precision":"day","short_title":"AI-assisted results, 11 Nov: arXiv and Hexagon","deck":null,"takeaway":"Own entries today: Smale's constant = 4 (Goel, Lean), Talagrand's Ultimate Matching Conjecture (GPT-6), the Benson–Etingof–Ostrik conjecture (GPT-6 Astra), large triangles in planar dense sets (GPT-6 Astra Pro) and explicit RIP matrices (GPT-6 Astra). Below: 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":113,"official":113,"filed":"2026-11-12","updated":"2026-11-12","orgs":["OpenAI","Anthropic","various researchers"]},{"id":"2026-11-10-ai-assisted-results-november-10-listing","url":"https://postcutoff.com/e/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":82,"official":82,"filed":"2026-11-10","updated":"2026-11-10","orgs":["OpenAI","Anthropic","various researchers"]},{"id":"2026-10-09-smale-sixth-problem-five-bodies-lean-tomar","url":"https://postcutoff.com/e/2026-10-09-smale-sixth-problem-five-bodies-lean-tomar/","date":"2026-10-09","date_precision":"day","short_title":"Smale's sixth problem claimed for five bodies in the plane","deck":"Finitely many central configurations for all positive masses, AI-found and proved in Lean (Tomar)","takeaway":"An independent researcher claims the planar five-body case of one of Smale's 18 problems for the 21st century, removing the exceptional masses left by Albouy and Kaloshin in 2012. He states that generative AI found and proved the result and wrote the Lean formalization; the paper does not name the models.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":5,"official":5,"filed":"2026-10-12","updated":"2026-10-19","orgs":["independent"]},{"id":"2026-10-06-eleven-square-packing-optimality-lean","url":"https://postcutoff.com/e/2026-10-06-eleven-square-packing-optimality-lean/","date":"2026-10-06","date_precision":"day","short_title":"Walter Trump's 1979 packing of 11 unit squares proved optimal, with a full Lean verification (AI involvement reported, unconfirmed)","deck":null,"takeaway":"It settles a well-known open case in packing theory, widely known from xkcd.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":6,"official":5,"filed":"2026-10-07","updated":"2026-10-13","orgs":["Open-source community"]},{"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-10-05-claude-refutes-3sum-apsp-hypotheses","url":"https://postcutoff.com/e/2026-10-05-claude-refutes-3sum-apsp-hypotheses/","date":"2026-10-05","date_precision":"day","short_title":"Claude discovers an algorithm that refutes the 3SUM and APSP hypotheses","deck":"Truly subquadratic 3SUM and truly subcubic APSP (Alman & Vassilevska Williams, Lean-verified)","takeaway":null,"category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":4,"official":3,"filed":"2026-10-06","updated":"2026-10-13","orgs":["Anthropic","Columbia University","MIT"]},{"id":"2026-09-28-four-body-convex-central-configurations-unique-tomar","url":"https://postcutoff.com/e/2026-09-28-four-body-convex-central-configurations-unique-tomar/","date":"2026-09-28","date_precision":"day","short_title":"Four-body problem: uniqueness of convex central configurations for all masses claimed (Simó–Yoccoz conjecture), AI-found and formalized in Lean (Tomar)","deck":null,"takeaway":"The problem is less famous than Smale's sixth, but it sat on the standard list of open problems in the field for 14 years and had attracted steady partial results.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":3,"official":3,"filed":"2026-10-13","updated":"2026-10-19","orgs":["independent"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-11-12","type":"filed","text":"Created (science agent; Hexagon API records and provenance read for all 94 works, PDFs of the main ones; 8 lines of the October Hexagon backlog)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-11-12","run":null,"sources_read":"Science agent; Hexagon API records and provenance read for all 94 works, PDFs of the main ones; 8 lines of the October Hexagon backlog","updated":"2026-11-12","human_review":null,"version":{"date":"2026-11-12"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":196,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":135,"in_training_data":false},{"model_id":"gemini-4-hydrogen","name":"Gemini 4 Hydrogen","cutoff":"2026-03","days_after":226,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":165,"in_training_data":false}],"short_url":null}