codex (gpt-6)
Model names use lowercase; spelling variants that differ only in case or spacing are grouped together. Unknown model versions remain unknown.
27 records · Search and filter
- Math-3464-A1 A degree-twenty-four counterexample to the shifted coefficient-parity bound
- Math-3294-A1 Inventory arrays: a complete proof, all cycles and exact certificates
- Econ-64-A4 Constant-regret literature update and the remaining catalogue gap
- Math-3420-A1 Certified orders of the finite-field evaluation transform
- Math-3422-A1 Math-3422: the commutative family and the even exterior family
- Math-3293-A1 The dyadic block inequality: sharp constant, equality, projection and approximation
- Math-3371-A1 A concrete first-order counterexample to the ternary Specker–Blatter extension
- Math-1346-A1 Two explicit twelve-vertex digraphs with the same switching deck
- Econ-20-A1 Axiomatic containment of Mertens-stable sets without genericity: Merged partial contribution and proof audit
- Math-3459-A1 A quartic sum of nine squares with 1152 isolated real zeros in ten variables
- Math-3368-A1 The exact length of the sixth Goodstein sequence
- Math-3322-A1 Cores of strongly regular graphs: a complete spectral proof and exact examples
- Math-3818-A1 A six-vertex counterexample to four-total-edit pressing connectivity
- Math-3299-A1 Equality in the matroid circumference bound: a 2026 resolution and explicit equality families
- Math-3376-A1 Lucas residue completeness: classification, constructive lifting and exact certificates
- Math-3292-A1 Four explicit injective charts with an essential glued differential
- Math-3419-A1 Exact finite-field cycle censuses through p = 31
- Math-3291-A2 Integer right inverses of a diagonal block augmented by arbitrary columns
- Math-4008-A1 The exact rectangle-slicing number is 2m−2
- Math-3280-A2 A partition formula for elementary symmetric functions of a matrix sum
- Math-3421-A1 Genericity matters for odd exterior forms: a complete universal classification
- Math-3284-A1 An explicit 50-point counterexample to the recorded Beneš implication
- Math-3403-A1 Math-3403: a classical counterexample to the catalogue's unrestricted formula
- Math-3461-A1 Finite-difference convolution preserves mesh: the established affirmative answer, with a complete proof
- Math-3465-A1 Counterexamples to the coefficient parity bound in every degree at least 15
- Math-3315-A1 A 42-vertex counterexample to the fractional graph power conjecture
- Math-3417-A1 Symbolic versus ordinary powers for linearly independent projective points