{"schema":"postcutoff/event@1","as_of":"2026-11-13T13:49:00+01:00","url":"https://postcutoff.com/e/2026-11-11-ai-assisted-results-november-11-listing/","md":"https://postcutoff.com/e/2026-11-11-ai-assisted-results-november-11-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-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":[{"n":1,"title":"Hexagon 2611.00306: Smale's mean value constant (1981) exceeds 1.1559, and other miscellanea","url":"https://hexagonmath.org/abs/2611.00306","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":2,"title":"Hexagon 2611.00305: Cayley graphs of abelian groups and their quantum symmetries","url":"https://hexagonmath.org/abs/2611.00305","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":3,"title":"Hexagon 2611.00304: Singular perpendicular orbits and complete periodicity in rational triangles","url":"https://hexagonmath.org/abs/2611.00304","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":4,"title":"Hexagon 2611.00303: Non-perpendicular periodic orbits in mirror directions of right triangles","url":"https://hexagonmath.org/abs/2611.00303","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":5,"title":"Hexagon 2611.00300: Integral torus partition functions just above c=1 have no fixed spectral gap","url":"https://hexagonmath.org/abs/2611.00300","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":6,"title":"Hexagon 2611.00299: The Daugavet Property of Bidual Spaces","url":"https://hexagonmath.org/abs/2611.00299","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":7,"title":"Hexagon 2611.00298: The Wang Transform Inequality","url":"https://hexagonmath.org/abs/2611.00298","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":8,"title":"Hexagon 2611.00297: A linear gap for the maximal cp-rank","url":"https://hexagonmath.org/abs/2611.00297","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":9,"title":"Hexagon 2611.00296: The Maximum Diagonal Product of a Stochastic Matrix of Bounded Rank","url":"https://hexagonmath.org/abs/2611.00296","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":10,"title":"Hexagon 2611.00295: Notes on Wasserstein distance and the JT gravitational ensemble","url":"https://hexagonmath.org/abs/2611.00295","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":11,"title":"Hexagon 2611.00292: Energy complexity and dissipation of noisy consensus","url":"https://hexagonmath.org/abs/2611.00292","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":12,"title":"Hexagon 2611.00291: Closing the identification step in the GFF limit: Uniqueness of the zero-slope six-vertex phase for −1 ≤ Δ < 1","url":"https://hexagonmath.org/abs/2611.00291","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":13,"title":"Hexagon 2611.00290: Stochastic Connections on Surface Bundles","url":"https://hexagonmath.org/abs/2611.00290","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":14,"title":"Hexagon 2611.00289: Positivity for Weighted Linear Laurent Phenomenon Algebras","url":"https://hexagonmath.org/abs/2611.00289","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":15,"title":"Hexagon 2611.00288: Broué's Abelian Defect Group Conjecture for 2-Blocks","url":"https://hexagonmath.org/abs/2611.00288","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":16,"title":"Hexagon 2611.00287: Higher Galois Recognition and Parameter Descent","url":"https://hexagonmath.org/abs/2611.00287","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":17,"title":"Hexagon 2611.00286: A Michael Space in the Laver model","url":"https://hexagonmath.org/abs/2611.00286","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":18,"title":"Hexagon 2611.00285: Watkins's Conjecture for Elliptic Curves with Rational Two-Torsion","url":"https://hexagonmath.org/abs/2611.00285","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":19,"title":"Hexagon 2611.00284: Positive bases and polytopes for Laurent phenomenon algebras","url":"https://hexagonmath.org/abs/2611.00284","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":20,"title":"Hexagon 2611.00281: The 51-state beeper $M_{51}$: every battle ends, and what Peano Arithmetic can prove about it","url":"https://hexagonmath.org/abs/2611.00281","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":21,"title":"Hexagon 2611.00280: COUNTABLY INFINITE-DIMENSIONAL SPACES OF CRYSTALLINE MEASURES","url":"https://hexagonmath.org/abs/2611.00280","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":22,"title":"Hexagon 2611.00279: Another proof of quantum Laurent positivity, II","url":"https://hexagonmath.org/abs/2611.00279","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":23,"title":"Hexagon 2611.00278: Twisted conjugacy in spherical Artin groups and their crystallographic quotients","url":"https://hexagonmath.org/abs/2611.00278","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":24,"title":"Hexagon 2611.00277: Smooth functions with isolated critical values and systems of fibers","url":"https://hexagonmath.org/abs/2611.00277","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":25,"title":"Hexagon 2611.00182: The Exact Second Order Term In Ramanujan's Bound For $sigma(n)/n$","url":"https://hexagonmath.org/abs/2611.00182","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":26,"title":"Hexagon 2611.00276: Definability and Lifting in Model Subgroupoids","url":"https://hexagonmath.org/abs/2611.00276","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":27,"title":"Hexagon 2611.00275: The Schur-Siegel-Smyth trace problem: the lower bound 1.8022246","url":"https://hexagonmath.org/abs/2611.00275","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":28,"title":"Hexagon 2611.00274: Ideal generation for general reduced projective points","url":"https://hexagonmath.org/abs/2611.00274","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":29,"title":"Hexagon 2611.00273: An exact moment criterion for survival under renewed spatial catastrophes","url":"https://hexagonmath.org/abs/2611.00273","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":30,"title":"Hexagon 2611.00270: Quartic exponential matching in the unit square","url":"https://hexagonmath.org/abs/2611.00270","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":31,"title":"Hexagon 2611.00269: Sublinear-space recognition for Boolean grammars","url":"https://hexagonmath.org/abs/2611.00269","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":32,"title":"Hexagon 2611.00268: Palindromic sections in two Kolakoski phase actions","url":"https://hexagonmath.org/abs/2611.00268","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":33,"title":"Hexagon 2611.00267: Two exact frequency extrema for smooth sequences over {1,3}","url":"https://hexagonmath.org/abs/2611.00267","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":34,"title":"Hexagon 2611.00266: A Counterexample to the Subtraction-Free Conjecture for Bounded Ratios of Minors","url":"https://hexagonmath.org/abs/2611.00266","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":35,"title":"Hexagon 2611.00265: Irrationality of χ₂ and Ti₂ at units of real quadratic fields","url":"https://hexagonmath.org/abs/2611.00265","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":36,"title":"arXiv 2611.14475: Explicit restricted isometries with k = m^(2/3−o(1)) (Kümmerle, Mixon)","url":"https://arxiv.org/abs/2611.14475","type":"paper","group":"primary","domain":"arxiv.org"},{"n":37,"title":"arXiv 2611.14410: Stationary integral cycles asymptotic to a pair of transverse oriented n-planes","url":"https://arxiv.org/abs/2611.14410","type":"paper","group":"primary","domain":"arxiv.org"},{"n":38,"title":"arXiv 2611.14045: Mixed-integer dual network problems are solvable in strongly polynomial time (Zambelli)","url":"https://arxiv.org/abs/2611.14045","type":"paper","group":"primary","domain":"arxiv.org"},{"n":39,"title":"arXiv 2611.13397: The optimal constant for one-shot channel simulation","url":"https://arxiv.org/abs/2611.13397","type":"paper","group":"primary","domain":"arxiv.org"},{"n":40,"title":"arXiv 2611.14386: Topology of some linear systems of hyperelliptic curves in Hirzebruch surfaces","url":"https://arxiv.org/abs/2611.14386","type":"paper","group":"primary","domain":"arxiv.org"},{"n":41,"title":"arXiv 2611.13226: Unilluminable rooms: minimal examples, classifications and exceptions","url":"https://arxiv.org/abs/2611.13226","type":"paper","group":"primary","domain":"arxiv.org"},{"n":42,"title":"arXiv 2611.13068: The supercritical Ten Martini problem (Ge, Jitomirskaya, You)","url":"https://arxiv.org/abs/2611.13068","type":"paper","group":"primary","domain":"arxiv.org"},{"n":43,"title":"arXiv 2611.14409: Regularity of Q-valued C^1 harmonic functions","url":"https://arxiv.org/abs/2611.14409","type":"paper","group":"primary","domain":"arxiv.org"},{"n":44,"title":"arXiv 2611.14402: Canonical volumes of threefolds with positive geometric genus","url":"https://arxiv.org/abs/2611.14402","type":"paper","group":"primary","domain":"arxiv.org"},{"n":45,"title":"arXiv 2611.13889: E-symmetric algebras II","url":"https://arxiv.org/abs/2611.13889","type":"paper","group":"primary","domain":"arxiv.org"},{"n":46,"title":"arXiv 2611.14302: Anosov representations from cyclic Higgs bundles","url":"https://arxiv.org/abs/2611.14302","type":"paper","group":"primary","domain":"arxiv.org"},{"n":47,"title":"arXiv 2611.14464: Progression-free sets in class 2 and arbitrary finite groups","url":"https://arxiv.org/abs/2611.14464","type":"paper","group":"primary","domain":"arxiv.org"},{"n":48,"title":"arXiv 2611.13571: Improved bounds for online matching with random edge arrivals","url":"https://arxiv.org/abs/2611.13571","type":"paper","group":"primary","domain":"arxiv.org"},{"n":49,"title":"arXiv 2611.14014: When do all iterates of x^2 + a have maximal Galois group? (Stoll)","url":"https://arxiv.org/abs/2611.14014","type":"paper","group":"primary","domain":"arxiv.org"},{"n":50,"title":"arXiv 2611.13846: Optimal last-iterate bounds for nonexpansive stochastic approximation","url":"https://arxiv.org/abs/2611.13846","type":"paper","group":"primary","domain":"arxiv.org"},{"n":51,"title":"arXiv 2611.13380: Positive codegree density of suspensions of graphs","url":"https://arxiv.org/abs/2611.13380","type":"paper","group":"primary","domain":"arxiv.org"},{"n":52,"title":"arXiv 2611.13608: Triangles without a common vertex","url":"https://arxiv.org/abs/2611.13608","type":"paper","group":"primary","domain":"arxiv.org"},{"n":53,"title":"arXiv 2611.13278: On the number of zeros of polyanalytic polynomials","url":"https://arxiv.org/abs/2611.13278","type":"paper","group":"primary","domain":"arxiv.org"},{"n":54,"title":"arXiv 2611.14215: Scattering of water waves in presence of a partially immersed obstacle","url":"https://arxiv.org/abs/2611.14215","type":"paper","group":"primary","domain":"arxiv.org"},{"n":55,"title":"arXiv 2611.14400: The strongly local part of nonlinear Dirichlet structures","url":"https://arxiv.org/abs/2611.14400","type":"paper","group":"primary","domain":"arxiv.org"},{"n":56,"title":"arXiv 2611.13809: Uniqueness of generalized conformal restriction measures","url":"https://arxiv.org/abs/2611.13809","type":"paper","group":"primary","domain":"arxiv.org"},{"n":57,"title":"arXiv 2611.14490: Automatic continuity for projective clone homomorphisms","url":"https://arxiv.org/abs/2611.14490","type":"paper","group":"primary","domain":"arxiv.org"},{"n":58,"title":"arXiv 2611.13261: Expiscating the black hole singularity in holography","url":"https://arxiv.org/abs/2611.13261","type":"paper","group":"primary","domain":"arxiv.org"},{"n":59,"title":"arXiv 2611.12907: 51 additions per recursive step for rank-23 3×3 matrix multiplication","url":"https://arxiv.org/abs/2611.12907","type":"paper","group":"primary","domain":"arxiv.org"},{"n":60,"title":"arXiv 2611.13750: List update with per-page maximum delay","url":"https://arxiv.org/abs/2611.13750","type":"paper","group":"primary","domain":"arxiv.org"},{"n":61,"title":"arXiv 2611.13394: Edge-coloring spectra of odd-fold graph covers and counterexamples to a conjecture","url":"https://arxiv.org/abs/2611.13394","type":"paper","group":"primary","domain":"arxiv.org"},{"n":62,"title":"arXiv 2611.13697: Gödel's incompleteness theorems in grounded arithmetic","url":"https://arxiv.org/abs/2611.13697","type":"paper","group":"primary","domain":"arxiv.org"},{"n":63,"title":"arXiv 2611.14137: Integrability of the horizontal mean curvature near characteristic points in the Heisenberg group","url":"https://arxiv.org/abs/2611.14137","type":"paper","group":"primary","domain":"arxiv.org"},{"n":64,"title":"arXiv 2611.14234: LLM-assisted advances in the ropelength problem (Klotz)","url":"https://arxiv.org/abs/2611.14234","type":"paper","group":"primary","domain":"arxiv.org"},{"n":65,"title":"arXiv 2611.13461: A proof of the constant-width numerical range conjecture","url":"https://arxiv.org/abs/2611.13461","type":"paper","group":"primary","domain":"arxiv.org"},{"n":66,"title":"arXiv 2611.13698: The proof of the Alon–Kim conjecture","url":"https://arxiv.org/abs/2611.13698","type":"paper","group":"primary","domain":"arxiv.org"},{"n":67,"title":"arXiv 2611.14056: A resolution of the Erdős similarity problem in the large (Yip)","url":"https://arxiv.org/abs/2611.14056","type":"paper","group":"primary","domain":"arxiv.org"},{"n":68,"title":"arXiv 2611.13604: A counterexample to the Erdős–Mahler conjecture (Marques)","url":"https://arxiv.org/abs/2611.13604","type":"paper","group":"primary","domain":"arxiv.org"},{"n":69,"title":"arXiv 2611.14167: The exponent 3/4 for the exceptional sets of K/n = 1/x + 1/y + 1/z","url":"https://arxiv.org/abs/2611.14167","type":"paper","group":"primary","domain":"arxiv.org"},{"n":70,"title":"arXiv 2611.14181: Counterexample to the strong union of uniform closed balls conjecture","url":"https://arxiv.org/abs/2611.14181","type":"paper","group":"primary","domain":"arxiv.org"},{"n":71,"title":"arXiv 2611.14367: No 13-vertex triangulation of the three-torus","url":"https://arxiv.org/abs/2611.14367","type":"paper","group":"primary","domain":"arxiv.org"},{"n":72,"title":"arXiv 2611.13155: The Q-gonality of X_1(42) is 12","url":"https://arxiv.org/abs/2611.13155","type":"paper","group":"primary","domain":"arxiv.org"},{"n":73,"title":"arXiv 2611.13305: Every hyperbolic knot has an arc-faithful closed braid diagram","url":"https://arxiv.org/abs/2611.13305","type":"paper","group":"primary","domain":"arxiv.org"},{"n":74,"title":"arXiv 2611.14337: Ramification of torsion packets on curves with good-reduction Jacobians","url":"https://arxiv.org/abs/2611.14337","type":"paper","group":"primary","domain":"arxiv.org"},{"n":75,"title":"arXiv 2611.13584: Exact (non-)accelerations of heavy-ball discretizations","url":"https://arxiv.org/abs/2611.13584","type":"paper","group":"primary","domain":"arxiv.org"},{"n":76,"title":"arXiv 2611.13789: On the proof of Falconer distance conjecture","url":"https://arxiv.org/abs/2611.13789","type":"paper","group":"primary","domain":"arxiv.org"},{"n":77,"title":"arXiv 2611.14194: Small sparse induced-universal graphs for minor-closed classes","url":"https://arxiv.org/abs/2611.14194","type":"paper","group":"primary","domain":"arxiv.org"},{"n":78,"title":"arXiv 2611.12948: The four-model Scott complexity spectrum: F(4)=8","url":"https://arxiv.org/abs/2611.12948","type":"paper","group":"primary","domain":"arxiv.org"},{"n":79,"title":"formal-conjectures #7780: Erdős 1033 Palomar formal proof link","url":"https://github.com/google-deepmind/formal-conjectures/commit/b76eef5f6443d95cebf9f09716bc3474266fc528","type":"code","group":"primary","domain":"github.com"},{"n":80,"title":"formal-conjectures #7753: Erdős 657 Palomar formal proof link","url":"https://github.com/google-deepmind/formal-conjectures/commit/a7b29ebdb0b816467805e4421e0d2c172a718fb7","type":"code","group":"primary","domain":"github.com"},{"n":81,"title":"formal-conjectures #7761: Erdős 882 Isabelle proof link","url":"https://github.com/google-deepmind/formal-conjectures/commit/151f24a93d5b276ee07c3320ee6703fede8edeb1","type":"code","group":"primary","domain":"github.com"},{"n":82,"title":"formal-conjectures #7896: infinitely many integral Diophantine 4-tuples","url":"https://github.com/google-deepmind/formal-conjectures/commit/da703a5f239f734a47ede2f4e99b9ccc9e644cb5","type":"code","group":"primary","domain":"github.com"},{"n":83,"title":"formal-conjectures #7908: OEIS A87719 a_exists","url":"https://github.com/google-deepmind/formal-conjectures/commit/0e955c38239aa5b746b0c6f9edb30806ef9c7fa3","type":"code","group":"primary","domain":"github.com"},{"n":84,"title":"formal-conjectures #7894: Erdős 983 le_primeCounting","url":"https://github.com/google-deepmind/formal-conjectures/commit/481e61e870cb9f023794083070c7023229c4c069","type":"code","group":"primary","domain":"github.com"},{"n":85,"title":"formal-conjectures #7810: Green 29 restated","url":"https://github.com/google-deepmind/formal-conjectures/commit/9b214fa11c8c62742255bd28bf891938c8f1ae71","type":"code","group":"primary","domain":"github.com"},{"n":86,"title":"formal-conjectures #6424: ambidextrous moving sofa conjecture stated","url":"https://github.com/google-deepmind/formal-conjectures/commit/691719db2653905d5fa0775408370fb058e4c59f","type":"code","group":"primary","domain":"github.com"},{"n":87,"title":"formal-conjectures #7703: Erdős 739 added","url":"https://github.com/google-deepmind/formal-conjectures/commit/a425ca3eb797fe927cb88c950565fdcbbbbada70","type":"code","group":"primary","domain":"github.com"},{"n":88,"title":"formal-conjectures #7682: Erdős 297 added","url":"https://github.com/google-deepmind/formal-conjectures/commit/4eedb568cd9e3da93eeff8a0b63910bd3738194e","type":"code","group":"primary","domain":"github.com"},{"n":89,"title":"formal-conjectures #7801: Erdős 1129 and 1130 added","url":"https://github.com/google-deepmind/formal-conjectures/commit/e4e4a9b0b6031c663a293de43a0f29a379ae03e0","type":"code","group":"primary","domain":"github.com"},{"n":90,"title":"formal-conjectures #7872: Green 86 added","url":"https://github.com/google-deepmind/formal-conjectures/commit/8c108542a49be4a531c398d70bbe6e378bbb366c","type":"code","group":"primary","domain":"github.com"},{"n":91,"title":"formal-conjectures #7873: Green 91 added","url":"https://github.com/google-deepmind/formal-conjectures/commit/cdfc0d2b873ea1aee71beaa6d8d8208b8bce2bf1","type":"code","group":"primary","domain":"github.com"},{"n":92,"title":"formal-conjectures #7874: Green 92 added","url":"https://github.com/google-deepmind/formal-conjectures/commit/ae336f5ae0b65e01bc4223fc8d6d8eb79898b0d6","type":"code","group":"primary","domain":"github.com"},{"n":93,"title":"formal-conjectures #7875: Green 95 added","url":"https://github.com/google-deepmind/formal-conjectures/commit/9703e08a199b511f3137290687f3b5c32553c776","type":"code","group":"primary","domain":"github.com"},{"n":94,"title":"formal-conjectures #7867: Green 17 added","url":"https://github.com/google-deepmind/formal-conjectures/commit/0abebcf35a52b93a67293bbe2f0212ee53bf5f3b","type":"code","group":"primary","domain":"github.com"},{"n":95,"title":"formal-conjectures #7868: Green 59 added","url":"https://github.com/google-deepmind/formal-conjectures/commit/55b7c740d427d45915dce65d2d22c49824d45714","type":"code","group":"primary","domain":"github.com"},{"n":96,"title":"formal-conjectures #7869: Green 69 added","url":"https://github.com/google-deepmind/formal-conjectures/commit/02fc58a9cdb7446c8000df4975e750166bec792e","type":"code","group":"primary","domain":"github.com"},{"n":97,"title":"formal-conjectures #7870: Green 74 added","url":"https://github.com/google-deepmind/formal-conjectures/commit/bcdcfb66124d9709fcfd28a1fe903a9bc16e04f3","type":"code","group":"primary","domain":"github.com"},{"n":98,"title":"formal-conjectures #7871: Green 84 added","url":"https://github.com/google-deepmind/formal-conjectures/commit/6ed03d80e19ab6e1d7ab98e95504083971e8ed1d","type":"code","group":"primary","domain":"github.com"},{"n":99,"title":"formal-conjectures #7876: Green 100 added","url":"https://github.com/google-deepmind/formal-conjectures/commit/17cfc4c8c5bb948864d2a4698e4d397b40764eee","type":"code","group":"primary","domain":"github.com"},{"n":100,"title":"formal-conjectures #7687: Erdős 1132 added","url":"https://github.com/google-deepmind/formal-conjectures/commit/1c24583ea073e86bd5031907bcbbd7ea1ca70d70","type":"code","group":"primary","domain":"github.com"},{"n":101,"title":"formal-conjectures #7693: Erdős 1042 added","url":"https://github.com/google-deepmind/formal-conjectures/commit/e6fd15240d5e8913202c6f87103a5a53c45c443e","type":"code","group":"primary","domain":"github.com"},{"n":102,"title":"formal-conjectures #7786: Erdős 963 greedy bound","url":"https://github.com/google-deepmind/formal-conjectures/commit/d16f03e137d2500851930512c3f2d43ef5734279","type":"code","group":"primary","domain":"github.com"},{"n":103,"title":"formal-conjectures #7812: Pittel stable-matching conjecture stated","url":"https://github.com/google-deepmind/formal-conjectures/commit/e6590dcf0bb6341cabaf3ecfad882b3c312376c7","type":"code","group":"primary","domain":"github.com"},{"n":104,"title":"formal-conjectures #7807: Erdős 143 part (i) true","url":"https://github.com/google-deepmind/formal-conjectures/commit/f80a76e9896b8288affb32b76a20f24ef22de05a","type":"code","group":"primary","domain":"github.com"},{"n":105,"title":"formal-conjectures #7818: Irving–Leather conjectures formalized","url":"https://github.com/google-deepmind/formal-conjectures/commit/ce0aa51e45ec43756f86892a0b8627442cd80db6","type":"code","group":"primary","domain":"github.com"},{"n":106,"title":"formal-conjectures #7659: Erdős 835 composite case links","url":"https://github.com/google-deepmind/formal-conjectures/commit/152f536215ea750a98cefc88f504de6d6a3ba5c1","type":"code","group":"primary","domain":"github.com"},{"n":107,"title":"oai-math-revised: revert #75 (BFSS follow-up link)","url":"https://github.com/mathcommunity/oai-math-revised/commit/b09268c38ae90b1d2aabb6ef7adef1b058b976fe","type":"code","group":"primary","domain":"github.com"},{"n":108,"title":"oai-math-revised: revert BFSS NOTES.md PR link","url":"https://github.com/mathcommunity/oai-math-revised/commit/314b8fdd1a0c0c9ff83f7ac547a176dc48acb360","type":"code","group":"primary","domain":"github.com"},{"n":109,"title":"oai-math-revised: revert #77 (BFSS Lean package)","url":"https://github.com/mathcommunity/oai-math-revised/commit/f10e834a66421c4c38970a68e3653ba5aa071ca2","type":"code","group":"primary","domain":"github.com"},{"n":110,"title":"oai-math-revised: add PR link to BFSS SU(2) NOTES.md","url":"https://github.com/mathcommunity/oai-math-revised/commit/88960a2f65362ca2179818b6a5d470292f492345","type":"code","group":"primary","domain":"github.com"},{"n":111,"title":"AxiomMath/Mordell: Lean 4 formalization of Faltings' theorem","url":"https://github.com/AxiomMath/Mordell","type":"code","group":"primary","domain":"github.com"},{"n":112,"title":"AxiomMath/SupersingularCongruences","url":"https://github.com/AxiomMath/SupersingularCongruences","type":"code","group":"primary","domain":"github.com"},{"n":113,"title":"google-deepmind/xyeval","url":"https://github.com/google-deepmind/xyeval","type":"code","group":"primary","domain":"github.com"}],"official":113,"filed":"2026-11-12","updated":"2026-11-12","orgs":["OpenAI","Anthropic","various researchers"],"title":"AI-assisted results in the 11 Nov sweep: a GPT-6.1 key idea for Ten Martini's supercritical case, a GPT-6 Astra one-shot RIP theorem, ChatGPT-found ideas for hyperelliptic linear systems, Stoll's Lean-checked Galois iterates with Claude, plus 35 Hexagon deposits and the 10–11 Nov arXiv listing","summary":"Catalogue of AI-disclosing works from the Hexagon deposits of 11 Nov 2026 (40 new, five with their own entries), the arXiv listing announced 11–12 Nov (about 200 new papers mentioning AI; those where AI found results are quoted), the 27 new arXiv papers claiming conjectures without an AI disclosure, and the 9–12 Nov commits to google-deepmind/formal-conjectures and mathcommunity/oai-math-revised. Statements are quoted from Hexagon provenance records (Hexagon does not judge correctness) or PDFs.","key_facts":["Own entries: 2026-11-11-smale-mean-value-constant-equals-4-goel-lean (2611.00282, 00283; 00306 is the same author's 1.1559 update), 2026-11-11-talagrand-ultimate-matching-conjecture-gpt-6 (2611.00294), 2026-11-11-benson-etingof-ostrik-conjecture-gpt-6-astra (2611.00301), 2026-11-11-triangles-positive-density-plane-gpt-6-astra-pro (2611.00302), 2026-11-10-explicit-rip-matrices-two-thirds-gpt-6-astra (arXiv 2611.14475); Falconer rewrite (arXiv 2611.13789) added to 2026-10-06-openai-falconer-distance-conjecture-lean","Hexagon 11 Nov, primarily AI-generated with named experts: Qiyue Tang's GPT-6-Pro runs claim Broué's abelian defect group conjecture for 2-blocks (2611.00288; '13 rounds … approximately 90.8 hours'; v2 says a Rethlas-OSV review 'reported no mathematical issues'; human understanding 'none'), Watkins's conjecture for curves with rational 2-torsion (00285, 'none'), plus Laurent-phenomenon positivity (00279, 00284, 00289) and a counterexample to Boocher–Froehle's subtraction-free conjecture (00266)","More Hexagon 11 Nov: Morgan Jones, a Michael space in the Laver model, 'Claude Fable 5.2 was given the statement of the conjecture … I have not attached my name onto the paper because I didn't do anything' (00286); Tzu Chen Huang, torus partition functions just above c = 1 have no fixed spectral gap, proof 'developed by GPT-6 Astra', checked by five Claude Fable 5.2 referee passes (00300); Yan Ru Pei, Claude agents found a gap in an OpenAI six-vertex manuscript's identification step and a Fable agent proved the missing uniqueness theorem (00291); Annanay Kapila, a 51-state beeping Turing machine whose quasihalting is independent of Peano Arithmetic, with a Rocq-checked simulation theorem (00281)","More Hexagon 11 Nov: Jason Davies, R∞ for crystallographic quotients of spherical Artin groups, Claude Opus 5.5 and GPT-6 Astra with a Lean proof of part of it ('no sorry and no native_decide'; 00278); Jamie Martin, Meyer's question on crystalline measures (countably infinite Hamel dimension; 00280; understanding 'none'); David Niedbala Giraudin, Schur–Siegel–Smyth trace bound 1.8022246 with a ball-arithmetic certificate (00275); Shawn Krisman, irrationality of χ₂ at units of real quadratic fields, e.g. π² − 18 log²φ (00265, Claude Opus 5.5, 'none'); Vlado Vojdanovski, the Ideal Generation Conjecture for general reduced points, 'guided exploration by Open AI Astra agents' (00274); Jacob Crim, the exact second-order term in Ramanujan's σ(n)/n bound under RH, answering a question of Nicolas, drafted by Claude (00182)","Hexagon 11 Nov, human-led or mixed: Yair Lavi with GPT-5.6 Sol, GPT-6 Astra and Claude Fable on permanents and cp-rank (00296, 00297, 00298); Samir Hamad, a separable Banach space whose bidual has the Daugavet property (00299, GPT-6 Astra); Kohlmeyer, Howe, Huffman and Kruer, five Codex deposits with partial Lean (00267–00270; 00269 answers Okhotin's Problem 4: Boolean grammars in DSPACE(n^(3/4))); Boorstein, two Claude-drafted billiards papers in rational triangles (00303, 00304); Banica, 'Written by Claude Fable' (00305); Keränen, JT-gravity Wasserstein note with Claude (00295); Man Huang, Zenodo repost with GPT-6.1 Sol and Grok 4.7 (00273); human-written: 00276, 00277, 00287, 00290, 00292","arXiv (10–11 Nov), AI found the main result: 'Theorem 1 was proved in one shot using GPT-6 Astra' (explicit RIP, 2611.14475); 'obtained a proof purely generated by ChatGPT Astra' (stationary integral cycles, Xuanyu Li and Zhihan Wang, 2611.14410); 'the bulk of the technical ideas of the paper originated on the machine side' (Nick Salter, hyperelliptic linear systems in Hirzebruch surfaces, 2611.14386); 'The proofs were generated and the draft of this paper was written with GPT-6' (unilluminable rooms, 2611.13226); 'The paper originates from the following insight obtained using Anthropic Opus 5.5' (mixed-integer dual network problems in strongly polynomial time, Zambelli, 2611.14045); GPT-6 Astra found 'the key arguments' for the optimal one-shot channel simulation constant (2611.13397)","arXiv, AI supplied key steps: Ge, Jitomirskaya and You's supercritical Ten Martini problem (the ten martini problem for the positive-Lyapunov part of the spectrum of any nonconstant real analytic one-frequency Schrödinger operator), strategy human ('without AI involvement') but an LLM 'helped us derive the renormalization estimate in Lemma 5.1 and discover the monotonicity property in the Lemma 3.2' (2611.13068); Q-valued harmonic functions, Theorem 3.13 'strongly supported by AI' (2611.14409); canonical volumes of threefolds, ChatGPT 'suggested several key ideas' (2611.14402); E-symmetric algebras: 'Amazingly, the AI came up with a suitable definition' (ChatGPT-6 Astra), and Enomoto's AI-found counterexample to the Periodicity Conjecture is reused (2611.13889); Appendix B classification 'obtained by AI tools' (Anosov representations, 2611.14302); the Baer trick for progression-free sets came from an LLM (2611.14464); GPT-6 Astra built the solvers and Lean checks for online matching bounds (2611.13571)","arXiv, Lean or formal: Michael Stoll, iterates of x² + a with maximal Galois group, 'obtained in collaboration with Claude … also formalized in Lean' (2611.14014); Erdős–Straus-type exceptional sets for K/n = 1/x + 1/y + 1/z with exponent 3/4, every step 'checked by Lean's kernel', Claude used throughout (2611.14167); rank-23 3×3 matrix multiplication with 51 additions, Lean by Claude (2611.12907); Gödel's theorems in grounded arithmetic, machine-checked with Claude (2611.13697)","arXiv, lemmas or examples by AI: GPT-6.1 Sol (daisy codegree case 2611.13380; triangles without a common vertex 2611.13608; polyanalytic zeros approach 2611.13278; Petersen counterexamples 2611.13394), GPT-6 Astra/5.6 Sol water-wave Lemmas 5.6–5.7 (2611.14215), GPT-5.6 Sol Prop. 7.6 (2611.14400), short proof of Lemma 2.3 (2611.13809), Claude idea for Lemma 5.3 (2611.14490), ChatGPT 6 counterexample of Section 7 (2611.14137), GPT-6 Astra and Opus 5.5 strengthened bounds and built instances (2611.13846), ChatGPT-5.6 Luna ropelength bounds (Klotz, 2611.14234, with a list of failures), GPT-6.1 Sol in the Alon–Kim conjecture proof (2611.13698), ChatGPT for the constant-width numerical range conjecture (2611.13461), Codex for list update (2611.13750) and black-hole singularity ideas with Codex and Claude (2611.13261)","arXiv results with minor or no AI role: Yip's resolution of the Erdős similarity problem 'in the large' (ChatGPT for exposition only, 2611.14056); Marques's counterexample to the 1939 Erdős–Mahler conjecture (ChatGPT/Codex for English and review, 2611.13604); no 13-vertex triangulation of the three-torus (2611.14367); a counterexample to the strong union-of-balls conjecture (2611.14181); Dujmović, Morin et al. say every line was human-written (2611.14194); others: 2611.13155, 2611.13305, 2611.14337, 2611.13584, 2611.12948","Other conjecture papers (27 new, 10–11 Nov, e.g. the anisotropic De Giorgi conjecture in R⁴, Kourovka Problem 21.7, Robin's inequality threshold): the sweep scanned the PDFs and found no AI disclosure; none is a famous problem settled","Repos: google-deepmind/formal-conjectures (9–12 Nov) added statements for Erdős 297, 739, 1129, 1130, 1132, 1042, Green's open problems 17, 59, 69, 74, 84, 86, 91, 92, 95, 100, the ambidextrous moving-sofa conjecture and Pittel's and Irving–Leather's stable-matching conjectures; proofs or links: Erdős 1033 first question answered negatively (Palomar-registered Lean proof), Erdős 657 Straus variant (Palomar), Erdős 882 Sándor variant (Isabelle), Erdős 983 easy bound, infinitely many integral Diophantine 4-tuples, OEIS A87719; Green 29 restated after its subset variant was refuted. No new openai/math or anthropics/formal-math commits; mathcommunity/oai-math-revised added then reverted a BFSS SU(2) Lean package and its notes link (9 Nov)","GitHub repos: AxiomMath/Mordell (11 Nov), 'A Lean 4 formalization of Faltings' theorem (the Mordell conjecture), via Bombieri–Vojta, on the Stacks Project in Lean' (no announcement found yet); AxiomMath/SupersingularCongruences (Lean formalization of Ken Ono's 'Modular forms for chromatic homotopy: supersingular congruences'); google-deepmind/xyeval (no description)"],"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 10–11 Nov beyond those with their own entries","open_since":"","ai_system":["ChatGPT","GPT-6 Astra","GPT-6 Pro","GPT-6.1 Sol","Claude Opus 5.5","Claude Fable 5.2","Codex"],"human_role":"From human-led papers with AI lemmas to 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 Nov 11 and 12 daily runs did not happen, so this catalogue covers the Hexagon deposits of 11 Nov and the arXiv listing of\n10–11 Nov in one pass. Several arXiv authors now state plainly that a model found the main theorem and that their paper is an\nexplanation of it (Kümmerle–Mixon, Li–Wang, Salter). On Hexagon, Qiyue Tang's GPT-6-Pro runs\nmoved to famous targets (Broué's conjecture for 2-blocks, Watkins's conjecture) with no human understanding claimed; read them\nas claims.","disputed":[{"label":"Verification","text":"Unrefereed preprints and Hexagon deposits; some Lean","sources":[]}],"related":[{"id":"2026-11-12-ai-assisted-results-november-12-listing","url":"https://postcutoff.com/e/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":102,"official":102,"filed":"2026-11-12","updated":"2026-11-12","orgs":["OpenAI","Anthropic","various researchers"]},{"id":"2026-11-11-smale-mean-value-constant-equals-4-goel-lean","url":"https://postcutoff.com/e/2026-11-11-smale-mean-value-constant-equals-4-goel-lean/","date":"2026-11-11","date_precision":"day","short_title":"Smale's mean value constant = 4 (claimed, Lean-checked)","deck":null,"takeaway":"Two months after GPT-6 Astra refuted the constant-1 form, a Hexagon deposit says the best constant in Smale's mean value theorem is exactly 4, so Smale's 1981 bound cannot be improved at all; a Lean proof accompanies it, experts have not yet commented.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":5,"official":5,"filed":"2026-11-12","updated":"2026-11-12","orgs":["Anthropic","OpenAI"]},{"id":"2026-11-11-talagrand-ultimate-matching-conjecture-gpt-6","url":"https://postcutoff.com/e/2026-11-11-talagrand-ultimate-matching-conjecture-gpt-6/","date":"2026-11-11","date_precision":"day","short_title":"Talagrand's Ultimate Matching Conjecture: GPT-6 proof (Hexagon)","deck":null,"takeaway":"Three specialists in random matching say GPT-6 found the critical-exponent proof of a research problem from Talagrand's book and then the endpoint answer; the text is mostly model-written and the authors promise a digested version.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":4,"official":4,"filed":"2026-11-12","updated":"2026-11-12","orgs":["OpenAI","CNRS","University of Pisa"]},{"id":"2026-11-11-benson-etingof-ostrik-conjecture-gpt-6-astra","url":"https://postcutoff.com/e/2026-11-11-benson-etingof-ostrik-conjecture-gpt-6-astra/","date":"2026-11-11","date_precision":"day","short_title":"Benson–Etingof–Ostrik conjecture: full proof generated by GPT-6 Astra","deck":null,"takeaway":"A month after the finite case, the full 2023 conjecture on symmetric tensor categories in positive characteristic is claimed in a paper 'generated by GPT-6 Astra', posted by a team that includes Etingof and Ostrik, who posed it.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":2,"official":2,"filed":"2026-11-12","updated":"2026-11-12","orgs":["OpenAI","MIT","University of Sydney","University of Bonn","University of Oregon"]},{"id":"2026-11-11-triangles-positive-density-plane-gpt-6-astra-pro","url":"https://postcutoff.com/e/2026-11-11-triangles-positive-density-plane-gpt-6-astra-pro/","date":"2026-11-11","date_precision":"day","short_title":"Large triangles in planar sets of positive density: GPT-6 Astra Pro proof","deck":null,"takeaway":"The planar case of Bourgain's simplex theorem, previously known only for density above 1/2, is claimed in a 9-page AI-written note steered by a harmonic analyst who works on trilinear estimates; Claude Opus 5.5 wrote a Lean formalization.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":1,"official":1,"filed":"2026-11-12","updated":"2026-11-12","orgs":["OpenAI","Anthropic","Chapman University"]},{"id":"2026-11-10-explicit-rip-matrices-two-thirds-gpt-6-astra","url":"https://postcutoff.com/e/2026-11-10-explicit-rip-matrices-two-thirds-gpt-6-astra/","date":"2026-11-10","date_precision":"day","short_title":"Explicit RIP matrices reach k = m^(2/3): main theorem by GPT-6 Astra","deck":null,"takeaway":"Since 2011 explicit compressed-sensing matrices had only beaten the square-root bottleneck by a tiny ε. A GPT-6 Astra proof, digested and written up by two specialists and formalized in Lean, reaches exponent 2/3.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":3,"official":1,"filed":"2026-11-12","updated":"2026-11-12","orgs":["OpenAI","University of Central Florida","Ohio State University"]},{"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-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"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-11-12","type":"filed","text":"Created (science agent; Hexagon API records and provenance read for all 40 works of 11 Nov, PDFs for the main ones; GitHub commit pages)"}],"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 40 works of 11 Nov, PDFs for the main ones; GitHub commit pages","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":195,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":134,"in_training_data":false},{"model_id":"gemini-4-hydrogen","name":"Gemini 4 Hydrogen","cutoff":"2026-03","days_after":225,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":164,"in_training_data":false}],"short_url":null}