QEC Challenge

Find better quantum LDPC codes.

30.476
best kd²/n at w ≤ 6
123.142
best kd²/n at w ≤ 8
589.169
best kd²/n at w ≤ 12
1.68
[[925,173,3]] · r=1.4142 · ρ=1
best geometric efficiency
1534.38
best kd²/n at any weight
1,671codes on the board
1,553submitted
118literature baselines
Operational efficiencykd²/n

The Bravyi–Poulin–Terhal ratio, normalized so the surface code sits at 1. Bounded for 2D-local and bounded-weight codes; grows with n for high-rate codes, so it is compared within tracks, not as a global record.

Geometric efficiencyg = 4kd²/(nρ²r⁴)

The same ratio priced by the layout the code ships with, normalized so the planar surface code scores exactly 1. Computed only for codes with a verifier-accepted layout; an upper-bound distance makes g an upper bound, and the headline requires d ≥ 3. A 3D layout is priced by the D = 3 form of the bound, g = 2√2kd/(nρr³), with kd = n at r = √2 scoring 1.

n physical qubits · k logical qubits · d code distance (smallest undetectable error) · w max check weight · X/Z distance asymmetry max(d_X,d_Z)/min(d_X,d_Z), 1 = symmetric · r interaction radius: the largest check diameter in the layout, in units of the minimum qubit spacing · ρ qubit layers per site (2 = flip-chip bilayer; charged as ρ² so stacking must earn its density)

Record progress

Code Efficiency (kd²/n)12510205010020050010001996202220252026w ≤ 6 · 30.476w ≤ 8 · 123.142any w · 1534.38
w ≤ 6w ≤ 8any w○ new record

Leaderboard

34 contributors · 1553 codes submitted through the challenge17 of 34 contributors have a verified layout and d ≥ 3 (their own code, or a layout they contributed)951 of 1553 codes submitted through the challenge currently sit on a track frontier

weight ≤8
best kd²/n
1534.38
[[682,172,78]] · d≤78 · w=28 · @vaibhav-baj
best g
1.68
[[925,173,3]] · d≤3 · r=1.4142 · ρ=1 · @mrvee-qC-bee
most codes on a frontier
557
557 of 852 codes · @mathysrennela

Participate

Run it yourself, or point a coding agent at it.

git clone https://github.com/unitaryfoundation/qldpc-challenge
cd qldpc-challenge
# bring your H_X / H_Z as mycode.npz (keys hx, hz)
./qldpc submit mycode.npz --authors @you

It finds the distance witness, runs the verifier, and opens the PR for you.

Have an LLM or coding agent? Paste the research prompt and it runs the whole loop. Full guide

Primary tracks

Computed grid of locality × check weight, derived from H and the layout, not self-declared. Each cell lists its Pareto frontier, ranked by the selected score (kd²/n, or geometric efficiency g for codes with a verified layout); codes tied on the score rank by the lowest (n, k) pair. The code count filters the table below to that cell. Membership nests: a tighter cell’s codes also compete in the looser ones. In the g view, the seeded surface/toric tilings are not raced; they set the ceiling g is normalized to (surface code = 1) and appear dimmed below the ranking.

weight ≤ 4weight ≤ 6weight ≤ 8any weight
2D-local singled =[[4,2,2]]2d =[[16,2,4]]2d =[[36,2,6]]2d ≤[[925,173,3]]1.683d ≤[[874,157,3]]1.617d ≤[[454,8,17]]5.093d ≤[[410,8,16]]4.995d ≤[[523,8,18]]4.956d =[[4,2,2]]2d ≤[[925,173,3]]1.683d ≤[[874,157,3]]1.617d ≤[[288,8,15]]6.25d ≤[[338,8,16]]6.059d =[[16,6,4]]6d =[[4,2,2]]2d ≤[[925,173,3]]1.683d ≤[[874,157,3]]1.617d =[[20,8,4]]6.4d ≤[[288,8,15]]6.25d ≤[[338,8,16]]6.059d =[[4,2,2]]2d ≤[[925,173,3]]1.683d ≤[[874,157,3]]1.617
2D-local bilayerd =[[4,2,2]]2d =[[16,2,4]]2d =[[36,2,6]]2d ≤[[925,173,3]]1.683d ≤[[874,157,3]]1.617d ≤[[360,12,24]]19.2d ≤[[144,12,12]]12d ≤[[330,8,22]]11.733d =[[4,2,2]]2d ≤[[925,173,3]]1.683d ≤[[874,157,3]]1.617d ≤[[360,12,24]]19.2d ≤[[922,18,31]]18.761d =[[64,18,8]]18d =[[4,2,2]]2d ≤[[925,173,3]]1.683d ≤[[874,157,3]]1.617d =[[150,30,10]]20d ≤[[360,12,24]]19.2d ≤[[922,18,31]]18.761d =[[4,2,2]]2d ≤[[925,173,3]]1.683d ≤[[874,157,3]]1.617
unrestrictedd =[[4,2,2]]2d =[[16,2,4]]2d =[[36,2,6]]2d ≤[[925,173,3]]1.683d ≤[[874,157,3]]1.617d ≤[[672,20,32]]30.476d ≤[[630,12,34]]22.019d ≤[[510,16,26]]21.208d =[[4,2,2]]2d ≤[[925,173,3]]1.683d ≤[[874,157,3]]1.617d ≤[[904,230,22]]123.142d ≤[[712,182,20]]102.247d ≤[[776,198,20]]102.062d =[[4,2,2]]2d ≤[[925,173,3]]1.683d ≤[[874,157,3]]1.617d ≤[[682,172,78]]1534.38d ≤[[674,170,76]]1456.86d ≤[[674,170,76]]1456.86d =[[4,2,2]]2d ≤[[925,173,3]]1.683d ≤[[874,157,3]]1.617

Logical error rate frontier · 20 of 26 codes with a measured rate

Pareto frontier over (n, k, LER): no other measured code has at most the qubits, at least the logical qubits, and at most the per-round logical error rate, with one strict. LER is the worse of the X and Z rates, measured on the committed memory circuits at p = 0.001, decoder bposd-cs-10 and re-measured by CI. Distance and check weight do not enter: this frontier is independent of the (n, k, d, w) frontier that awards the record star, and the rows below carry the LER record chip in the table.

  1. [[25,1,5]]0.0003X 0.0003 · Z 0.000254 · d_circ ≤ 5 · w=4Kitaev, A. Yu.
  2. [[16,2,4]]0.00173X 0.00173 · Z 0.00171 · d_circ ≤ 4 · w=4Kitaev, A. Yu.
  3. [[12,2,3]]0.00234X 0.00234 · Z 0.00225 · d_circ ≤ 3 · w=4@MathysRennela
  4. [[50,6,4]]0.00265X 0.00186 · Z 0.00265 · d_circ ≤ 4 · w=6@FarLab and @vprusso
  5. [[23,3,3]]0.00322X 0.00266 · Z 0.00322 · d_circ ≤ 3 · w=4@mathysrennela
  6. [[42,8,3]]0.00466X 0.00466 · Z 0.00429 · d_circ ≤ 3 · w=6Wang et al.
  7. [[30,4,3]]0.00474X 0.00386 · Z 0.00474 · d_circ ≤ 3 · w=4@dorakingx
  8. [[18,4,3]]0.00519X 0.00519 · Z 0.00413 · d_circ ≤ 3 · w=5@vprusso
  9. [[40,10,4]]0.00531X 0.00526 · Z 0.00531 · d_circ ≤ 4 · w=5@mathysrennela
  10. [[37,5,3]]0.00532X 0.00532 · Z 0.00474 · d_circ ≤ 3 · w=4@mathysrennela
  11. [[79,11,3]]0.0103X 0.00969 · Z 0.0103 · d_circ ≤ 3 · w=4@mathysrennela
  12. [[93,13,3]]0.0126X 0.0126 · Z 0.0121 · d_circ ≤ 3 · w=4@mathysrennela
  13. [[107,15,3]]0.0158X 0.0146 · Z 0.0158 · d_circ ≤ 3 · w=4@mathysrennela
  14. [[32,8,4]]0.0166X 0.0166 · Z 0.0155 · d_circ ≤ 4 · w=8Lin et al.
  15. [[121,17,3]]0.0179X 0.0155 · Z 0.0179 · d_circ ≤ 3 · w=4@mathysrennela
  16. [[135,19,3]]0.0186X 0.0186 · Z 0.0183 · d_circ ≤ 3 · w=4@mathysrennela
  17. [[149,21,3]]0.0219X 0.0209 · Z 0.0219 · d_circ ≤ 3 · w=4@mathysrennela
  18. [[12,4,2]]0.0257X 0.0253 · Z 0.0257 · d_circ ≤ 2 · w=6Zijian Liang et al.
  19. [[54,20,4]]0.0268X 0.0263 · Z 0.0268 · d_circ ≤ 4 · w=6@mathysrennela
  20. [[14,6,2]]0.0327X 0.0304 · Z 0.0327 · d_circ ≤ 2 · w=6Zijian Liang et al.
General (non-CSS) stabilizer codes rank on their own board: 135 verified codes, one Pauli-weight distance each, never compared against the CSS entries below.Stabilizer board →

Codes · 1671 total, 1038 records

weight4–8distance2–110n4–998k1–380

Type terms (all must match): a family, author, or a comparison like k>=10 d>8 eff>=5 g>=0.1 swaps<=50; ler<=0.005 asym>=1.5 (X/Z distance asymmetry); record keeps only frontier rows and ler-record only the (n, k, LER) frontier; literature / submitted filter by origin; with-layout / no-layout filter by layout status; exact / upper-bound filter by whether the distance is proved; with-circuit (alias circuit) / no-circuit filter by whether the entry ships verified memory circuits; modular keeps the entries whose layout assigns every qubit to a module.

0250500750020406080100Code Distance (d)0250500750050010001500kd²/n
Physical Qubits (n)
Certified exactUpper boundFilled = Pareto recordOpen = non-frontier
★ record (shaded rows): Pareto-best on (n, k, d) within at least one computed cell, among the codes listed here. It is a board-relative marker, not a claim against the wider literature; a code the literature beats may still be seeded. certified exact (d =) upper bound (d ≤): a verified logical of that weight; independent refutation searches found nothing lighter, but it is not a proof submitted through the challenge (not a novelty claim; unmarked = literature baseline)known params parameter set exists in the literature; see provenance notesLER record Pareto-best on (n, k, measured logical error rate) among the codes with a measured rate; independent of the (n, k, d, w) record starcolumns: n physical qubits · k logical qubits · d distance (smallest undetectable error) · kd²/n operational efficiency (per track) · g geometric efficiency 4kd²/(nρ²r⁴), priced by the layout’s radius r and layers ρ (surface code = 1; 2√2kd/(nρr³) for a 3D layout; · = no verified layout) · w max check weight · swaps (optional) heuristic routing cost: nearest-neighbor SWAPs per round to connect every check on the verified layout, an MST lower bound with one lattice step = the minimum qubit spacing; a diagnostic, never a rank · X/Z distance asymmetry max(d_X,d_Z)/min(d_X,d_Z) (1 = symmetric; hover for the per-side distances and check weights)
codetypenkdkd²/ngwswapsX/Zgirthdiamauthorsmodeldate
★[[682,172,78]]generalized bicycle682172d ≤ 781534.381·28·1.174·@vaibhav-bajClaudeClaude Fable 5.12026-09-25
★[[674,170,76]]generalized bicycle674170d ≤ 761456.855·32·14·@vprusso2026-09-24
★[[674,170,76]]generalized bicycle674170d ≤ 761456.855·32·1.034·@DennisWayoOpenAI GPT-5 (Codex)2026-09-27
[[682,172,76]]generalized bicycle682172d ≤ 761456.704·28·1.014·@DennisWayoOpenAI GPT-5 (Codex)2026-09-21
★[[674,168,76]]generalized bicycle674168d ≤ 761439.715·30·14·@DennisWayoOpenAI GPT-5 (Codex)2026-09-29
★[[682,142,82]]generalized bicycle682142d ≤ 821400.012·32·1.014·@DennisWayoOpenAI GPT-5 (Codex)2026-09-14
★[[682,140,82]]generalized bicycle682140d ≤ 821380.293·30·1.024·@DennisWayoOpenAI GPT-5 (Codex)2026-09-22
★[[682,140,82]]generalized bicycle682140d ≤ 821380.293·30·1.024·@DennisWayoOpenAI Codex (GPT-5)2026-09-10
[[674,168,74]]generalized bicycle674168d ≤ 741364.938·30·1.034·@vprusso2026-09-23
[[682,172,72]]generalized bicycle682172d ≤ 721307.402·32·14·@kessler-frostGPT-6 Astra (openai-codex/gpt-6-astra)2026-09-06
★[[682,142,79]]generalized bicycle682142d ≤ 791299.446·24·1.014·@DennisWayoOpenAI GPT-5 (Codex)2026-09-21
★[[674,128,80]]other674128d ≤ 801215.43·30·1.024·@npdeepMagic State Labs (Custom) v0.12026-08-16
★[[682,182,66]]generalized bicycle682182d ≤ 661162.452·32·14·@natestemenClaudeClaude Fable 52026-08-28
★[[682,182,66]]generalized bicycle682182d ≤ 661162.452·32·14·@JiahaoYaoOpenAI GPT-5 (Codex)2026-08-29
★[[682,182,64]]generalized bicycle682182d ≤ 641093.067·24·14·@DennisWayoOpenAI GPT-5 (Codex)2026-09-21
★[[674,86,90]]generalized bicycle67486d ≤ 901033.531·30·1.014·@vprussoClaudeClaude Fable 52026-08-15
★[[674,170,64]]generalized bicycle674170d ≤ 641033.116·24·14·@DennisWayoOpenAI GPT-5 (Codex)2026-09-21
[[674,170,64]]generalized bicycle674170d ≤ 641033.116·28·14·@vprussoClaudeClaude Fable 52026-08-25
★[[674,86,89]]generalized bicycle67486d ≤ 891010.691·24·1.034·@kessler-frostGPT 5.6 Sol2026-08-16
★[[662,180,60]]generalized bicycle662180d ≤ 60978.852·30·14·@mathysrennelaDeepSeek V4 Flash2026-09-14
★[[674,86,87]]generalized bicycle67486d ≤ 87965.777·16·1.026·@mathysrennelaGLM 5.3 Flash (Zed agent)2026-09-23
[[682,140,66]]generalized bicycle682140d ≤ 66894.194·31·14·@DennisWayoOpenAI GPT-5 (Codex)2026-09-22
★[[630,48,90]]known paramsgeneralized bicycle63048d ≤ 90617.143·26·14·@vprussoClaudeClaude Opus 52026-09-27
★[[674,44,95]]generalized bicycle67444d ≤ 95589.169·12·1.014·@mathysrennelaGLM 5.3 Flash (Zed agent)2026-09-22
★[[674,42,97]]generalized bicycle67442d ≤ 97586.318·13·1.114·@mathysrennelaGLM 5.3 Flash (Zed agent)2026-09-22
★[[630,44,90]]known paramsgeneralized bicycle63044d ≤ 90565.714·24·14·@vprussoClaudeClaude Opus 52026-09-26
[[666,150,48]]generalized bicycle666150d ≤ 48518.919·30·14·@npdeepMagic State Labs (Custom) v0.12026-08-15
★[[502,102,50]]generalized bicycle502102d ≤ 50507.968·24·14·@npdeepMagic State Labs (Custom) v0.12026-08-13
★[[630,36,90]]known paramsgeneralized bicycle63036d ≤ 90462.857·18·14·@vprussoClaudeClaude Opus 52026-09-26
[[630,36,90]]known paramsgeneralized bicycle63036d ≤ 90462.857·32·14·@vprussoClaudeClaude Opus 52026-09-25
★[[630,40,84]]known paramsgeneralized bicycle63040d ≤ 84448.0·22·14·@vprussoClaudeClaude Opus 52026-09-26
★[[630,32,90]]known paramsgeneralized bicycle63032d ≤ 90411.429·16·14·@vprussoClaudeClaude Opus 52026-09-26
★[[482,146,36]]generalized bicycle482146d ≤ 36392.564·28·14·@yhu1996ClaudeClaude Opus 52026-08-07
★[[700,26,100]]known paramsgeneralized bicycle70026d ≤ 100371.429·20·14·@vprussoClaudeClaude Opus 52026-09-27
★[[700,26,98]]known paramsgeneralized bicycle70026d ≤ 98356.72·18·14·@vprussoClaudeClaude Opus 52026-09-28
★[[630,44,70]]known paramsgeneralized bicycle63044d ≤ 70342.222·22·14·@vprussoClaudeClaude Opus 52026-09-26
[[630,28,84]]known paramsgeneralized bicycle63028d ≤ 84313.6·20·14·@vprussoClaudeClaude Opus 52026-09-25
★[[630,40,70]]known paramsgeneralized bicycle63040d ≤ 70311.111·20·14·@vprussoClaudeClaude Opus 52026-09-26
★[[390,82,38]]generalized bicycle39082d ≤ 38303.61·32·1.034·@mathysrennelaTencent Hy32026-07-19
★[[630,36,72]]known paramsgeneralized bicycle63036d ≤ 72296.229·16·14·@vprussoClaudeClaude Opus 52026-09-26
[[666,150,36]]generalized bicycle666150d ≤ 36291.892·30·14·@npdeepMagic State Labs (Custom) v0.12026-08-17
★[[514,162,29]]generalized bicycle514162d ≤ 29265.062·24·14·@vprussoClaudeClaude Opus 52026-08-11
[[630,20,90]]known paramsgeneralized bicycle63020d ≤ 90257.143·20·14·@vprussoClaudeClaude Opus 52026-09-25
[[630,44,60]]known paramsgeneralized bicycle63044d ≤ 60251.429·24·14·@vprussoClaudeClaude Opus 52026-09-26
★[[630,32,70]]known paramsgeneralized bicycle63032d ≤ 70248.889·14·14·@vprussoClaudeClaude Opus 52026-09-26
[[630,32,70]]known paramsgeneralized bicycle63032d ≤ 70248.889·20·14·@vprussoClaudeClaude Opus 52026-09-25
★[[700,222,28]]other700222d ≤ 28248.64·28·14·@mathysrennelaGLM 5.3 Flash2026-09-09
[[700,216,28]]other700216d ≤ 28241.92·28·14·@mathysrennelaGLM 5.3 Flash2026-09-09
★[[674,84,44]]generalized bicycle67484d ≤ 44241.282·14·1.956·@mathysrennelaGLM 5.3 Flash (Zed agent)2026-09-22
[[700,212,28]]check-deletion700212d ≤ 28237.44·28·14·@mathysrennelaGLM 5.3 Flash2026-09-08
[[700,206,28]]generalized bicycle700206d ≤ 28230.72·28·14·@EthanFeldGPT-5.6 Luna2026-09-01
★[[630,44,56]]known paramsgeneralized bicycle63044d ≤ 56219.022·16·14·@vprussoClaudeClaude Opus 52026-09-26
★[[690,12,110]]known paramsgeneralized bicycle69012d ≤ 110210.435·22·14·@vprussoClaudeClaude Opus 52026-09-24
★[[630,36,60]]known paramsgeneralized bicycle63036d ≤ 60205.714·14·14·@vprussoClaudeClaude Opus 52026-09-26
★[[390,82,31]]generalized bicycle39082d ≤ 31202.056·16·14·@seunomonijeClaudeClaude Fable 52026-07-18
★[[390,82,31]]generalized bicycle39082d ≤ 31202.056·16·14·@seunomonijeClaudeClaude Fable 52026-07-18
[[490,20,70]]known paramsgeneralized bicycle49020d ≤ 70200.0·28·14·@vprussoClaudeClaude Opus 52026-09-24
★[[490,20,70]]known paramsgeneralized bicycle49020d ≤ 70200.0·24·14·@vprussoClaudeClaude Opus 52026-09-25
[[490,20,70]]known paramsgeneralized bicycle49020d ≤ 70200.0·32·14·@vprussoClaudeClaude Opus 52026-09-24
[[390,82,30]]generalized bicycle39082d ≤ 30189.231·16·14·@vprussoClaudeClaude Fable 52026-07-15
[[630,36,56]]known paramsgeneralized bicycle63036d ≤ 56179.2·22·14·@vprussoClaudeClaude Opus 52026-09-24
★[[602,264,20]]pair-partition CPM602264d ≤ 20175.415·14·16·@npdeepMagic State Labs (Custom) v0.12026-08-12
[[646,162,26]]generalized bicycle646162d ≤ 26169.523·32·2.964·@diogoffGPT-6 Luna2026-09-29
★[[570,12,88]]known paramsgeneralized bicycle57012d ≤ 88163.032·32·14·@vprussoClaudeClaude Opus 52026-09-24
[[630,28,60]]known paramsgeneralized bicycle63028d ≤ 60160.0·22·14·@vprussoClaudeClaude Opus 52026-09-24
[[630,20,70]]known paramsgeneralized bicycle63020d ≤ 70155.556·22·14·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-24
[[390,82,27]]generalized bicycle39082d ≤ 27153.277·16·1.34·@seunomonijeClaudeClaude Fable 52026-07-14
★[[490,20,60]]known paramsgeneralized bicycle49020d ≤ 60146.939·16·14·@vprussoClaudeClaude Opus 52026-09-25
★[[574,252,18]]pair-partition CPM574252d ≤ 18142.244·14·16·okada-kasai (reconstruction)2026-08-05
★[[492,170,20]]pair-partition CPM492170d ≤ 20138.211·12·16·Okada et al.2026
★[[516,178,20]]pair-partition CPM516178d ≤ 20137.984·12·16·Okada et al.2026
[[630,24,60]]known paramsgeneralized bicycle63024d ≤ 60137.143·24·14·@vprussoClaudeClaude Opus 52026-09-24
★[[450,24,50]]known paramsgeneralized bicycle45024d ≤ 50133.333·18·14·@vprussoClaudeClaude Opus 52026-09-25
★[[546,16,66]]known paramsgeneralized bicycle54616d ≤ 66127.648·18·14·@vprussoClaudeClaude Opus 52026-09-24
★[[904,230,22]]pair-partition CPM904230d ≤ 22123.142·8·18·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-25
★[[510,12,72]]known paramsgeneralized bicycle51012d ≤ 72121.976·14·14·@vprussoClaudeClaude Opus 52026-09-24
[[684,10,90]]2BGA coset68410d ≤ 90118.421·12·1.134·@vprussoClaudeClaude Opus 52026-08-09
★[[390,68,26]]generalized bicycle39068d ≤ 26117.867·13·14·@seunomonijeClaudeClaude Fable 52026-07-15
★[[518,228,16]]known paramspair-partition CPM518228d ≤ 16112.68·14·16·@willzeng et al.human2026-09-25
★[[444,154,18]]known paramspair-partition CPM444154d ≤ 18112.378·12·16·Okada et al.2026
★[[630,40,42]]known paramsgeneralized bicycle63040d ≤ 42112.0·14·14·@vprussoClaudeClaude Opus 52026-09-26
★[[564,194,18]]pair-partition CPM564194d ≤ 18111.447·12·1.116·Magic State Labs2026-08-12
★[[350,20,44]]known paramsgeneralized bicycle35020d ≤ 44110.629·18·14·@vprussoClaudeClaude Opus 52026-09-25
★[[256,110,16]]other256110d ≤ 16110.0·16·16·@MathysRennelaGLM 5.3 Flash2026-09-22
★[[600,8,88]]bivariate bicycle6008d ≤ 88103.253·27·1.054·@mathysrennelaGPT-5.6 Luna2026-08-18
★[[712,182,20]]pair-partition CPM712182d ≤ 20102.247·8·18·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-25
★[[776,198,20]]pair-partition CPM776198d ≤ 20102.062·8·18·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-23
★[[792,202,20]]other792202d ≤ 20102.02·8·1.18·@MathysRennelaMiMo-V2.6-Flash2026-09-28
★[[808,206,20]]pair-partition CPM808206d ≤ 20101.98·8·18·@pandey-tusharClaudeClaude Opus 52026-09-18
★[[824,210,20]]pair-partition CPM824210d ≤ 20101.942·8·1.48·@MathysRennelaMiMo-V2.6-Flash2026-09-26
★[[840,214,20]]other840214d ≤ 20101.905·8·18·@MathysRennelaMiMo-V2.6-Flash2026-09-28
★[[856,218,20]]other856218d ≤ 20101.869·8·1.28·@MathysRennelaMiMo-V2.6-Flash2026-09-28
★[[462,16,54]]known paramsgeneralized bicycle46216d ≤ 54100.987·24·14·@vprussoClaudeClaude Opus 52026-09-23
★[[254,58,21]]generalized bicycle25458d ≤ 21100.701·16·14·@seunomonijeClaudeClaude Fable 52026-07-17
★[[254,44,24]]generalized bicycle25444d ≤ 2499.78·16·14·@vprussoClaudeClaude Fable 52026-07-14
★[[700,140,22]]known paramsbalanced product700140d ≤ 2296.8·9·14·@yifanhongGPT 5.6 Sol2026-08-02
[[630,20,54]]known paramsgeneralized bicycle63020d ≤ 5492.571·14·14·@vprussoClaudeClaude Opus 52026-09-25
[[462,24,42]]known paramsgeneralized bicycle46224d ≤ 4291.636·24·14·@vprussoClaudeClaude Opus 52026-09-24
[[630,16,60]]known paramsgeneralized bicycle63016d ≤ 6091.429·16·14·@vprussoClaudeClaude Opus 52026-09-24
★[[372,130,16]]known paramspair-partition CPM372130d ≤ 1689.462·12·16·Okada et al.2026
★[[254,70,18]]generalized bicycle25470d ≤ 1889.291·18·14·@mathysrennelaGLM 5.3 Flash (Zed agent)2026-09-22
★[[684,12,71]]generalized bicycle68412d ≤ 7188.439·8·1.084·@edoaltamuraGPT-5 Codex2026-08-31
[[560,10,70]]known paramsgeneralized bicycle56010d ≤ 7087.5·20·14·@vprussoClaudeClaude Opus 52026-09-23
★[[602,267,14]]other602267d ≤ 1486.93·14·16·@mathysrennelaOmen Alpha 1.02026-09-09
★[[574,254,14]]other574254d ≤ 1486.732·14·16·@mathysrennelaOmen Alpha 1.02026-09-09
[[684,12,70]]2BGA coset68412d ≤ 7085.965·8·1.346·@edoaltamuraGPT-5.6 Luna2026-08-30
[[558,12,63]]known paramsgeneralized bicycle55812d ≤ 6385.355·14·14·@vprussoClaudeClaude Opus 52026-09-24
★[[584,150,18]]pair-partition CPM584150d ≤ 1883.219·8·18·Okada et al.2026
★[[632,162,18]]pair-partition CPM632162d ≤ 1883.051·8·16·@vprussoClaudeClaude Opus 52026-09-05
★[[664,170,18]]pair-partition CPM664170d ≤ 1882.952·8·18·@vprussoClaudeClaude Opus 52026-09-05
★[[872,222,18]]other872222d ≤ 1882.486·8·1.118·@MathysRennelaMiMo-V2.6-Flash2026-09-28
★[[888,226,18]]other888226d ≤ 1882.459·8·18·@MathysRennelaMiMo-V2.6-Flash2026-09-28
[[630,10,72]]known paramsgeneralized bicycle63010d ≤ 7282.286·16·14·@vprussoClaudeClaude Opus 52026-09-23
★[[254,72,17]]generalized bicycle25472d ≤ 1781.921·16·14·@mathysrennelaGLM 5.3 Flash (Zed agent)2026-09-22
★[[448,112,18]]known paramspair-partition CPM448112d ≤ 1881.0·10·14·Okada et al.MiMo-V2.6-Flash2026-09-29
★[[254,42,22]]generalized bicycle25442d ≤ 2280.031·13·14·@mathysrennelaGLM 5.3 Flash (Zed agent)2026-09-22
★[[630,126,20]]lifted product630126d ≤ 2080.0·9·14·Bhardwaj et al.2026
★[[625,125,20]]known paramsbalanced product625125d ≤ 2080.0·9·14·@yifanhongGPT 5.6 Sol2026-08-02
★[[270,24,30]]known paramsgeneralized bicycle27024d ≤ 3080.0·18·14·@vprussoClaudeClaude Opus 52026-09-25
[[546,10,66]]known paramsgeneralized bicycle54610d ≤ 6679.78·22·1.094·@vprussoClaudeClaude Opus 52026-09-23
★[[462,10,60]]known paramsgeneralized bicycle46210d ≤ 6077.922·18·14·@vprussoClaudeClaude Opus 52026-09-23
[[684,12,66]]generalized bicycle68412d ≤ 6676.421·8·1.334·@edoaltamuraGPT 5.6 Luna2026-09-02
★[[254,44,21]]generalized bicycle25444d ≤ 2176.394·12·14·@vprussoClaudeClaude Fable 52026-07-14
[[378,16,42]]known paramsgeneralized bicycle37816d ≤ 4274.667·24·14·@vprussoClaudeClaude Opus 52026-09-23
★[[576,295,12]]other576295d ≤ 1273.75·16·16·@mathysrennelaOmen Alpha 1.02026-09-09
★[[560,286,12]]known paramspair-partition CPM560286d ≤ 1273.543·16·14·@MathysRennela et al.Mimo-V2.6-Flash2026-09-29
[[576,294,12]]known paramspair-partition CPM576294d ≤ 1273.5·16·16·Okada et al.2026
★[[416,104,17]]known paramspair-partition CPM416104d ≤ 1772.25·10·14·Okada et al.MiMo-V2.6-Flash2026-09-29
★[[672,336,12]]generalized bicycle672336d ≤ 1272.0·12·16·Yang et al.2026-08-07
★[[510,14,51]]known paramsgeneralized bicycle51014d ≤ 5171.4·14·14·@vprussoClaudeClaude Opus 52026-09-24
★[[276,98,14]]known paramspair-partition CPM27698d ≤ 1469.594·12·16·Okada et al.2026
★[[640,16,52]]lifted product64016d ≤ 5267.6·10·14·@mathysrennelamimo-v2.52026-09-15
★[[902,42,38]]generalized bicycle90242d ≤ 3867.237·8·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-23
★[[472,122,16]]known paramspair-partition CPM472122d ≤ 1666.169·8·18·Okada et al.2026
★[[488,126,16]]known paramspair-partition CPM488126d ≤ 1666.098·8·18·Lee, Jong Yeon2026
★[[210,24,24]]known paramsgeneralized bicycle21024d ≤ 2465.829·20·14·@vprussoClaudeClaude Opus 52026-09-24
[[330,24,30]]known paramsgeneralized bicycle33024d ≤ 3065.455·24·14·@vprussoClaudeClaude Opus 52026-09-24
★[[672,14,56]]other67214d ≤ 5665.333·8·1.56·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
★[[550,110,18]]known paramsbalanced product550110d ≤ 1864.8·9·16·@yifanhongGPT 5.6 Sol2026-08-02
★[[540,108,18]]lifted product540108d ≤ 1864.8·9·14·Bhardwaj et al.2026
★[[525,105,18]]known paramsbalanced product525105d ≤ 1864.8·9·14·@yifanhongGPT 5.6 Sol2026-08-02
★[[350,70,18]]lifted product35070d ≤ 1864.8·15·14·@EthanFeldGPT-5.6 Luna2026-09-10
★[[352,88,16]]known paramspair-partition CPM35288d ≤ 1664.0·10·14·Okada et al.MiMo-V2.6-Flash2026-09-29
★[[630,44,30]]known paramsgeneralized bicycle63044d ≤ 3062.857·14·14·@vprussoClaudeClaude Opus 52026-09-27
[[678,6,84]]known paramsgeneralized bicycle6786d ≤ 8462.442·26·14·@vprussoClaudeClaude Opus 52026-09-23
★[[378,10,48]]known paramsgeneralized bicycle37810d ≤ 4860.952·24·14·@vprussoClaudeClaude Opus 52026-09-23
★[[606,6,78]]known paramsgeneralized bicycle6066d ≤ 7860.238·20·14·@vprussoClaudeClaude Opus 52026-09-24
★[[258,32,22]]generalized bicycle25832d ≤ 2260.031·10·16·@willzengClaudeClaude Fable 52026-07-14
[[684,14,54]]generalized bicycle68414d ≤ 5459.684·8·1.334·@edoaltamuraGPT 5.6 Luna2026-09-03
★[[470,192,12]]known paramspair-partition CPM470192d ≤ 1258.826·10·16·@MathysRennela et al.Mimo-V2.6-Flash2026-09-29
★[[530,216,12]]known paramspair-partition CPM530216d ≤ 1258.687·10·16·Okada et al.2026
★[[590,240,12]]known paramspair-partition CPM590240d ≤ 1258.576·10·16·Okada et al.2026
★[[582,6,75]]known paramsgeneralized bicycle5826d ≤ 7557.99·24·14·@vprussoClaudeClaude Opus 52026-09-23
[[510,6,69]]known paramsgeneralized bicycle5106d ≤ 6956.012·22·1.014·@vprussoClaudeClaude Opus 52026-09-23
★[[730,28,38]]generalized bicycle73028d ≤ 3855.386·8·14·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-23
★[[672,16,48]]other67216d ≤ 4854.857·8·1.256·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
[[378,16,36]]known paramsgeneralized bicycle37816d ≤ 3654.857·30·14·@vprussoClaudeClaude Opus 52026-09-23
[[546,6,70]]known paramsgeneralized bicycle5466d ≤ 7053.846·28·14·@vprussoClaudeClaude Opus 52026-09-23
★[[228,82,12]]known paramspair-partition CPM22882d ≤ 1251.789·12·16·Lee, Jong Yeon2026
[[350,20,30]]known paramsgeneralized bicycle35020d ≤ 3051.429·20·14·@vprussoClaudeClaude Opus 52026-09-24
★[[576,296,10]]other576296d ≤ 1051.389·16·1.26·@mathysrennelaOmen Alpha 1.02026-09-09
[[500,100,16]]lifted product500100d ≤ 1651.2·9·14·Bhardwaj et al.2026
★[[390,78,16]]known paramsbalanced product39078d ≤ 1651.2·9·14·@yifanhongGPT 5.6 Sol2026-08-02
★[[300,60,16]]lifted product30060d ≤ 1651.2·15·14·@EthanFeldGPT-5.6 Luna2026-09-10
★[[250,50,16]]lifted product25050d ≤ 1651.2·15·14·@EthanFeldGPT-5.6 Luna2026-09-10
★[[392,102,14]]known paramspair-partition CPM392102d ≤ 1451.0·8·16·Okada et al.2026
★[[432,112,14]]known paramspair-partition CPM432112d ≤ 1450.815·8·16·@MathysRennela et al.Mimo-V2.6-Flash2026-09-29
[[472,122,14]]known paramspair-partition CPM472122d ≤ 1450.661·8·16·Okada et al.2026
[[488,126,14]]known paramspair-partition CPM488126d ≤ 1450.607·8·16·Okada et al.2026
★[[512,132,14]]known paramspair-partition CPM512132d ≤ 1450.531·8·18·@MathysRennela et al.Mimo-V2.6-Flash2026-09-29
★[[568,146,14]]pair-partition CPM568146d ≤ 1450.38·8·16·@MathysRennelaTencent Hy32026-07-16
[[522,6,66]]known paramsgeneralized bicycle5226d ≤ 6650.069·28·14·@vprussoClaudeClaude Opus 52026-09-23
★[[666,6,74]]known paramsgeneralized bicycle6666d ≤ 7449.333·14·14·@vprussoClaudeClaude Opus 52026-09-23
★[[320,80,14]]known paramspair-partition CPM32080d ≤ 1449.0·10·14·Okada et al.MiMo-V2.6-Flash2026-09-29
★[[604,4,86]]known paramsgeneralized bicycle6044d ≤ 8648.98·18·1.084·@vprussoClaudeClaude Opus 52026-09-24
★[[400,12,40]]generalized bicycle40012d ≤ 4048.0·12·14·@mathysrennelaOx Alpha 1.02026-08-23
★[[498,6,63]]known paramsgeneralized bicycle4986d ≤ 6347.819·20·14·@vprussoClaudeClaude Opus 52026-09-23
★[[558,4,81]]known paramsgeneralized bicycle5584d ≤ 8147.032·19·1.044·@vprussoClaudeClaude Opus 52026-09-22
★[[350,73,15]]known paramscheck-deletion35073d ≤ 1546.929·15·14·@vprussoClaudeClaude Opus 52026-09-22
★[[256,120,10]]other256120d ≤ 1046.875·16·16·@MathysRennelaGLM 5.3 Flash2026-09-22
★[[684,20,40]]other68420d ≤ 4046.784·8·1.24·@EthanFeldGPT-5.6 Luna2026-09-11
[[684,8,63]]other6848d ≤ 6346.421·8·1.294·@MathysRennelaTencent Hy32026-07-18
[[350,72,15]]known paramscheck-deletion35072d ≤ 1546.286·15·14·@vprussoClaudeClaude Opus 52026-09-21
★[[330,14,33]]known paramsgeneralized bicycle33014d ≤ 3346.2·22·14·@vprussoClaudeClaude Opus 52026-09-24
★[[612,36,28]]distance-amplified61236d ≤ 2846.118·11·14·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[210,24,20]]generalized bicycle21024d ≤ 2045.714·10·14·@willzengClaudeClaude Fable 52026-07-14
[[350,71,15]]known paramscheck-deletion35071d ≤ 1545.643·15·14·@vprussoClaudeClaude Opus 52026-09-21
★[[360,8,45]]bivariate bicycle3608d ≤ 4545.0·29·1.044·@mathysrennelaGPT-5.6 Luna2026-08-18
[[630,36,28]]other63036d ≤ 2844.8·11·14·@FarLabClaudeClaude Fable 5.12026-09-30
[[390,14,35]]known paramsgeneralized bicycle39014d ≤ 3543.974·18·14·@vprussoClaudeClaude Opus 52026-09-24
[[462,6,57]]known paramsgeneralized bicycle4626d ≤ 5742.195·20·14·@vprussoClaudeClaude Opus 52026-09-24
[[672,4,84]]known paramsgeneralized bicycle6724d ≤ 8442.0·16·14·@vprussoClaudeClaude Opus 52026-09-23
★[[620,14,43]]other62014d ≤ 4341.752·8·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
★[[620,4,80]]known paramsgeneralized bicycle6204d ≤ 8041.29·16·14·@vprussoClaudeClaude Opus 52026-09-24
★[[336,24,24]]lifted product33624d ≤ 2441.143·8·16·@mathysrennelahuman2026-08-28
★[[198,24,18]]known paramsgeneralized bicycle19824d ≤ 1839.273·26·14·@vprussoClaudeClaude Opus 52026-09-24
★[[350,70,14]]lifted product35070d ≤ 1439.2·9·14·@EthanFeldGPT-5.6 Luna2026-09-10
★[[320,64,14]]known paramsbalanced product32064d ≤ 1439.2·9·14·@yifanhongGPT 5.6 Sol2026-08-02
★[[300,60,14]]lifted product30060d ≤ 1439.2·9·14·Bhardwaj et al.2026
★[[200,40,14]]lifted product20040d ≤ 1439.2·15·14·@EthanFeldGPT-5.6 Luna2026-09-10
★[[628,24,32]]distance-amplified62824d ≤ 3239.134·17·14·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[574,56,20]]other57456d ≤ 2039.024·11·14·@mrvee-qC-beeGPT-6 Astra2026-10-01
★[[234,28,18]]known paramslifted product23428d ≤ 1838.769·10·16·Dongheng Qian et al.GPT-5.6 Luna2026-08-10
★[[232,62,12]]known paramspair-partition CPM23262d ≤ 1238.483·8·16·Maskara, Nishad2026
★[[390,6,50]]known paramsgeneralized bicycle3906d ≤ 5038.462·22·14·@vprussoClaudeClaude Opus 52026-09-24
★[[248,66,12]]known paramspair-partition CPM24866d ≤ 1238.323·8·16·@MathysRennela et al.Mimo-V2.6-Flash2026-09-29
★[[372,44,18]]lifted product37244d ≤ 1838.323·10·14·@mathysrennelahuman2026-08-28
★[[264,70,12]]known paramspair-partition CPM26470d ≤ 1238.182·8·16·@MathysRennela et al.Mimo-V2.6-Flash2026-09-29
★[[280,74,12]]known paramspair-partition CPM28074d ≤ 1238.057·8·16·@MathysRennela et al.Mimo-V2.6-Flash2026-09-29
★[[288,76,12]]known paramspair-partition CPM28876d ≤ 1238.0·8·16·@MathysRennela et al.Mimo-V2.6-Flash2026-09-29
★[[296,78,12]]known paramspair-partition CPM29678d ≤ 1237.946·8·16·@MathysRennela et al.Mimo-V2.6-Flash2026-09-29
★[[558,12,42]]other55812d ≤ 4237.935·8·1.056·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
★[[228,86,10]]known paramscheck-deletion22886d ≤ 1037.719·12·16·@vprussoClaudeClaude Opus 52026-09-22
★[[336,88,12]]known paramspair-partition CPM33688d ≤ 1237.714·8·16·@MathysRennela et al.Mimo-V2.6-Flash2026-09-29
★[[276,104,10]]known paramscheck-deletion276104d ≤ 1037.681·12·16·@vprussoClaudeClaude Opus 52026-09-22
★[[256,150,8]]other256150d ≤ 837.5·16·16·@MathysRennelaMiMo-V2.6-Flash2026-09-28
★[[540,12,41]]other54012d ≤ 4137.356·8·1.076·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
[[276,103,10]]known paramscheck-deletion276103d ≤ 1037.319·12·16·@vprussoClaudeClaude Opus 52026-09-21
★[[402,6,50]]known paramsgeneralized bicycle4026d ≤ 5037.313·14·1.024·@vprussoClaudeClaude Opus 52026-09-23
[[228,85,10]]known paramscheck-deletion22885d ≤ 1037.281·12·1.16·@vprussoClaudeClaude Opus 52026-09-21
★[[658,380,8]]pair-partition CPM658380d ≤ 836.96·14·16·@MathysRennelaSpace Bunny Alpha 1.02026-10-01
[[276,102,10]]known paramscheck-deletion276102d ≤ 1036.957·12·16·@vprussoClaudeClaude Opus 52026-09-21
★[[170,32,14]]known paramslifted product17032d ≤ 1436.894·10·14·@mathysrennelahuman2026-08-28
[[228,84,10]]other22884d ≤ 1036.842·12·1.26·@mathysrennelaOmen Alpha 1.02026-09-09
[[756,24,34]]generalized bicycle75624d ≤ 3436.698·8·14·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-23
[[276,101,10]]other276101d ≤ 1036.594·12·16·@mathysrennelaOmen Alpha 1.02026-09-09
★[[136,34,12]]other13634d ≤ 1236.0·12·14·@mathysrennelaOx Alpha 1.02026-08-24
★[[682,2,110]]known paramsgeneralized bicycle6822d ≤ 11035.484·14·14·@vprussoClaudeClaude Opus 52026-09-24
★[[534,24,28]]other53424d ≤ 2835.236·8·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
★[[288,8,35]]bivariate bicycle2888d ≤ 3534.028·27·14·@mathysrennelaGPT-5.6 Luna2026-08-18
★[[662,2,106]]known paramsgeneralized bicycle6622d ≤ 10633.946·14·1.014·@vprussoClaudeClaude Opus 52026-09-23
★[[336,28,20]]lifted product33628d ≤ 2033.333·8·16·@mathysrennelahuman2026-08-28
[[510,4,65]]known paramsgeneralized bicycle5104d ≤ 6533.137·19·14·@vprussoClaudeClaude Opus 52026-09-24
★[[132,30,12]]generalized bicycle13230d ≤ 1232.727·12·14·Yang et al.2026-08-07
★[[490,40,20]]distance-amplified49040d ≤ 2032.653·10·14·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
[[256,130,8]]known paramsother256130d ≤ 832.5·16·16·@MathysRennelaGLM 5.3 Flash2026-09-22
★[[564,286,8]]pair-partition CPM564286d ≤ 832.454·12·14·@MathysRennelaSpace Bunny Alpha 1.02026-10-01
★[[576,292,8]]other576292d ≤ 832.444·12·16·@mathysrennelaDeepseek V4 Flash 07312026-08-05
★[[254,42,14]]generalized bicycle25442d ≤ 1432.409·10·14·@mathysrennelaGLM 5.3 Flash (Zed agent)2026-09-22
★[[192,43,12]]other19243d ≤ 1232.25·12·14·@mathysrennelaGLM 5.3 Flash2026-09-09
★[[378,6,45]]known paramsgeneralized bicycle3786d ≤ 4532.143·20·14·@vprussoClaudeClaude Opus 52026-09-23
★[[640,20,32]]other64020d ≤ 3232.0·8·14·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
★[[288,16,24]]generalized bicycle28816d ≤ 2432.0·12·14·@mathysrennelaOx Alpha 1.02026-08-23
★[[372,14,29]]other37214d ≤ 2931.651·8·1.036·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-27
★[[646,2,101]]known paramsgeneralized bicycle6462d ≤ 10131.582·14·1.024·@vprussoClaudeClaude Opus 52026-09-23
★[[598,2,97]]known paramsgeneralized bicycle5982d ≤ 9731.468·16·14·@vprussoClaudeClaude Opus 52026-09-24
[[510,40,20]]other51040d ≤ 2031.373·10·14·@FarLabClaudeClaude Fable 5.12026-09-30
[[354,6,43]]known paramsgeneralized bicycle3546d ≤ 4331.339·22·1.074·@vprussoClaudeClaude Opus 52026-09-23
[[524,4,64]]known paramsgeneralized bicycle5244d ≤ 6431.267·16·14·@vprussoClaudeClaude Opus 52026-09-24
★[[228,87,9]]known paramscheck-deletion22887d ≤ 930.908·12·1.116·@vprussoClaudeClaude Opus 52026-09-21
★[[128,20,14]]generalized bicycle12820d ≤ 1430.625·16·14·@mathysrennelaXiaomi MiMo-V2.52026-08-15
[[228,86,9]]known paramscheck-deletion22886d ≤ 930.553·12·1.116·@vprussoClaudeClaude Opus 52026-09-21
★[[310,14,26]]generalized bicycle31014d ≤ 2630.529·10·1.084·@vprussoClaudeClaude Opus 4.82026-07-24
★[[302,36,16]]distance-amplified30236d ≤ 1630.517·9·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[672,20,32]]2BGA coset67220d ≤ 3230.476·6·18·@vprussoClaudeClaude Opus 52026-09-08
[[228,85,9]]known paramscheck-deletion22885d ≤ 930.197·12·1.116·@vprussoClaudeClaude Opus 52026-09-21
[[192,40,12]]other19240d ≤ 1230.0·12·14·@mathysrennelaOx Alpha 1.02026-08-24
[[480,4,60]]known paramsgeneralized bicycle4804d ≤ 6030.0·20·14·@vprussoClaudeClaude Opus 52026-09-23
★[[488,44,18]]other48844d ≤ 1829.213·9·16·@FarLabClaudeClaude Fable 5.12026-09-30
★[[420,18,26]]other42018d ≤ 2628.971·8·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-27
[[330,66,12]]lifted product33066d ≤ 1228.8·9·14·Bhardwaj et al.MiMo-V2.6-Flash2026-09-25
[[240,48,12]]known paramsbalanced product24048d ≤ 1228.8·9·16·@yifanhongGPT 5.6 Sol2026-08-02
★[[210,42,12]]known paramsbalanced product21042d ≤ 1228.8·9·14·@yifanhongGPT 5.6 Sol2026-08-02
★[[200,40,12]]lifted product20040d ≤ 1228.8·9·14·Bhardwaj et al.2026
[[320,36,16]]other32036d ≤ 1628.8·9·16·@FarLabClaudeClaude Fable 5.12026-09-30
★[[618,44,20]]other61844d ≤ 2028.479·9·16·@FarLabClaudeClaude Fable 5.12026-09-30
[[612,4,66]]known paramsgeneralized bicycle6124d ≤ 6628.471·14·14·@vprussoClaudeClaude Opus 52026-09-23
★[[576,16,32]]2BGA coset57616d ≤ 3228.444·8·1.126·@vprussoClaudeClaude Fable 5.12026-09-20
★[[576,28,24]]known paramsquantum Tanner57628d ≤ 2428.0·9·14·@MathysRennelaDeepSeek V4 Flash 07312026-08-21
★[[126,18,14]]generalized bicycle12618d ≤ 1428.0·10·14·@willzengClaudeClaude Fable 52026-07-14
★[[344,6,40]]known paramsgeneralized bicycle3446d ≤ 4027.907·14·14·@vprussoClaudeClaude Opus 52026-09-23
★[[396,10,33]]generalized bicycle39610d ≤ 3327.5·12·14·@mathysrennelaOx Alpha 1.02026-08-23
★[[310,16,23]]2BGA coset31016d ≤ 2327.303·9·14·@vprussoClaudeClaude Opus 4.82026-08-02
★[[428,4,54]]known paramsgeneralized bicycle4284d ≤ 5427.252·20·14·@vprussoClaudeClaude Opus 52026-09-23
★[[318,6,38]]known paramsgeneralized bicycle3186d ≤ 3827.245·22·1.034·@vprussoClaudeClaude Opus 52026-09-23
★[[184,50,10]]known paramspair-partition CPM18450d = 1027.174·8·16·Lee, Jong Yeon2026
★[[288,24,18]]lifted product28824d ≤ 1827.0·8·16·@mathysrennelahuman2026-08-28
★[[436,4,54]]known paramsgeneralized bicycle4364d ≤ 5426.752·14·14·@vprussoClaudeClaude Opus 52026-09-24
★[[342,6,39]]known paramsgeneralized bicycle3426d ≤ 3926.684·22·14·@vprussoClaudeClaude Opus 52026-09-24
★[[192,20,16]]bivariate bicycle19220d ≤ 1626.667·8·16·@MathysRennelaMimo V2.52026-09-15
★[[240,16,20]]2BGA coset24016d ≤ 2026.667·8·16·Aydin et al.2026-07-14
★[[136,36,10]]known paramscheck-deletion13636d ≤ 1026.471·12·1.24·@vprussoClaudeClaude Opus 52026-09-21
★[[390,10,32]]other39010d ≤ 3226.256·8·1.066·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-27
[[336,20,21]]2BGA coset33620d ≤ 2126.25·8·16·@willzengClaudeClaude Fable 52026-07-14
★[[610,40,20]]distance-amplified61040d ≤ 2026.23·9·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[310,12,26]]generalized bicycle31012d ≤ 2626.168·8·14·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-23
[[136,35,10]]known paramscheck-deletion13635d ≤ 1025.735·12·1.24·@vprussoClaudeClaude Opus 52026-09-21
★[[406,8,36]]other4068d ≤ 3625.537·8·1.034·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-27
[[372,12,28]]other37212d ≤ 2825.29·8·1.076·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-25
★[[224,22,16]]lifted product22422d ≤ 1625.143·8·16·@mathysrennelahuman2026-08-28
[[336,26,18]]generalized bicycle33626d ≤ 1825.071·8·14·@seunomonijeClaudeClaude Fable 52026-07-14
★[[288,18,20]]bivariate bicycle28818d ≤ 2025.0·8·16·@MathysRennelaOmen Alpha 1.02026-09-09
★[[300,12,25]]other30012d ≤ 2525.0·8·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-27
[[426,6,42]]known paramsgeneralized bicycle4266d ≤ 4224.845·18·1.384·@vprussoClaudeClaude Opus 52026-09-23
★[[672,340,7]]other672340d ≤ 724.792·12·16·@mathysrennelaOmen Alpha 1.02026-09-09
★[[556,2,83]]known paramsgeneralized bicycle5562d ≤ 8324.781·18·1.054·@vprussoClaudeClaude Opus 52026-09-24
[[660,18,30]]generalized bicycle66018d ≤ 3024.545·8·1.54·@edoaltamuraGPT-52026-08-28
★[[378,4,48]]known paramsgeneralized bicycle3784d ≤ 4824.381·15·14·@vprussoClaudeClaude Opus 52026-09-24
★[[210,26,14]]generalized bicycle21026d ≤ 1424.267·8·16·@seunomonijeClaudeClaude Fable 52026-07-17
★[[500,4,55]]known paramsgeneralized bicycle5004d ≤ 5524.2·14·14·@vprussoClaudeClaude Opus 52026-09-24
[[672,18,30]]generalized bicycle67218d ≤ 3024.107·8·1.134·@vprussoClaudeClaude Opus 4.82026-07-24
[[416,4,50]]known paramsgeneralized bicycle4164d ≤ 5024.038·20·14·@vprussoClaudeClaude Opus 52026-09-24
★[[288,12,24]]bivariate bicycle28812d ≤ 2424.0·8·16·@MathysRennelaOmen Alpha 1.02026-09-09
★[[128,12,16]]generalized bicycle12812d ≤ 1624.0·16·14·@mathysrennelaXiaomi MiMo-V2.52026-07-29
[[336,20,20]]generalized bicycle33620d ≤ 2023.81·8·14·@FarLabClaudeClaude Fable 52026-07-08
★[[526,2,79]]known paramsgeneralized bicycle5262d ≤ 7923.73·18·14·@vprussoClaudeClaude Opus 52026-09-23
★[[168,20,14]]2BGA coset16820d ≤ 1423.333·8·16·Aydin et al.2026-06-15
[[336,24,18]]generalized bicycle33624d ≤ 1823.143·8·14·@seunomonijeClaudeClaude Fable 52026-07-14
★[[378,12,27]]other37812d ≤ 2723.143·7·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-25
★[[268,24,16]]distance-amplified26824d ≤ 1622.925·9·14·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[178,24,13]]generalized bicycle17824d = 1322.787·8·16·@mathysrennelaOx Alpha 1.02026-08-23
★[[340,16,22]]other34016d ≤ 2222.776·7·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-25
★[[364,8,32]]other3648d ≤ 3222.505·8·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-27
★[[502,2,75]]known paramsgeneralized bicycle5022d ≤ 7522.41·24·1.034·@vprussoClaudeClaude Opus 52026-09-22
[[432,20,22]]known paramsquantum Tanner43220d ≤ 2222.407·9·14·@MathysRennelaDeepSeek V4 Flash 07312026-08-21
[[650,2,85]]known paramsgeneralized bicycle6502d ≤ 8522.231·16·14·@vprussoClaudeClaude Opus 52026-09-24
★[[392,8,33]]other3928d ≤ 3322.224·8·1.126·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-27
★[[330,10,27]]other33010d ≤ 2722.091·8·14·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-27
★[[384,16,23]]other38416d ≤ 2322.042·7·14·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
★[[136,37,9]]known paramscheck-deletion13637d ≤ 922.037·12·14·@vprussoClaudeClaude Opus 52026-09-21
★[[630,12,34]]generalized bicycle63012d ≤ 3422.019·6·16·@dorakingxClaudeClaude Fable 5.1 (Claude Code)2026-09-05
★[[308,10,26]]other30810d ≤ 2621.948·8·1.046·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-27
[[280,24,16]]other28024d ≤ 1621.943·9·14·@FarLabClaudeClaude Fable 5.12026-09-30
★[[372,12,26]]other37212d ≤ 2621.806·7·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-25
[[180,20,14]]2BGA coset18020d ≤ 1421.778·8·14·@FarLabClaudeClaude Opus 4.82026-06-22
★[[360,10,28]]generalized bicycle36010d ≤ 2821.778·8·1.144·@shiy1022ClaudeClaude Opus 52026-09-06
★[[372,14,24]]other37214d ≤ 2421.677·7·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-24
[[312,10,26]]bivariate bicycle31210d ≤ 2621.667·26·1.694·@mathysrennelaGPT-5.6 Luna2026-08-18
★[[256,154,6]]other256154d ≤ 621.656·16·16·@MathysRennelaMiMo-V2.6-Flash2026-09-28
★[[592,2,80]]known paramsgeneralized bicycle5922d ≤ 8021.622·16·14·@vprussoClaudeClaude Opus 52026-09-23
[[136,36,9]]known paramscheck-deletion13636d ≤ 921.441·12·1.334·@vprussoClaudeClaude Opus 52026-09-21
★[[168,16,15]]2BGA coset16816d ≤ 1521.429·8·14·Aydin et al.2026-06-15
[[420,10,30]]2BGA coset42010d ≤ 3021.429·8·1.074·@vprussoClaudeClaude Opus 4.82026-08-02
[[336,28,16]]generalized bicycle33628d ≤ 1621.333·8·1.254·@seunomonijeClaudeClaude Fable 52026-07-20
★[[270,10,24]]other27010d ≤ 2421.333·8·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-27
★[[510,16,26]]generalized bicycle51016d ≤ 2621.208·6·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-23
★[[518,2,74]]known paramsgeneralized bicycle5182d ≤ 7421.143·16·1.034·@vprussoClaudeClaude Opus 52026-09-23
★[[512,12,30]]2BGA coset51212d ≤ 3021.094·8·1.074·@vprussoClaudeClaude Fable 5.12026-09-20
★[[506,2,73]]known paramsgeneralized bicycle5062d ≤ 7321.063·18·1.034·@vprussoClaudeClaude Opus 52026-09-23
[[136,35,9]]known paramscheck-deletion13635d ≤ 920.846·12·1.334·@vprussoClaudeClaude Opus 52026-09-21
★[[360,12,25]]other36012d ≤ 2520.833·7·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
★[[192,10,20]]bivariate bicycle19210d ≤ 2020.833·8·16·@MathysRennelaOmen Alpha 1.02026-09-09
[[636,2,81]]known paramsgeneralized bicycle6362d ≤ 8120.632·22·14·@vprussoClaudeClaude Opus 52026-09-24
★[[336,12,24]]other33612d ≤ 2420.571·7·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-27
★[[308,8,28]]other3088d ≤ 2820.364·8·14·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-27
★[[654,6,47]]known paramsgeneralized bicycle6546d ≤ 4720.266·8·16·@vprussoClaudeClaude Opus 52026-09-20
★[[330,34,14]]generalized bicycle33034d ≤ 1420.194·8·16·@seunomonijeClaudeClaude Fable 52026-07-17
★[[240,10,22]]other24010d ≤ 2220.167·8·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-27
[[390,78,10]]lifted product39078d ≤ 1020.0·8·14·@vprussoClaudeClaude Fable 5.12026-09-20
[[350,70,10]]lifted product35070d ≤ 1020.0·8·16·@vprussoClaudeClaude Fable 5.12026-09-20
[[330,66,10]]lifted product33066d ≤ 1020.0·8·14·@vprussoClaudeClaude Fable 5.12026-09-20
[[320,64,10]]lifted product32064d ≤ 1020.0·8·14·@mathysrennelaDeepSeek V4 Flash 07312026-09-18
[[270,54,10]]balanced product27054d ≤ 1020.0·9·1.24·@mathysrennelaXiaomi Mimo-V2.52026-07-31
[[220,44,10]]lifted product22044d ≤ 1020.0·9·14·@yhu1996ClaudeClaude Opus 4.82026-08-05
★[[160,32,10]]known paramsbalanced product16032d ≤ 1020.0·9·14·@yifanhongGPT 5.6 Sol2026-08-02
★[[150,30,10]]known paramsbalanced product2D-local bilayer15030d = 1020.00.0083910021410.3@yifanhongGPT 5.6 Sol2026-08-02
★[[630,14,30]]generalized bicycle63014d ≤ 3020.0·6·16·@dorakingx2026-09-11
★[[310,14,21]]generalized bicycle31014d ≤ 2119.916·8·14·@shassingerOpenAI 5.6 Sol2026-07-14
★[[948,24,28]]distance-amplified94824d ≤ 2819.848·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[558,14,28]]generalized bicycle55814d ≤ 2819.67·6·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-23
★[[102,20,10]]generalized bicycle10220d ≤ 1019.608·9·14·@gideonlsxClaudeClaude Opus 5.52026-09-28
[[180,18,14]]2BGA coset18018d ≤ 1419.6·8·16·@FarLabClaudeClaude Opus 4.82026-06-22
★[[944,32,24]]distance-amplified94432d ≤ 2419.525·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[708,24,24]]distance-amplified70824d ≤ 2419.525·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
[[580,2,75]]known paramsgeneralized bicycle5802d ≤ 7519.397·24·14·@vprussoClaudeClaude Opus 52026-09-23
★[[350,8,29]]other3508d ≤ 2919.223·8·1.076·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-27
[[720,24,24]]other72024d ≤ 2419.2·7·16·@FarLabClaudeClaude Fable 5.12026-09-30
★[[360,12,24]]known paramsbivariate bicycle2D-local bilayer36012d ≤ 2419.20.0083620911614.7Zijian Liang et al.2025
★[[442,2,65]]known paramsgeneralized bicycle4422d ≤ 6519.118·20·14·@vprussoClaudeClaude Opus 52026-09-23
★[[144,14,14]]bivariate bicycle14414d ≤ 1419.056·8·16·@MathysRennelaMimo V2.52026-09-15
[[240,14,18]]2BGA coset24014d ≤ 1818.9·8·14·@vprussoClaudeClaude Opus 4.82026-08-04
★[[170,8,20]]known paramspair-partition CPM1708d ≤ 2018.824·10·16·Lee, Jong Yeon2026
★[[922,18,31]]tile2D-local bilayer92218d ≤ 3118.7610.0579831921423.7@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-17
★[[576,12,30]]bivariate bicycle57612d ≤ 3018.75·6·1.076·@cbjuan2026-09-16
[[924,18,31]]tile2D-local bilayer92418d ≤ 3118.7210.0578832011.45422.8@e-eightDeepSeek V4 Flash (deepseek-flash)2026-09-15
★[[576,298,6]]other576298d ≤ 618.625·16·26·@mathysrennelaOmen Alpha 1.02026-09-09
★[[330,6,32]]known paramsgeneralized bicycle3306d ≤ 3218.618·20·14·@vprussoClaudeClaude Opus 52026-09-23
★[[252,130,6]]other252130d = 618.571·12·14·@mathysrennelaDeepseek V4 Flash 07312026-08-05
★[[104,30,8]]known paramspair-partition CPM10430d = 818.462·8·16·Lee, Jong Yeon2026
★[[558,10,32]]generalized bicycle55810d ≤ 3218.351·6·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-23
★[[664,2,78]]known paramsgeneralized bicycle6642d ≤ 7818.325·12·14·@vprussoClaudeClaude Opus 52026-09-24
★[[630,20,24]]generalized bicycle63020d ≤ 2418.286·6·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-23
★[[73,37,6]]other7337d = 618.247·28·14·@mathysrennelaDeepSeek V4 Flash 07312026-08-15
★[[466,2,65]]known paramsgeneralized bicycle4662d ≤ 6518.133·18·14·@vprussoClaudeClaude Opus 52026-09-23
[[510,16,24]]known paramsgeneralized bicycle51016d ≤ 2418.071·6·16·@FarLabClaudeClaude Fable 52026-08-19
★[[434,10,28]]generalized bicycle43410d ≤ 2818.065·6·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-23
★[[450,12,26]]bivariate bicycle45012d ≤ 2618.027·6·1.156·@diogoffGPT-6 Luna2026-09-28
★[[64,18,8]]generalized bicycle2D-local bilayer6418d = 818.00.00898323167.07@mathysrennelaSolar Pro 4 (Upstage AI)2026-08-20
★[[288,16,18]]lifted product28816d ≤ 1818.0·7·16·Qian et al.2026
★[[216,12,18]]bivariate bicycle21612d ≤ 1818.0·8·14·@MathysRennelaOmen Alpha 1.02026-09-09
★[[698,2,79]]known paramsgeneralized bicycle6982d ≤ 7917.883·8·1.036·@vprussoClaudeClaude Opus 52026-09-22
★[[136,38,8]]known paramspair-partition CPM13638d = 817.882·8·16·Lee, Jong Yeon2026
[[968,18,31]]tile2D-local bilayer96818d ≤ 3117.870.0552833631.13423.7@e-eightDeepSeek V4 Flash 07312026-09-22
[[420,12,25]]other42012d ≤ 2517.857·7·1.086·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-24
★[[434,16,22]]generalized bicycle43416d ≤ 2217.843·6·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-23
★[[144,10,16]]bivariate bicycle14410d ≤ 1617.778·8·14·@MathysRennelaOmen Alpha 1.02026-09-09
★[[196,12,17]]generalized bicycle19612d ≤ 1717.694·7·16·@MathysRennela2026-08-17
★[[550,38,16]]lifted product55038d ≤ 1617.687·7·1.126·@Abhay-SureshClaudeClaude Opus 52026-09-22
★[[152,42,8]]known paramspair-partition CPM15242d = 817.684·8·16·Lee, Jong Yeon2026
★[[102,22,9]]generalized bicycle10222d ≤ 917.471·8·16·@mathysrennelaMimo-V2.6-Free2026-09-27
★[[470,2,64]]known paramsgeneralized bicycle4702d ≤ 6417.43·14·1.024·@vprussoClaudeClaude Opus 52026-09-23
★[[540,12,28]]generalized bicycle54012d ≤ 2817.422·6·1.074·@edoaltamuraGPT-52026-08-29
★[[580,4,50]]known paramsgeneralized bicycle5804d ≤ 5017.241·8·14·@vprussoClaudeClaude Opus 52026-09-21
★[[904,12,36]]distance-amplified90412d ≤ 3617.204·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[128,22,10]]generalized bicycle12822d ≤ 1017.188·8·16·@mathysrennelaMimo-V2.6-Free2026-09-27
★[[882,18,29]]tile2D-local bilayer88218d ≤ 2917.1630.053830421.24424.4@e-eightDeepSeek V4 Flash 07312026-09-17
★[[494,2,65]]known paramsgeneralized bicycle4942d ≤ 6517.105·14·14·@vprussoClaudeClaude Opus 52026-09-23
[[910,12,36]]other91012d ≤ 3617.09·7·16·@FarLabClaudeClaude Fable 5.12026-09-30
[[315,65,9]]lifted product31565d ≤ 916.714·8·14·@vprussoClaudeClaude Fable 5.12026-09-20
★[[126,26,9]]generalized bicycle12626d ≤ 916.714·8·16·@mathysrennelaMimo-V2.6-Free2026-09-27
[[320,66,9]]known paramscheck-deletion32066d ≤ 916.706·9·14·@vprussoClaudeClaude Opus 52026-09-21
★[[376,98,8]]pair-partition CPM37698d ≤ 816.681·8·14·@MathysRennelaSpace Bunny Alpha 1.02026-10-01
★[[84,14,10]]known paramsgeneralized bicycle8414d = 1016.667·8·14·@MathysRennela2026-09-17
[[350,72,9]]known paramscheck-deletion35072d ≤ 916.663·9·1.224·@vprussoClaudeClaude Opus 52026-09-21
[[390,80,9]]known paramscheck-deletion39080d ≤ 916.615·9·14·@vprussoClaudeClaude Opus 52026-09-22
★[[630,8,36]]bivariate bicycle6308d ≤ 3616.457·6·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-23
[[350,71,9]]known paramscheck-deletion35071d ≤ 916.431·9·1.224·@vprussoClaudeClaude Opus 52026-09-21
[[390,79,9]]known paramscheck-deletion39079d ≤ 916.408·9·14·@vprussoClaudeClaude Opus 52026-09-21
★[[800,18,27]]tile2D-local bilayer80018d ≤ 2716.4020.0506827371.04423@e-eightClaudeClaude Opus 5.52026-09-23
[[376,6,32]]lifted product3766d ≤ 3216.34·10·14·@vprussoClaudeClaude Opus 52026-08-07
★[[216,8,21]]bivariate bicycle2168d ≤ 2116.333·8·16·@MathysRennelaOmen Alpha 1.02026-09-09
[[390,78,9]]lifted product39078d ≤ 916.2·8·14·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-16
[[360,72,9]]lifted product36072d ≤ 916.2·8·1.114·@vprussoClaudeClaude Fable 5.12026-09-20
[[350,70,9]]lifted product35070d ≤ 916.2·8·14·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-16
[[330,66,9]]lifted product33066d ≤ 916.2·8·14·@mathysrennelaDeepSeek V4 Flash 07312026-09-18
[[320,64,9]]lifted product32064d ≤ 916.2·8·1.114·@mathysrennelaDeepSeek V4 Flash 07312026-09-18
★[[360,8,27]]bivariate bicycle3608d ≤ 2716.2·7·16·@mathysrennela2026-09-21
[[248,10,20]]2BGA coset24810d ≤ 2016.129·8·16·@vprussoClaudeClaude Opus 4.82026-08-02
★[[700,44,16]]lifted product70044d ≤ 1616.091·7·14·@mathysrennelaGLM 5.3 Flash2026-09-14
★[[144,16,12]]bivariate bicycle14416d ≤ 1216.0·8·14·@MathysRennelaOmen Alpha 1.02026-09-09
[[192,12,16]]2BGA coset19212d ≤ 1616.0·8·14·@vprussoClaudeClaude Opus 4.82026-08-03
[[288,8,24]]2BGA coset2888d ≤ 2416.0·8·14·@vprussoClaudeClaude Opus 4.82026-08-02
★[[126,20,10]]generalized bicycle12620d ≤ 1015.873·8·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[410,2,57]]known paramsgeneralized bicycle4102d ≤ 5715.849·18·1.024·@vprussoClaudeClaude Opus 52026-09-23
★[[656,2,72]]known paramsgeneralized bicycle6562d ≤ 7215.805·12·14·@vprussoClaudeClaude Opus 52026-09-24
★[[310,10,22]]generalized bicycle31010d ≤ 2215.613·6·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-23
★[[824,32,20]]distance-amplified82432d ≤ 2015.534·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[618,24,20]]distance-amplified61824d ≤ 2015.534·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
[[464,2,60]]known paramsgeneralized bicycle4642d ≤ 6015.517·22·14·@vprussoClaudeClaude Opus 52026-09-23
★[[112,12,12]]generalized bicycle2D-local bilayer11212d ≤ 1215.4290.00768728147.81@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[602,8,34]]generalized bicycle6028d ≤ 3415.362·8·1.124·@mathysrennelaDeepSeek V4 Flash 07312026-09-14
[[834,32,20]]distance-amplified83432d ≤ 2015.348·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[340,16,18]]known paramsbivariate bicycle34016d ≤ 1815.247·6·16·Zijian Liang et al.2025
★[[540,8,32]]bivariate bicycle5408d ≤ 3215.17·6·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-23
★[[154,8,17]]bivariate bicycle1548d ≤ 1715.013·8·16·@mathysrennelaGPT-5.6 Luna2026-08-28
★[[480,8,30]]2BGA coset4808d ≤ 3015.0·6·16·@vprussoClaudeClaude Opus 52026-09-06
★[[66,20,7]]generalized bicycle2D-local bilayer6620d = 714.8480.007319235145.39@mathysrennelaSolar Pro 4 (Upstage AI)2026-08-20
[[320,6,28]]generalized bicycle3206d ≤ 2814.7·8·14·@FarLabClaudeClaude Opus 4.82026-07-06
★[[216,6,23]]bivariate bicycle2166d ≤ 2314.694·8·16·@MathysRennelaOmen Alpha 1.02026-09-09
★[[264,8,22]]2BGA coset2648d ≤ 2214.667·7·16·@vprussoClaudeClaude Opus 4.82026-08-04
★[[140,8,16]]generalized bicycle1408d ≤ 1614.629·12·14·@mathysrennelaXiaomi MiMo-V2.52026-07-29
★[[84,34,6]]known paramspair-partition CPM8434d = 614.571·12·14·Okada et al.2026
[[112,20,9]]generalized bicycle11220d ≤ 914.464·8·16·@mathysrennelaMimo-V2.6-Free2026-09-27
[[102,18,9]]generalized bicycle10218d ≤ 914.294·8·16·@mathysrennelaMimo-V2.6-Free2026-09-27
[[280,10,20]]2BGA coset28010d ≤ 2014.286·8·16·@vprussoClaudeClaude Opus 4.82026-08-03
★[[103,30,7]]other10330d ≤ 714.272·14·1.144·@davidpluGPT-6 (Codex)2026-09-29
[[126,28,8]]generalized bicycle12628d = 814.222·10·14·Panteleev et al.2019-04-04
★[[288,16,16]]generalized bicycle28816d ≤ 1614.222·6·18·@willzengClaudeClaude Fable 52026-07-14
[[576,8,32]]lifted product5768d ≤ 3214.222·10·14·@vprussoClaudeClaude Opus 52026-08-07
[[144,8,16]]known paramsbivariate bicycle1448d ≤ 1614.222·8·16·@MathysRennelaOmen Alpha 1.02026-09-09
[[144,8,16]]generalized bicycle1448d ≤ 1614.222·10·14·@mathysrennelaXiaomi MiMo-V2.52026-07-29
[[682,20,22]]generalized bicycle68220d ≤ 2214.194·6·16·@FarLabClaudeClaude Fable 52026-08-19
★[[254,14,16]]generalized bicycle25414d ≤ 1614.11·6·16·@mathysrennela2026-08-15
★[[128,8,15]]generalized bicycle1288d ≤ 1514.062·12·14·@mathysrennelaXiaomi MiMo-V2.52026-07-28
★[[330,8,24]]known paramsbivariate bicycle3308d ≤ 2413.964·6·16·Zijian Liang et al.2025
[[592,8,32]]lifted product5928d ≤ 3213.838·8·14·@vprussoClaudeClaude Opus 52026-08-07
★[[392,2,52]]known paramsgeneralized bicycle3922d ≤ 5213.796·16·14·@vprussoClaudeClaude Opus 52026-09-23
★[[186,10,16]]generalized bicycle18610d ≤ 1613.763·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[672,8,34]]2BGA coset6728d ≤ 3413.762·6·1.246·@vprussoClaudeClaude Opus 52026-09-07
★[[42,16,6]]known paramsgeneralized bicycle4216d = 613.714·22·14·Liangdong Lu et al.GPT-5.6 Luna2026-08-10
★[[56,12,8]]generalized bicycle5612d = 813.7140.01958497148.6@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[124,14,11]]generalized bicycle12414d = 1113.661·8·14·@mathysrennelaOx Alpha 1.02026-08-23
[[826,28,20]]distance-amplified82628d ≤ 2013.559·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[288,12,18]]bivariate bicycle28812d ≤ 1813.5·6·16·Bravyi et al.2023-08-15
★[[144,6,18]]generalized bicycle1446d ≤ 1813.5·12·14·@mathysrennelaXiaomi MiMo-V2.52026-07-29
★[[280,6,25]]generalized bicycle2806d ≤ 2513.393·8·16·@simsaidanCursor Composer 2.52026-09-07
[[360,75,8]]known paramscheck-deletion36075d ≤ 813.333·8·16·@vprussoClaudeClaude Opus 52026-09-21
★[[96,20,8]]bivariate bicycle9620d = 813.333·8·14·@MathysRennelaMimo V2.52026-09-15
[[240,8,20]]2BGA coset2408d ≤ 2013.333·8·16·@vprussoClaudeClaude Opus 4.82026-07-31
★[[348,4,34]]lifted product3484d ≤ 3413.287·10·14·@vprussoClaudeClaude Opus 52026-08-07
★[[540,112,8]]lifted product540112d ≤ 813.274·6·16·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-16
★[[136,8,15]]generalized bicycle1368d ≤ 1513.235·8·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[602,2,63]]known paramsgeneralized bicycle6022d ≤ 6313.186·8·1.066·@vprussoClaudeClaude Opus 52026-09-20
★[[675,139,8]]lifted product675139d ≤ 813.179·6·18·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-16
[[360,74,8]]lifted product36074d ≤ 813.156·8·16·@mathysrennelaDeepSeek V4 Flash 07312026-09-18
★[[132,6,17]]generalized bicycle1326d ≤ 1713.136·12·14·@mathysrennelaXiaomi MiMo-V2.52026-07-29
★[[610,20,20]]distance-amplified61020d ≤ 2013.115·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
[[310,6,26]]lifted product3106d ≤ 2613.084·9·14·@vprussoClaudeClaude Opus 52026-08-06
★[[120,8,14]]generalized bicycle1208d ≤ 1413.067·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[248,10,18]]known paramsbivariate bicycle24810d ≤ 1813.065·6·16·Zijian Liang et al.2025
★[[200,8,18]]generalized bicycle2008d ≤ 1812.96·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[900,182,8]]topological900182d ≤ 812.942·5·110·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[420,8,26]]bivariate bicycle4208d ≤ 2612.876·6·1.086·@cbjuan2026-09-16
★[[180,8,17]]generalized bicycle1808d ≤ 1712.844·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[718,64,12]]distance-amplified71864d ≤ 1212.836·6·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
[[360,72,8]]lifted product36072d ≤ 812.8·8·16·@mathysrennelaDeepSeek V4 Flash 07312026-09-18
[[315,63,8]]lifted product31563d ≤ 812.8·8·14·@mathysrennelaDeepSeek V4 Flash 07312026-09-18
[[230,46,8]]lifted product23046d = 812.8·9·1.254·@yhu1996ClaudeClaude Opus 4.82026-08-05
[[195,39,8]]lifted product19539d = 812.8·9·14·@yhu1996ClaudeClaude Opus 4.82026-08-04
[[190,38,8]]lifted product19038d = 812.8·9·14·@yhu1996ClaudeClaude Opus 4.82026-08-04
[[180,36,8]]lifted product18036d = 812.8·9·14·@yhu1996ClaudeClaude Opus 4.82026-08-04
[[170,34,8]]lifted product17034d = 812.8·9·14·@yhu1996ClaudeClaude Opus 4.82026-08-04
[[120,24,8]]lifted product12024d = 812.8·9·14·@yhu1996ClaudeClaude Opus 4.82026-08-04
[[100,20,8]]known paramsbalanced product10020d = 812.80.007199571410.6@yifanhongGPT 5.6 Sol2026-08-02
★[[120,6,16]]generalized bicycle1206d ≤ 1612.8·12·14·@mathysrennelaXiaomi MiMo-V2.52026-07-28
★[[563,18,20]]tile2D-local bilayer56318d ≤ 2012.7890.0374854771421.6@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-16
[[136,6,17]]generalized bicycle1366d ≤ 1712.75·12·14·@mathysrennelaXiaomi MiMo-V2.52026-07-29
★[[672,342,5]]other672342d = 512.723·12·16·@mathysrennelaOmen Alpha 1.02026-09-09
[[566,18,20]]tile2D-local bilayer56618d ≤ 2012.7210.0372855101.05423.7@e-eightDeepSeek-V4.1-Flash2026-09-14
★[[510,20,18]]generalized bicycle51020d ≤ 1812.706·6·16·@vprussoClaudeClaude Fable 5.12026-09-22
[[572,18,20]]tile2D-local bilayer57218d ≤ 2012.5870.03855791.05423.3@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-15
[[144,8,15]]bivariate bicycle1448d ≤ 1512.5·8·14·@MathysRennelaOmen Alpha 1.02026-09-09
[[578,18,20]]tile2D-local bilayer57818d ≤ 2012.4570.0364856421.05421.2@npdeepMagic State Labs (Custom) v0.12026-08-12
[[72,14,8]]bivariate bicycle7214d = 812.444·8·14·@mathysrennela2026-09-15
[[312,8,22]]known paramsbivariate bicycle3128d ≤ 2212.41·6·16·Zijian Liang et al.2025
★[[85,42,5]]known paramscheck-deletion8542d ≤ 512.353·24·14·@vprussoClaudeClaude Opus 52026-09-21
[[630,6,36]]generalized bicycle6306d ≤ 3612.343·6·1.066·@vprussoClaudeClaude Opus 52026-09-06
★[[176,6,19]]generalized bicycle1766d ≤ 1912.307·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[192,12,14]]generalized bicycle19212d ≤ 1412.25·6·18·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[196,6,20]]generalized bicycle1966d ≤ 2012.245·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[252,12,16]]known paramsbivariate bicycle25212d ≤ 1612.19·6·16·Zijian Liang et al.2025
★[[210,10,16]]generalized bicycle21010d ≤ 1612.19·6·16·@vprussoClaudeClaude Fable 5.12026-09-24
[[126,6,16]]generalized bicycle1266d ≤ 1612.19·12·14·@mathysrennelaXiaomi MiMo-V2.52026-07-28
[[240,13,15]]generalized bicycle24013d ≤ 1512.188·8·1.074·@FarLabClaudeClaude Fable 52026-07-08
★[[160,6,18]]generalized bicycle1606d ≤ 1812.15·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[256,194,4]]other256194d ≤ 412.125·16·18·@MathysRennelaMiMo-V2.6-Flash2026-09-28
★[[561,68,10]]distance-amplified56168d ≤ 1012.121·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
[[240,6,22]]generalized bicycle2406d ≤ 2212.1·8·16·@simsaidanCursor Composer 2.52026-09-05
★[[112,8,13]]generalized bicycle1128d ≤ 1312.071·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[85,41,5]]known paramscheck-deletion8541d ≤ 512.059·24·14·@vprussoClaudeClaude Opus 52026-09-21
[[450,8,26]]bivariate bicycle4508d ≤ 2612.018·6·1.156·@mathysrennelaGLM 5.3 Flash2026-09-01
★[[192,16,12]]generalized bicycle19216d ≤ 1212.0·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[42,14,6]]known paramsgeneralized bicycle4214d = 612.0·24·14·Liangdong Lu et al.GPT-5.6 Luna2026-08-10
★[[144,12,12]]known paramsbivariate bicycle2D-local bilayer14412d ≤ 1212.00.005961051169.06@fullymiddleagedClaudeClaude Opus 5.52026-09-30
★[[144,12,12]]bivariate bicycle14412d = 1212.0·6·16·Bravyi et al.2023-08-15
[[216,8,18]]known paramsquantum Tanner2168d ≤ 1812.0·9·14·@MathysRennelaDeepSeek V4 Flash 07312026-08-21
★[[128,6,16]]generalized bicycle1286d ≤ 1612.0·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[270,8,20]]known paramsbivariate bicycle2708d ≤ 2011.852·6·16·Zijian Liang et al.2025
★[[358,2,46]]known paramsgeneralized bicycle3582d ≤ 4611.821·16·14·@vprussoClaudeClaude Opus 52026-09-23
[[85,40,5]]other8540d = 511.765·24·14·@mathysrennelaGLM 5.3 Flash2026-09-09
★[[330,8,22]]bivariate bicycle2D-local bilayer3308d ≤ 2211.7330.0049618451612.5@vprussoClaudeClaude Fable 5.12026-09-22
★[[350,6,26]]known paramsbivariate bicycle3506d ≤ 2611.589·6·16·Zijian Liang et al.human2025
★[[406,6,28]]bivariate bicycle4066d ≤ 2811.586·6·16·@vprussoClaudeClaude Fable 5.12026-09-20
★[[562,18,19]]tile2D-local bilayer56218d ≤ 1911.5620.0338854571.05423.9@MathysRennelaDeepSeek V4 Flash 07312026-09-17
★[[404,4,34]]known paramsgeneralized bicycle4044d ≤ 3411.446·8·16·@vprussoClaudeClaude Opus 52026-09-20
★[[70,8,10]]generalized bicycle708d = 1011.429·8·14·@MathysRennela2026-08-17
★[[180,8,16]]bivariate bicycle1808d ≤ 1611.378·6·16·@mathysrennelaMiMo V2.52026-09-15
★[[476,6,30]]bivariate bicycle4766d ≤ 3011.345·6·16·@diogoffGPT-6 Luna2026-09-27
[[136,6,16]]generalized bicycle1366d ≤ 1611.294·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[72,10,9]]generalized bicycle7210d = 911.25·8·14·@MathysRennela2026-08-17
★[[120,6,15]]generalized bicycle1206d ≤ 1511.25·8·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[308,6,24]]known paramsbivariate bicycle3086d ≤ 2411.221·6·16·Zijian Liang et al.2025
★[[548,24,16]]distance-amplified54824d ≤ 1611.212·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
[[140,8,14]]generalized bicycle1408d ≤ 1411.2·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[464,4,36]]known paramsgeneralized bicycle4644d ≤ 3611.172·8·16·@vprussoClaudeClaude Opus 52026-09-21
★[[348,2,44]]known paramsgeneralized bicycle3482d ≤ 4411.126·16·14·@vprussoClaudeClaude Opus 52026-09-23
[[288,50,8]]bivariate bicycle28850d = 811.111·8·14·Cruz-Benito et al.2026-06-01
[[144,16,10]]known paramsbivariate bicycle14416d = 1011.111·8·14·Liangdong Lu et al.2026-09-06
[[288,8,20]]bivariate bicycle2888d ≤ 2011.111·6·16·Cruz-Benito et al.2026
★[[162,8,15]]generalized bicycle1628d ≤ 1511.111·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[72,8,10]]generalized bicycle728d = 1011.111·8·14·@MathysRennela2026-08-17
★[[324,4,30]]lifted product3244d ≤ 3011.111·10·14·@vprussoClaudeClaude Opus 52026-08-06
★[[234,8,18]]known paramsbivariate bicycle2348d ≤ 1811.077·6·16·Zijian Liang et al.2025
★[[104,8,12]]generalized bicycle2D-local bilayer1048d ≤ 1211.0770.00558705146.4@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[570,2,56]]known paramsgeneralized bicycle5702d ≤ 5611.004·8·16·@vprussoClaudeClaude Opus 52026-09-20
★[[266,6,22]]known paramsbivariate bicycle2666d ≤ 2210.917·6·16·Zijian Liang et al.2025
[[660,8,30]]lifted product6608d ≤ 3010.909·7·14·@vprussoClaudeClaude Opus 52026-08-06
[[90,20,7]]known paramsgeneralized bicycle9020d = 710.889·31·14·Liangdong Lu et al.GPT-5.6 Luna2026-08-10
[[144,8,14]]generalized bicycle1448d ≤ 1410.889·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[85,37,5]]other8537d = 510.882·24·14·@mathysrennelaDeepSeek V4 Flash 07312026-08-15
[[720,122,8]]topological720122d ≤ 810.844·6·18·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[864,146,8]]topological864146d ≤ 810.815·6·1.258·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[90,12,9]]generalized bicycle9012d = 910.8·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[356,4,31]]known paramsgeneralized bicycle3564d ≤ 3110.798·8·16·@vprussoClaudeClaude Opus 52026-09-21
★[[90,8,11]]generalized bicycle908d ≤ 1110.756·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[606,2,57]]known paramsgeneralized bicycle6062d ≤ 5710.723·8·16·@vprussoClaudeClaude Opus 52026-09-20
★[[168,18,10]]generalized bicycle16818d ≤ 1010.714·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[224,6,20]]known paramsbivariate bicycle2246d ≤ 2010.714·6·16·Zijian Liang et al.2025
★[[330,2,42]]known paramsgeneralized bicycle3302d ≤ 4210.691·20·14·@vprussoClaudeClaude Opus 52026-09-23
★[[182,6,18]]known paramsbivariate bicycle1826d ≤ 1810.681·6·16·Zijian Liang et al.2025
[[288,48,8]]bivariate bicycle28848d = 810.667·10·14·Cruz-Benito et al.2026-06-01
★[[54,16,6]]known paramsgeneralized bicycle2D-local bilayer5416d = 610.6670.00781861146.32Liangdong Lu et al.GPT-5.6 Luna2026-08-10
★[[288,12,16]]bivariate bicycle2D-local bilayer28812d ≤ 1610.6670.0044620431611.3@fullymiddleagedClaudeClaude Opus 5.52026-09-27
★[[300,8,20]]bivariate bicycle2D-local bilayer3008d ≤ 2010.6670.0044616691612.5@vprussoClaudeClaude Fable 5.12026-09-22
[[192,8,16]]known paramsbivariate bicycle1928d ≤ 1610.667·6·16·Zijian Liang et al.2025
[[108,8,12]]bivariate bicycle1088d ≤ 1210.667·26·14·@mathysrennelaGPT-5.6 Luna2026-08-18
★[[186,10,14]]known paramsbivariate bicycle18610d ≤ 1410.538·6·16·Zijian Liang et al.2025
[[128,21,8]]generalized bicycle12821d = 810.5·8·14·@mathysrennelaXiaomi Mimo-V2.52026-07-30
★[[322,2,41]]known paramsgeneralized bicycle3222d ≤ 4110.441·20·14·@vprussoClaudeClaude Opus 52026-09-23
[[315,67,7]]known paramscheck-deletion31567d ≤ 710.422·8·14·@vprussoClaudeClaude Opus 52026-09-21
★[[280,6,22]]bivariate bicycle2D-local bilayer2806d ≤ 2210.3710.0043614521611.8@vprussoClaudeClaude Fable 5.12026-09-22
★[[500,36,12]]lifted product50036d = 1210.368·7·16·@mathysrennelaGLM 5.3 Flash2026-09-14
[[315,66,7]]known paramscheck-deletion31566d ≤ 710.267·8·14·@vprussoClaudeClaude Opus 52026-09-21
[[330,69,7]]known paramscheck-deletion33069d ≤ 710.245·8·14·@vprussoClaudeClaude Opus 52026-09-22
★[[250,40,8]]distance-amplified25040d ≤ 810.24·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
[[288,46,8]]bivariate bicycle28846d = 810.222·8·14·Cruz-Benito et al.2026-06-01
[[128,13,10]]generalized bicycle12813d = 1010.156·8·14·@mathysrennelaXiaomi Mimo-V2.52026-07-30
★[[278,44,8]]distance-amplified27844d ≤ 810.129·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
[[144,18,9]]bivariate bicycle14418d = 910.125·8·14·@MathysRennelaOmen Alpha 1.02026-09-09
[[96,12,9]]generalized bicycle9612d = 910.125·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[330,68,7]]known paramscheck-deletion33068d ≤ 710.097·8·14·@vprussoClaudeClaude Opus 52026-09-21
[[96,8,11]]generalized bicycle968d ≤ 1110.083·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[390,80,7]]known paramscheck-deletion39080d ≤ 710.051·8·14·@vprussoClaudeClaude Opus 52026-09-22
★[[230,16,12]]bivariate bicycle2D-local bilayer23016d = 1210.0170.007387181412.2@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-11
★[[120,12,10]]generalized bicycle12012d = 1010.0·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[154,6,16]]known paramsbivariate bicycle1546d ≤ 169.974·6·16·Zijian Liang et al.2025
[[330,67,7]]known paramscheck-deletion33067d ≤ 79.948·8·1.144·@vprussoClaudeClaude Opus 52026-09-21
★[[464,32,12]]distance-amplified46432d ≤ 129.931·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[348,24,12]]distance-amplified34824d ≤ 129.931·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
[[390,79,7]]known paramscheck-deletion39079d ≤ 79.926·8·1.144·@vprussoClaudeClaude Opus 52026-09-21
[[98,12,9]]generalized bicycle9812d = 99.918·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[294,6,22]]bivariate bicycle2D-local bilayer2946d ≤ 229.8780.0041615421613@vprussoClaudeClaude Fable 5.12026-09-22
[[294,8,19]]generalized bicycle2948d ≤ 199.823·8·1.054·@FarLabGemini 3.1 Pro2026-07-01
★[[264,8,18]]bivariate bicycle2D-local bilayer2648d ≤ 189.8180.0041612811610.5@vprussoClaudeClaude Fable 5.12026-09-22
★[[310,2,39]]known paramsgeneralized bicycle3102d ≤ 399.813·20·14·@vprussoClaudeClaude Opus 52026-09-23
[[60,12,7]]bivariate bicycle6012d = 79.80.0148521146.32@mathysrennelaMiMo V2.52026-09-15
[[160,8,14]]generalized bicycle1608d ≤ 149.8·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[236,16,12]]bivariate bicycle2D-local bilayer23616d = 129.7630.007587241412.2@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-11
★[[446,68,8]]distance-amplified44668d ≤ 89.758·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
[[210,8,16]]generalized bicycle2108d ≤ 169.752·6·16·@FarLabClaudeClaude Fable 52026-08-19
★[[104,6,13]]generalized bicycle2D-local bilayer1046d ≤ 139.750.00418712147.21@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[312,2,39]]known paramsgeneralized bicycle3122d ≤ 399.75·20·14·@vprussoClaudeClaude Opus 52026-09-22
★[[300,4,27]]lifted product3004d ≤ 279.72·9·14·@vprussoClaudeClaude Opus 52026-08-06
[[401,12,18]]bivariate bicycle2D-local bilayer40112d ≤ 189.6960.0048826511.06422.1@mathysrennelaDeepSeek V4 Flash 07312026-08-13
★[[162,8,14]]known paramsbivariate bicycle1628d ≤ 149.679·6·16·Zijian Liang et al.2025
★[[960,258,6]]topological960258d ≤ 69.675·6·1.1710·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[84,10,9]]generalized bicycle8410d = 99.643·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[140,6,15]]generalized bicycle1406d ≤ 159.643·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[600,40,12]]lifted product60040d ≤ 129.6·7·1.174·@mathysrennelaGLM 5.3 Flash2026-09-14
★[[300,20,12]]distance-amplified30020d ≤ 129.6·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[120,8,12]]known paramsbivariate bicycle1208d = 129.6·6·16·@FarLabClaudeClaude Opus 4.82026-06-26
★[[542,2,51]]known paramsgeneralized bicycle5422d ≤ 519.598·8·1.16·@vprussoClaudeClaude Opus 52026-09-21
★[[136,4,18]]generalized bicycle1364d ≤ 189.529·8·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[168,16,10]]generalized bicycle16816d ≤ 109.524·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[126,12,10]]bivariate bicycle12612d ≤ 109.524·6·16·@mathysrennelaMiMo V2.52026-09-15
★[[62,12,7]]generalized bicycle2D-local bilayer6212d = 79.4840.00398277146.08@michelebanfiGPT-6 Astra2026-09-08
★[[216,8,16]]bivariate bicycle2D-local bilayer2168d ≤ 169.4810.003961538169.22@fullymiddleagedClaudeClaude Opus 5.52026-09-27
★[[382,36,10]]distance-amplified38236d ≤ 109.424·6·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
[[170,16,10]]generalized bicycle17016d = 109.412·6·16·@FarLabClaudeClaude Fable 52026-08-19
★[[188,4,21]]generalized bicycle1884d ≤ 219.383·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[384,36,10]]other38436d ≤ 109.375·6·16·@FarLabClaudeClaude Fable 5.12026-09-30
[[144,6,15]]known paramsbivariate bicycle1446d ≤ 159.375·8·14·Liangdong Lu et al.2026-09-06
★[[618,4,38]]known paramsgeneralized bicycle6184d ≤ 389.346·6·16·@vprussoClaudeClaude Opus 52026-09-20
★[[252,12,14]]bivariate bicycle2D-local bilayer25212d ≤ 149.3330.003961307169.54@vprussoClaudeClaude Fable 5.12026-09-22
★[[660,24,16]]generalized bicycle66024d ≤ 169.309·6·1.256·@vprussoClaudeClaude Fable 5.12026-09-20
★[[172,4,20]]generalized bicycle1724d ≤ 209.302·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[196,15,11]]bivariate bicycle2D-local bilayer19615d = 119.260.006884761411.2@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-11
★[[564,4,36]]known paramsgeneralized bicycle5644d ≤ 369.191·6·16·@vprussoClaudeClaude Opus 52026-09-21
★[[84,12,8]]generalized bicycle8412d = 89.143·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[56,8,8]]bivariate bicycle2D-local bilayer568d = 89.1430.01528383147.62@mathysrennelaMiMo V2.52026-09-15
★[[168,6,16]]bivariate bicycle2D-local bilayer1686d ≤ 169.1430.00956608168.89@vprussoClaudeClaude Fable 5.12026-09-22
★[[66,6,10]]generalized bicycle2D-local bilayer666d = 109.0910.00668326146.71@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[176,4,20]]generalized bicycle1764d ≤ 209.091·8·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[259,12,14]]tile2D-local bilayer25912d = 149.0810.0045817541417@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-11
[[384,12,17]]bivariate bicycle2D-local bilayer38412d ≤ 179.0310.0045825301.06419.2@mathysrennelaDeepSeek V4 Flash 07312026-08-09
[[201,15,11]]bivariate bicycle2D-local bilayer20115d = 119.030.010784711410.8@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-11
★[[160,4,19]]generalized bicycle1604d ≤ 199.025·8·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[64,16,6]]2BGA coset2D-local bilayer6416d = 69.00.003710293146.08@vprussoClaudeClaude Opus 4.82026-08-04
★[[126,14,9]]generalized bicycle12614d ≤ 99.0·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[56,14,6]]bivariate bicycle2D-local bilayer5614d ≤ 69.00.02148355147.07@mathysrennelaMiMo V2.52026-09-15
[[192,12,12]]bivariate bicycle2D-local bilayer19212d ≤ 129.00.00596862169.54@vprussoClaudeClaude Fable 5.12026-09-22
★[[54,6,9]]known params2BGA coset546d = 99.00.01338424147.81Lin et al.2023
[[196,4,21]]generalized bicycle1964d ≤ 219.0·8·1.054·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[114,6,13]]generalized bicycle1146d ≤ 138.895·8·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[90,8,10]]bivariate bicycle908d = 108.889·6·16·Bravyi et al.2023-08-15
★[[354,4,28]]known paramsbivariate bicycle3544d ≤ 288.859·6·16·Zijian Liang et al.2025
★[[98,6,12]]known paramsbivariate bicycle986d = 128.816·6·16·Zijian Liang et al.2025
[[164,4,19]]generalized bicycle1644d ≤ 198.805·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[110,8,11]]generalized bicycle2D-local bilayer1108d ≤ 118.80.00377720168.49@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[700,6,32]]bivariate bicycle7006d ≤ 328.777·6·1.066·@vprussoClaudeClaude Opus 52026-09-05
[[268,12,14]]tile2D-local bilayer26812d ≤ 148.7760.0043817541413.2@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-11
★[[73,40,4]]known paramscheck-deletion7340d ≤ 48.767·28·14·@vprussoClaudeClaude Opus 52026-09-22
★[[528,4,34]]bivariate bicycle5284d ≤ 348.758·6·16·@vprussoClaudeClaude Opus 52026-09-05
[[148,4,18]]generalized bicycle1484d ≤ 188.757·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[90,16,7]]generalized bicycle9016d = 78.711·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[184,4,20]]generalized bicycle1844d ≤ 208.696·8·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[316,2,37]]known paramsgeneralized bicycle3162d ≤ 378.665·16·14·@vprussoClaudeClaude Opus 52026-09-23
★[[84,6,11]]generalized bicycle846d ≤ 118.643·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[42,10,6]]generalized bicycle4210d ≤ 68.571·8·14·@mathysrennelaMimo-V2.6-Free2026-09-27
[[73,39,4]]known paramscheck-deletion7339d ≤ 48.548·28·1.54·@vprussoClaudeClaude Opus 52026-09-21
★[[120,16,8]]generalized bicycle12016d = 88.533·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[240,8,16]]bivariate bicycle2D-local bilayer2408d ≤ 168.5330.004661078168@vprussoClaudeClaude Fable 5.12026-09-22
★[[60,8,8]]generalized bicycle608d = 88.5330.01377459146.71@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[152,4,18]]generalized bicycle1524d ≤ 188.526·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[318,4,26]]known paramsbivariate bicycle3184d ≤ 268.503·6·16·Zijian Liang et al.human2025
★[[64,34,4]]other6434d ≤ 48.5·8·18·@MathysRennelaMiMo-V2.6-Flash2026-09-28
★[[197,26,8]]distance-amplified19726d ≤ 88.447·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
[[205,12,12]]bivariate bicycle2D-local bilayer20512d = 128.4290.0042813401415.1@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-11
★[[140,6,14]]known paramsbivariate bicycle1406d = 148.4·6·16·Zijian Liang et al.2025
★[[224,52,6]]distance-amplified22452d ≤ 68.357·9·14·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[276,4,24]]known paramsbivariate bicycle2764d ≤ 248.348·6·16·Zijian Liang et al.2025
★[[60,20,5]]other6020d ≤ 58.333·8·14·@mathysrennelaMimo-V2.6-Free2026-09-27
★[[48,16,5]]other2D-local bilayer4816d = 58.3330.00991848144.47@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-12
[[168,14,10]]generalized bicycle16814d ≤ 108.333·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[73,38,4]]known paramscheck-deletion7338d ≤ 48.329·28·1.54·@vprussoClaudeClaude Opus 52026-09-21
★[[156,4,18]]generalized bicycle1564d ≤ 188.308·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[124,4,16]]generalized bicycle1244d ≤ 168.258·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[128,66,4]]topological12866d ≤ 48.25·8·18·@mathysrennelaMimo-V2.6-Free2026-09-27
★[[96,22,6]]generalized bicycle9622d = 68.25·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[211,12,12]]bivariate bicycle2D-local bilayer21112d = 128.190.004813611415.8@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-11
★[[238,6,18]]bivariate bicycle2D-local bilayer2386d ≤ 188.1680.004461091168.19@vprussoClaudeClaude Fable 5.12026-09-22
[[60,6,9]]bivariate bicycle606d = 98.10.0128484147.28@mathysrennelaMiMo V2.52026-09-15
★[[376,190,4]]pair-partition CPM376190d ≤ 48.085·8·18·@MathysRennelaSpace Bunny Alpha 1.02026-10-01
★[[124,10,10]]generalized bicycle12410d ≤ 108.065·6·16·@vprussoClaudeClaude Fable 5.12026-09-20
★[[162,16,9]]generalized bicycle16216d ≤ 98.0·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[294,12,14]]tile2D-local bilayer29412d ≤ 148.00.004819071417.7@vprussoClaudeClaude Opus 4.82026-06-25
★[[54,12,6]]generalized bicycle2D-local bilayer5412d = 68.00.00958197143.61@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[144,8,12]]bivariate bicycle2D-local bilayer1448d ≤ 128.00.0046968169.22@fullymiddleagedClaudeClaude Opus 5.52026-09-28
★[[36,8,6]]generalized bicycle368d ≤ 68.0·8·14·@mathysrennelaMimo-V2.6-Free2026-09-27
[[290,64,6]]pair-partition CPM29064d ≤ 67.945·10·14·@MathysRennelaMimo-V2.6-Flash2026-09-28
★[[62,10,7]]generalized bicycle2D-local bilayer6210d ≤ 77.9030.01887418148.94@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[584,18,16]]generalized bicycle58418d ≤ 167.89·6·16·@vprussoClaudeClaude Fable 5.12026-09-22
[[96,21,6]]generalized bicycle9621d = 67.875·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[246,4,22]]known paramsbivariate bicycle2464d ≤ 227.87·6·16·Zijian Liang et al.2025
[[51,16,5]]other2D-local bilayer5116d = 57.8430.011618751.246.71@mathysrennelaDeepSeek V4 Flash 07312026-08-15
★[[204,4,20]]known paramsbivariate bicycle2044d ≤ 207.843·6·16·Zijian Liang et al.2025
★[[100,4,14]]generalized bicycle2D-local bilayer1004d ≤ 147.840.00338611148.94@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[500,39,10]]lifted product50039d ≤ 107.8·7·1.64·@mathysrennelaGLM 5.3 Flash2026-09-14
★[[896,194,6]]topological896194d ≤ 67.795·7·1.338·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[116,4,15]]generalized bicycle1164d ≤ 157.759·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[150,32,6]]topological15032d ≤ 67.68·5·110·@msilve160ClaudeClaude Sonnet 52026-09-19
★[[154,6,14]]bivariate bicycle2D-local bilayer1546d ≤ 147.6360.0056714168.72@vprussoClaudeClaude Fable 5.12026-09-22
[[104,4,14]]generalized bicycle2D-local bilayer1044d ≤ 147.5380.00478530145.83@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[192,4,19]]generalized bicycle1924d ≤ 197.521·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[350,73,6]]known paramscheck-deletion35073d ≤ 67.509·8·1.176·@vprussoClaudeClaude Opus 52026-09-22
★[[96,20,6]]generalized bicycle9620d = 67.5·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[48,10,6]]bivariate bicycle2D-local bilayer4810d = 67.50.01118158145.39@mathysrennelaMiMo V2.52026-09-15
★[[80,6,10]]generalized bicycle806d = 107.5·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[120,4,15]]generalized bicycle1204d ≤ 157.5·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[161,12,10]]bivariate bicycle2D-local bilayer16112d ≤ 107.4530.0037810221415.1@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-16
★[[174,4,18]]known paramsbivariate bicycle1744d ≤ 187.448·6·16·Zijian Liang et al.2025
[[620,18,16]]generalized bicycle62018d ≤ 167.432·6·1.254·@vprussoClaudeClaude Fable 5.12026-09-20
★[[108,8,10]]bivariate bicycle2D-local bilayer1088d = 107.4070.00576535165.83Bravyi et al.2023-08-15
[[350,72,6]]known paramscheck-deletion35072d ≤ 67.406·8·1.176·@vprussoClaudeClaude Opus 52026-09-21
[[936,48,12]]distance-amplified93648d ≤ 127.385·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
[[163,12,10]]bivariate bicycle2D-local bilayer16312d = 107.3620.0036810411416@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-11
★[[284,58,6]]topological28458d ≤ 67.352·6·16·@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-20
★[[92,4,13]]generalized bicycle924d ≤ 137.348·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[164,12,10]]bivariate bicycle2D-local bilayer16412d = 107.3170.0036810421414@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-11
[[350,71,6]]known paramscheck-deletion35071d ≤ 67.303·8·1.336·@vprussoClaudeClaude Opus 52026-09-21
[[216,8,14]]bivariate bicycle2D-local bilayer2168d ≤ 147.2590.003611021610.1@vprussoClaudeClaude Fable 5.12026-09-22
[[239,12,12]]bivariate bicycle2D-local bilayer23912d = 127.230.0036815301415.1@mathysrennelaGLM 5.3 Flash +12026-09-15
[[240,12,12]]2BGA coset24012d = 127.2·6·16·@vprussoClaudeClaude Opus 4.82026-07-31
[[60,12,6]]known paramsbalanced product2D-local bilayer6012d = 67.20.01429320146.71@yifanhongGPT 5.6 Sol2026-08-02
[[80,9,8]]known params2BGA coset2D-local bilayer809d = 87.20.009283351.1245.57Lin et al.2023
★[[80,4,12]]generalized bicycle804d ≤ 127.2·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[119,34,5]]topological11934d = 57.143·6·110·@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-12
★[[56,16,5]]generalized bicycle2D-local bilayer5616d = 57.1430.00528228144.24@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[168,12,10]]bivariate bicycle2D-local bilayer16812d ≤ 107.1430.00361270169.9@fullymiddleagedClaudeClaude Opus 5.52026-09-29
[[140,10,10]]generalized bicycle14010d = 107.143·8·14·@mathysrennelaTencent Hy32026-07-18
★[[84,6,10]]known paramsbivariate bicycle2D-local bilayer846d = 107.1430.01146335167.28Zijian Liang et al.2025
[[126,4,15]]generalized bicycle1264d ≤ 157.143·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[56,4,10]]generalized bicycle2D-local bilayer564d = 107.1430.00528220146.71@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[242,12,12]]bivariate bicycle2D-local bilayer24212d = 127.140.0035815541.08418.1@MathysRennelaDeepSeek V4 Flash 07312026-08-07
★[[68,4,11]]generalized bicycle684d ≤ 117.118·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[72,8,8]]generalized bicycle728d = 87.111·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[144,4,16]]generalized bicycle1444d ≤ 167.111·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[120,34,5]]topological12034d = 57.083·6·1.210·@mathysrennelaDeepSeek V4 Flash 07312026-08-15
★[[452,2,40]]known paramsgeneralized bicycle4522d ≤ 407.08·8·14·@vprussoClaudeClaude Opus 52026-09-21
[[510,4,30]]bivariate bicycle5104d ≤ 307.059·6·1.076·@diogoffGPT-5.6 Luna2026-09-27
★[[96,4,13]]generalized bicycle964d ≤ 137.042·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[50,22,4]]local-sat-css2D-local bilayer5022d ≤ 47.040.00698118144.24@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
★[[434,2,39]]known paramsgeneralized bicycle4342d ≤ 397.009·8·16·@vprussoClaudeClaude Opus 52026-09-20
★[[100,28,5]]generalized bicycle2D-local bilayer10028d = 57.00.00688373148.06@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[126,18,7]]generalized bicycle12618d ≤ 77.0·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[32,14,4]]local-sat-css2D-local bilayer3214d ≤ 47.00.0216832143.16@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
★[[42,6,7]]generalized bicycle2D-local bilayer426d = 77.00.00547121146.32@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[70,6,9]]generalized bicycle706d = 96.943·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[281,121,4]]hypergraph product281121d = 46.89·21·14·@mathysrennelaTencent Hy32026-07-17
★[[114,4,14]]known paramsbivariate bicycle1144d ≤ 146.877·6·16·Zijian Liang et al.2025
★[[112,12,8]]generalized bicycle11212d = 86.857·6·16·@vprussoClaudeClaude Fable 5.12026-09-20
★[[42,8,6]]generalized bicycle2D-local bilayer428d = 66.8570.0058101146.08@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[56,6,8]]generalized bicycle2D-local bilayer566d ≤ 86.8570.03266254167.07@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[444,2,39]]known paramsgeneralized bicycle4442d ≤ 396.851·8·1.056·@vprussoClaudeClaude Opus 52026-09-21
★[[150,16,8]]bivariate bicycle15016d ≤ 86.827·6·16·@mathysrennelaMiMo V2.52026-09-15
[[132,4,15]]generalized bicycle1324d ≤ 156.818·7·1.076·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[360,38,8]]topological36038d ≤ 86.756·5·18·@msilve160ClaudeClaude Sonnet 52026-09-19
★[[624,52,9]]lifted product62452d ≤ 96.75·5·1.118·@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-16
★[[72,6,9]]generalized bicycle726d = 96.75·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[32,6,6]]generalized bicycle2D-local bilayer326d = 66.750.0399868143.61@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[190,20,8]]distance-amplified19020d ≤ 86.737·6·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[190,20,8]]other19020d ≤ 86.737·6·16·@FarLabClaudeClaude Fable 5.12026-09-30
[[179,12,10]]bivariate bicycle2D-local bilayer17912d ≤ 106.7040.0033811251416@mathysrennelaGLM 5.3 Flash +12026-09-15
[[192,20,8]]generalized bicycle19220d ≤ 86.667·6·18·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[294,10,14]]bivariate bicycle2D-local bilayer29410d ≤ 146.6670.0028615171412.5@vprussoClaudeClaude Fable 5.12026-09-22
★[[24,10,4]]generalized bicycle2D-local bilayer2410d = 46.6670.0667823143.16@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[368,2,35]]known paramsgeneralized bicycle3682d ≤ 356.658·8·16·@vprussoClaudeClaude Opus 52026-09-21
★[[41,17,4]]known paramscheck-deletion2D-local bilayer4117d ≤ 46.6340.00482114144.47@vprussoClaudeClaude Opus 52026-09-21
[[782,36,12]]distance-amplified78236d ≤ 126.629·6·1.336·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[660,68,8]]topological66068d ≤ 86.594·5·1.258·@msilve160ClaudeClaude Sonnet 52026-09-19
[[183,12,10]]bivariate bicycle2D-local bilayer18312d = 106.5570.0032811501.1416@MathysRennelaDeepSeek V4 Flash 07312026-08-07
★[[330,60,6]]distance-amplified33060d ≤ 66.545·7·14·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[88,4,12]]generalized bicycle884d ≤ 126.545·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[240,8,14]]2BGA coset2408d ≤ 146.533·6·16·@vprussoClaudeClaude Opus 4.82026-07-31
★[[422,2,37]]known paramsgeneralized bicycle4222d ≤ 376.488·8·14·@vprussoClaudeClaude Opus 52026-09-20
★[[54,14,5]]generalized bicycle2D-local bilayer5414d = 56.4810.00968170144.24@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[168,22,7]]generalized bicycle16822d ≤ 76.417·7·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[80,8,8]]known params2BGA coset808d = 86.4·8·14·Lin et al.2023
[[80,8,8]]quantum Tanner808d = 86.4·8·14·@aarontrowbridgeMuse Spark 1.22026-08-10
★[[20,8,4]]other2D-local single208d = 46.40.1511020144.47@EthanFeldGPT-5.6 Luna2026-09-10
[[90,4,12]]generalized bicycle904d ≤ 126.4·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[40,4,8]]generalized bicycle2D-local bilayer404d = 86.40.01988101144.47@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[124,22,6]]distance-amplified12422d ≤ 66.387·7·16·@MathysRennela2026-09-30
★[[534,2,41]]known paramsgeneralized bicycle5342d ≤ 416.296·8·1.054·@vprussoClaudeClaude Opus 52026-09-20
[[510,32,10]]generalized bicycle51032d ≤ 106.275·6·16·@vprussoClaudeClaude Fable 5.12026-09-22
★[[230,40,6]]distance-amplified23040d ≤ 66.261·7·14·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
[[80,20,5]]generalized bicycle8020d = 56.25·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[288,8,15]]tile2D-local single2888d ≤ 156.250.097785301419.4@fullymiddleagedClaudeClaude Opus 5.52026-10-01
[[41,16,4]]other2D-local bilayer4116d = 46.2440.0046219146@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-12
★[[52,4,9]]generalized bicycle2D-local bilayer524d = 96.2310.00488223146.08@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[546,34,10]]generalized bicycle54634d ≤ 106.227·6·16·@vprussoClaudeClaude Fable 5.12026-09-22
[[336,58,6]]topological33658d ≤ 66.214·6·1.338·@msilve160ClaudeClaude Sonnet 52026-09-19
★[[330,2,32]]known paramsgeneralized bicycle3302d ≤ 326.206·8·16·@vprussoClaudeClaude Opus 52026-09-21
★[[78,4,11]]generalized bicycle784d ≤ 116.205·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[280,12,12]]bivariate bicycle2D-local bilayer28012d ≤ 126.1710.002661411168.54@vprussoClaudeClaude Fable 5.12026-09-22
★[[249,42,6]]distance-amplified24942d ≤ 66.072·7·1.336·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[66,4,10]]generalized bicycle2D-local bilayer664d = 106.0610.00976212145.83@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[338,8,16]]tile2D-local single3388d ≤ 166.0590.094786271417@fullymiddleagedClaudeClaude Opus 5.52026-10-01
★[[112,4,13]]generalized bicycle2D-local bilayer1124d ≤ 136.0360.00476523168.6@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[443,74,6]]distance-amplified44374d ≤ 66.014·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
[[100,24,5]]generalized bicycle2D-local bilayer10024d = 56.00.00448425145.39@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[48,18,4]]known paramscheck-deletion2D-local bilayer4818d ≤ 46.00.008918491.2544.47@vprussoClaudeClaude Opus 52026-09-21
★[[96,16,6]]generalized bicycle9616d = 66.0·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[72,12,6]]⚙6bivariate bicycle2D-local bilayer7212d = 66.00.01366243165Bravyi et al.2023-08-15
★[[48,8,6]]generalized bicycle2D-local bilayer488d = 66.00.00897157143.61@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[64,6,8]]generalized bicycle646d = 86.0·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[16,6,4]]known paramsother2D-local single166d = 46.00.35988143.85@FarLabClaudeClaude Opus 52026-07-25
★[[216,4,18]]bivariate bicycle2D-local bilayer2164d ≤ 186.00.0025614161610.8@fullymiddleagedClaudeClaude Opus 5.52026-09-30
[[96,4,12]]known paramsbivariate bicycle964d = 126.0·6·16·Zijian Liang et al.2025
★[[54,4,9]]generalized bicycle2D-local bilayer544d = 96.00.01197386148.06@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[300,2,30]]known paramsgeneralized bicycle3002d ≤ 306.0·8·16·@vprussoClaudeClaude Opus 52026-09-21
[[300,28,8]]lifted product30028d = 85.973·7·14·@mathysrennelaGLM 5.3 Flash2026-09-14
★[[42,10,5]]generalized bicycle2D-local bilayer4210d = 55.9520.00437124145.1@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[54,20,4]]⚙4LER recordtopological2D-local bilayer5420d = 45.9260.00586173185.1@mathysrennelaDeepSeek V4 Flash 07312026-08-15
★[[438,18,12]]generalized bicycle43818d ≤ 125.918·6·16·@vprussoClaudeClaude Fable 5.12026-09-22
★[[60,22,4]]topological6022d ≤ 45.867·6·18·@mathysrennelaMimo-V2.6-Free2026-09-27
[[468,2,37]]known paramsgeneralized bicycle4682d ≤ 375.85·8·1.056·@vprussoClaudeClaude Opus 52026-09-21
★[[214,2,25]]generalized bicycle2142d ≤ 255.841·8·16·@seunomonijeexhaustive verification (exhaustive-qec verifier 0.1.0)2026-08-14
★[[62,10,6]]known params⚙6bivariate bicycle2D-local bilayer6210d = 65.8060.03446148166Zijian Liang et al.2025
[[72,26,4]]generalized bicycle7226d = 45.778·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[84,4,11]]generalized bicycle844d ≤ 115.762·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[50,18,4]]generalized bicycle2D-local bilayer5018d = 45.760.01448119144.47@mathysrennelaDeepSeek V4 Flash 07312026-08-15
★[[25,9,4]]other2D-local single259d ≤ 45.760.09827144.47@MathysRennelaMiMo-V2.6-Flash2026-09-25
[[210,12,10]]generalized bicycle21012d = 105.714·6·16·@FarLabClaudeClaude Fable 52026-08-19
[[252,10,12]]bivariate bicycle2D-local bilayer25210d ≤ 125.7140.002461271167.81@vprussoClaudeClaude Fable 5.12026-09-22
[[45,16,4]]other2D-local bilayer4516d = 45.6890.008421201.2544.47@mathysrennelaDeepSeek V4 Flash 07312026-08-15
★[[96,34,4]]topological9634d = 45.667·6·18·@mathysrennelaDeepSeek V4 Flash 07312026-08-15
[[48,17,4]]known paramscheck-deletion2D-local bilayer4817d ≤ 45.6670.006718551.2545.39@vprussoClaudeClaude Opus 52026-09-21
★[[80,18,5]]topological8018d = 55.625·5·110·@msilve160ClaudeClaude Sonnet 52026-09-19
[[570,2,40]]known paramsgeneralized bicycle5702d ≤ 405.614·8·16·@vprussoClaudeClaude Opus 52026-09-21
[[400,35,8]]lifted product40035d = 85.6·7·14·@mathysrennelaGLM 5.3 Flash2026-09-14
[[40,14,4]]bivariate bicycle2D-local bilayer4014d = 45.60.0173896143.16@mathysrennelaMiMo V2.52026-09-15
[[72,4,10]]generalized bicycle724d = 105.556·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[624,54,8]]lifted product62454d ≤ 85.538·5·18·@msilve160ClaudeClaude Sonnet 52026-09-19
[[416,36,8]]lifted product41636d ≤ 85.538·5·18·@msilve160ClaudeClaude Sonnet 52026-09-19
[[64,22,4]]generalized bicycle2D-local bilayer6422d = 45.50.00658241143.61@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[70,6,8]]known paramsbivariate bicycle2D-local bilayer706d = 85.4860.00276202146.4Zijian Liang et al.2025
[[315,69,5]]known paramscheck-deletion31569d ≤ 55.476·8·1.44·@vprussoClaudeClaude Opus 52026-09-22
★[[270,30,7]]bivariate bicycle27030d ≤ 75.444·6·16·@cbjuan2026-09-16
★[[234,26,7]]bivariate bicycle23426d ≤ 75.444·6·16·@cbjuan2026-09-16
★[[180,20,7]]generalized bicycle18020d ≤ 75.444·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[144,16,7]]generalized bicycle14416d ≤ 75.444·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[108,12,7]]generalized bicycle2D-local bilayer10812d = 75.4440.00876306165.1@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[90,10,7]]generalized bicycle9010d = 75.444·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[72,8,7]]2BGA coset728d = 75.444·6·16·@vprussoClaudeClaude Opus 4.82026-08-04
★[[54,6,7]]generalized bicycle2D-local bilayer546d = 75.4440.00476255165.39@mathysrennelaDeepSeek V4 Flash 07312026-08-15
★[[520,44,8]]lifted product52044d ≤ 85.415·5·18·@msilve160ClaudeClaude Sonnet 52026-09-19
[[690,46,9]]bivariate bicycle69046d ≤ 95.4·6·16·@cbjuan2026-09-16
[[660,44,9]]bivariate bicycle66044d ≤ 95.4·6·16·@cbjuan2026-09-16
★[[600,40,9]]bivariate bicycle60040d ≤ 95.4·6·16·@cbjuan2026-09-16
★[[570,38,9]]bivariate bicycle57038d ≤ 95.4·6·16·@cbjuan2026-09-16
[[540,36,9]]bivariate bicycle54036d ≤ 95.4·6·16·@cbjuan2026-09-16
[[510,34,9]]bivariate bicycle51034d ≤ 95.4·6·16·@cbjuan2026-09-16
[[480,32,9]]bivariate bicycle48032d ≤ 95.4·6·16·@cbjuan2026-09-16
[[450,30,9]]bivariate bicycle45030d ≤ 95.4·6·16·@cbjuan2026-09-16
[[390,26,9]]bivariate bicycle39026d ≤ 95.4·6·16·@cbjuan2026-09-16
★[[330,22,9]]bivariate bicycle33022d ≤ 95.4·6·16·@cbjuan2026-09-16
★[[270,18,9]]bivariate bicycle27018d ≤ 95.4·6·16·@cbjuan2026-09-16
[[40,6,6]]bivariate bicycle2D-local bilayer406d = 65.40.054849144.47@mathysrennelaMiMo V2.52026-09-15
★[[60,4,9]]generalized bicycle2D-local bilayer604d = 95.40.01286409167.21@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[315,68,5]]known paramscheck-deletion31568d ≤ 55.397·8·1.44·@vprussoClaudeClaude Opus 52026-09-21
★[[546,46,8]]lifted product54646d ≤ 85.392·5·18·@msilve160ClaudeClaude Sonnet 52026-09-19
★[[228,34,6]]distance-amplified22834d ≤ 65.368·7·14·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
[[360,77,5]]known paramscheck-deletion36077d ≤ 55.347·8·1.46·@vprussoClaudeClaude Opus 52026-09-22
★[[72,24,4]]local-sat-css2D-local bilayer7224d ≤ 45.3330.00468224144.24@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-28
★[[300,16,10]]bivariate bicycle2D-local bilayer30016d ≤ 105.3330.002261665162.65@vprussoClaudeClaude Fable 5.12026-09-22
★[[192,16,8]]bivariate bicycle2D-local bilayer19216d ≤ 85.3330.00356880167.81@vprussoClaudeClaude Fable 5.12026-09-22
★[[36,12,4]]local-sat-css2D-local single3612d ≤ 45.3330.0833832144.47@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-24
★[[54,8,6]]⚙6bivariate bicycle2D-local bilayer548d = 65.3330.02086230147.21@mathysrennelaDeepSeek V4 Flash 07312026-08-15
★[[192,4,16]]known paramsgeneralized bicycle1924d ≤ 165.333·5·18·@natestemenGPT-62026-09-18
★[[48,4,8]]known params⚙8bivariate bicycle2D-local bilayer484d = 85.3330.00466126143.61Zijian Liang et al.2025
[[315,67,5]]known paramscheck-deletion31567d ≤ 55.317·8·1.64·@vprussoClaudeClaude Opus 52026-09-21
★[[166,2,21]]generalized bicycle1662d ≤ 215.313·8·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[360,76,5]]known paramscheck-deletion36076d ≤ 55.278·8·1.46·@vprussoClaudeClaude Opus 52026-09-21
[[76,4,10]]generalized bicycle764d = 105.263·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[184,2,22]]generalized bicycle1842d ≤ 225.261·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[56,6,7]]2BGA coset2D-local bilayer566d = 75.250.00266291166.71@vprusso and @mathysrennelaClaudeClaude Opus 4.82026-08-04
[[315,66,5]]known paramscheck-deletion31566d ≤ 55.238·8·1.64·@vprussoClaudeClaude Opus 52026-09-21
★[[202,2,23]]generalized bicycle2022d ≤ 235.238·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[738,4,31]]known paramsgeneralized bicycle7384d ≤ 315.209·5·16·@vprussoClaudeClaude Opus 52026-09-21
[[302,2,28]]known paramsgeneralized bicycle3022d ≤ 285.192·8·16·@vprussoClaudeClaude Opus 52026-09-20
[[326,2,29]]known paramsgeneralized bicycle3262d ≤ 295.16·8·16·@vprussoClaudeClaude Opus 52026-09-20
[[350,72,5]]known paramscheck-deletion35072d ≤ 55.143·8·1.46·@vprussoClaudeClaude Opus 52026-09-21
[[196,28,6]]generalized bicycle19628d ≤ 65.143·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[168,24,6]]generalized bicycle16824d ≤ 65.143·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[140,20,6]]generalized bicycle14020d ≤ 65.143·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[112,16,6]]generalized bicycle2D-local bilayer11216d = 65.1430.01296223163.16@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[98,14,6]]generalized bicycle9814d = 65.143·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[42,6,6]]generalized bicycle2D-local bilayer426d = 65.1430.00766107166.32@mathysrennelaDeepSeek V4 Flash 07312026-08-15
★[[42,6,6]]generalized bicycle2D-local bilayer426d = 65.1430.01786110145.39@RexRowanClaudeClaude Sonnet 52026-09-19
[[78,4,10]]known paramsbivariate bicycle784d = 105.128·6·14·Zijian Liang et al.2025
[[328,2,29]]known paramsgeneralized bicycle3282d ≤ 295.128·8·16·@vprussoClaudeClaude Opus 52026-09-20
[[172,2,21]]generalized bicycle1722d ≤ 215.128·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[50,16,4]]local-sat-css2D-local bilayer5016d ≤ 45.120.0056117145@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
★[[454,8,17]]bivariate bicycle2D-local single4548d ≤ 175.0930.0796631001620.9@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-09
[[64,4,9]]generalized bicycle644d = 95.062·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[457,8,17]]bivariate bicycle2D-local single4578d ≤ 175.0590.079631141623.5@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-08
[[57,18,4]]other2D-local bilayer5718d = 45.0530.007525321.7545@mathysrennelaDeepSeek V4 Flash 07312026-08-15
[[70,22,4]]generalized bicycle7022d = 45.029·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[438,22,10]]generalized bicycle43822d ≤ 105.023·6·16·@vprussoClaudeClaude Fable 5.12026-09-22
★[[48,15,4]]generalized bicycle2D-local bilayer4815d = 45.00.00748118143.16@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[32,10,4]]local-sat-css2D-local bilayer3210d ≤ 45.00.0154637143.16@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
★[[40,8,5]]bivariate bicycle2D-local bilayer408d = 55.00.02968100143.61@mathysrennelaMiMo V2.52026-09-15
★[[30,6,5]]bivariate bicycle2D-local bilayer306d = 55.00.02968144145.1@MathysRennelaUnion Alpha 1.02026-09-17
★[[410,8,16]]bivariate bicycle2D-local single4108d ≤ 164.9950.078627681619.7@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-09
[[141,44,4]]hypergraph product14144d = 44.993·20·14·@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-12
★[[119,37,4]]check-deletion11937d ≤ 44.975·6·110·@dorakingxClaudeClaude Opus 5 (Claude Code)2026-10-02
★[[523,8,18]]bivariate bicycle2D-local single5238d ≤ 184.9560.0774635971624.5@vprussoClaudeClaude Fable 5.12026-09-22
★[[42,13,4]]known paramscheck-deletion4213d ≤ 44.952·6·16·@vprussoClaudeClaude Opus 52026-09-21
[[196,2,22]]generalized bicycle1962d ≤ 224.939·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[120,37,4]]known paramscheck-deletion12037d ≤ 44.933·6·1.2510·@vprussoClaudeClaude Opus 52026-09-22
★[[26,8,4]]distance-amplified268d ≤ 44.923·7·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[118,2,17]]generalized bicycle1182d ≤ 174.898·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[590,8,19]]bivariate bicycle2D-local single5908d ≤ 194.8950.0765640641624.2@vprussoClaudeClaude Fable 5.12026-09-22
[[72,22,4]]generalized bicycle7222d = 44.889·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[164,2,20]]generalized bicycle1642d ≤ 204.878·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[148,2,19]]generalized bicycle1482d ≤ 194.878·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[372,8,15]]bivariate bicycle2D-local single3728d ≤ 154.8390.0756620221618.4@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-12
★[[134,2,18]]generalized bicycle1342d ≤ 184.836·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[373,8,15]]bivariate bicycle2D-local single3738d ≤ 154.8260.0754625011617.7@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-09
★[[693,13,16]]bivariate bicycle2D-local bilayer69313d ≤ 164.8020.0057619311.12628.6@MathysRennelaDeepSeek V4.1 Flash2026-09-28
[[600,45,8]]lifted product60045d = 84.8·7·1.54·@mathysrennelaGLM 5.3 Flash2026-09-14
[[40,12,4]]generalized bicycle2D-local bilayer4012d = 44.80.01148215145.83@mathysrennelaDeepSeek V4 Flash 07312026-08-15
[[60,8,6]]known params⚙6bivariate bicycle2D-local bilayer608d = 64.80.00426217164.47Zijian Liang et al.2025
★[[30,4,6]]known params⚙6bivariate bicycle2D-local bilayer304d = 64.80.012656144.47Zijian Liang et al.2025
★[[454,2,33]]generalized bicycle4542d ≤ 334.797·6·16·@seunomonijeexhaustive verification (exhaustive-qec verifier 0.1.0)2026-08-14
★[[612,13,15]]bivariate bicycle2D-local bilayer61213d ≤ 154.7790.0057617021627.7@MathysRennelaDeepSeek V4.1 Flash2026-09-28
[[148,44,4]]hypergraph product14844d = 44.757·20·14·@mathysrennelaTencent Hy32026-07-17
★[[72,38,3]]local-sat-css2D-local bilayer7238d ≤ 34.750.00418163143@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
★[[182,6,12]]generalized bicycle2D-local bilayer1826d = 124.7470.005657741612.1@willzengClaudeClaude Fable 5.12026-09-02
★[[154,6,11]]generalized bicycle2D-local bilayer1546d = 114.7140.003657121610.3@willzengClaudeClaude Fable 5.12026-09-02
★[[679,8,20]]bivariate bicycle2D-local single6798d ≤ 204.7130.0736647251629.1@vprussoClaudeClaude Fable 5.12026-09-22
[[119,35,4]]check-deletion11935d ≤ 44.706·6·110·@dorakingxClaudeClaude Opus 5 (Claude Code)2026-10-02
★[[358,2,29]]generalized bicycle3582d ≤ 294.698·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[50,26,3]]local-sat-css2D-local bilayer5026d ≤ 34.680.0046888143.61@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
[[120,35,4]]known paramscheck-deletion12035d ≤ 44.667·6·1.2510·@vprussoClaudeClaude Opus 52026-09-21
★[[168,4,14]]generalized bicycle1684d ≤ 144.667·5·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[168,4,14]]known params2BGA coset1684d ≤ 144.667·5·18·@pandey-tusharClaudeClaude Opus 52026-09-18
[[42,4,7]]generalized bicycle2D-local bilayer424d = 74.6670.00347124146@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[41,21,3]]known paramscheck-deletion4121d ≤ 34.61·21·14·@vprussoClaudeClaude Opus 52026-09-22
[[392,8,15]]known paramsbivariate bicycle2D-local bilayer3928d ≤ 154.5920.071763361614.2@mathysrennelaTencent Hy32026-07-15
[[700,50,8]]bivariate bicycle70050d ≤ 84.571·6·16·@cbjuan2026-09-16
[[672,48,8]]bivariate bicycle67248d ≤ 84.571·6·16·@cbjuan2026-09-16
[[644,46,8]]bivariate bicycle64446d ≤ 84.571·6·16·@cbjuan2026-09-16
[[616,44,8]]bivariate bicycle61644d ≤ 84.571·6·16·@cbjuan2026-09-16
[[560,40,8]]bivariate bicycle56040d ≤ 84.571·6·16·@cbjuan2026-09-16
[[532,38,8]]bivariate bicycle53238d ≤ 84.571·6·16·@cbjuan2026-09-16
[[504,36,8]]bivariate bicycle50436d ≤ 84.571·6·16·@cbjuan2026-09-16
[[476,34,8]]bivariate bicycle47634d ≤ 84.571·6·16·@cbjuan2026-09-16
[[280,20,8]]bivariate bicycle28020d ≤ 84.571·6·16·@cbjuan2026-09-16
★[[42,12,4]]generalized bicycle2D-local bilayer4212d = 44.5710.00297157145.1@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[28,8,4]]generalized bicycle288d = 44.571·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[112,2,16]]generalized bicycle1122d ≤ 164.571·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[394,2,30]]generalized bicycle3942d ≤ 304.569·6·16·@seunomonijeexhaustive verification (exhaustive-qec verifier 0.1.0)2026-08-14
★[[422,2,31]]generalized bicycle4222d ≤ 314.555·6·16·@seunomonijeexhaustive verification (exhaustive-qec verifier 0.1.0)2026-08-14
[[450,8,16]]known paramsbivariate bicycle2D-local single4508d ≤ 164.5510.0711630421621.2@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-07
★[[44,2,10]]generalized bicycle2D-local bilayer442d = 104.5450.0157898145.1@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[346,2,28]]generalized bicycle3462d ≤ 284.532·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[241,121,3]]hypergraph product241121d = 34.519·12·14·@mathysrennelaTencent Hy32026-07-17
★[[300,8,13]]bivariate bicycle2D-local single3008d = 134.5070.0704619651618@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-11
★[[348,8,14]]bivariate bicycle2D-local single3488d ≤ 144.5060.0704623151618.6@vprussoClaudeClaude Fable 5.12026-09-22
[[240,30,6]]bivariate bicycle24030d ≤ 64.5·6·16·@cbjuan2026-09-16
[[208,26,6]]bivariate bicycle20826d ≤ 64.5·6·16·@cbjuan2026-09-16
[[192,24,6]]generalized bicycle19224d ≤ 64.5·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[160,20,6]]generalized bicycle16020d ≤ 64.5·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[128,16,6]]generalized bicycle12816d ≤ 64.5·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[32,16,3]]local-sat-css2D-local bilayer3216d ≤ 34.50.0139825143.61@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
[[48,6,6]]bivariate bicycle2D-local bilayer486d = 64.50.00678154144.47@mathysrennelaMiMo V2.52026-09-15
★[[676,2,39]]known paramsgeneralized bicycle6762d ≤ 394.5·6·16·@vprussoClaudeClaude Opus 52026-09-21
★[[64,2,12]]generalized bicycle2D-local bilayer642d ≤ 124.50.00358240147.62@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[278,2,25]]generalized bicycle2782d ≤ 254.496·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[25,7,4]]local-sat-css2D-local single257d ≤ 44.480.07636144.12@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-24
★[[326,2,27]]generalized bicycle3262d ≤ 274.472·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[44,4,7]]generalized bicycle2D-local bilayer444d = 74.4550.01546122144.24@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[36,10,4]]local-sat-css2D-local single3610d ≤ 44.4440.0694653145.1@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
[[36,10,4]]generalized bicycle3610d = 44.444·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[722,8,20]]bivariate bicycle2D-local single7228d ≤ 204.4320.0693650661.15623.6@e-eightDeepSeek V4 Flash 07312026-09-21
★[[497,13,13]]bivariate bicycle2D-local bilayer49713d ≤ 134.4210.0053613651619.7@MathysRennelaDeepSeek V4.1 Flash2026-09-28
★[[800,8,21]]bivariate bicycle2D-local single8008d ≤ 214.410.0689656521.19628.7@MathysRennelaMiMo-V2.6-Flash2026-09-26
[[80,22,4]]generalized bicycle8022d = 44.4·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[882,8,22]]bivariate bicycle2D-local single8828d ≤ 224.390.0686662701.18627.8@MathysRennelaMiMo-V2.6-Flash2026-09-27
[[132,2,17]]generalized bicycle1322d ≤ 174.379·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[968,8,23]]bivariate bicycle2D-local single9688d ≤ 234.3720.0683669201.17630.8@MathysRennelaMiMo-V2.6-Flash2026-09-27
★[[35,17,3]]check-deletion3517d ≤ 34.371·20·14·@dorakingxClaudeClaude Opus 5 (Claude Code)2026-10-02
★[[202,2,21]]generalized bicycle2022d ≤ 214.366·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[88,24,4]]generalized bicycle8824d = 44.364·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[132,4,12]]known paramsgeneralized bicycle1324d ≤ 124.364·5·16·@natestemenGPT-62026-09-18
[[180,4,14]]bivariate bicycle1804d ≤ 144.356·5·16·@cbjuanClaudeClaude Opus 52026-09-07
[[265,8,12]]bivariate bicycle2D-local bilayer2658d = 124.3470.043562331411@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-11
★[[364,13,11]]bivariate bicycle2D-local bilayer36413d ≤ 114.3210.025669111614.4@MathysRennelaDeepSeek V4.1 Flash2026-09-29
★[[23,11,3]]other2311d ≤ 34.304·8·14·@mathysrennelaMimo-V2.6-Free2026-09-27
★[[268,8,12]]bivariate bicycle2D-local single2688d ≤ 124.2990.0672617311616.1@dorakingxClaudeClaude Opus 5 (Claude Code)2026-10-02
[[700,47,8]]lifted product70047d ≤ 84.297·7·2.54·@mathysrennelaGLM 5.3 Flash2026-09-14
★[[140,6,10]]bivariate bicycle1406d ≤ 104.286·5·16·@cbjuanGPT 5.6 Sol2026-09-07
[[240,16,8]]bivariate bicycle2D-local bilayer24016d ≤ 84.2670.001961193169.54@vprussoClaudeClaude Fable 5.12026-09-22
★[[30,8,4]]generalized bicycle2D-local bilayer308d = 44.2670.02736139163.61@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[60,4,8]]generalized bicycle2D-local bilayer604d = 84.2670.02525116165@willzengClaudeClaude Fable 5.12026-09-02
[[608,2,36]]known paramsgeneralized bicycle6082d ≤ 364.263·6·16·@vprussoClaudeClaude Opus 52026-09-21
★[[92,2,14]]generalized bicycle922d ≤ 144.261·8·14·@mathysrennelaMimo-V2.6-Free2026-09-27
★[[49,13,4]]local-sat-css2D-local single4913d ≤ 44.2450.0663853145@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
★[[106,2,15]]generalized bicycle2D-local bilayer1062d ≤ 154.2450.00218652147.62@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[30,14,3]]generalized bicycle2D-local bilayer3014d = 34.20.0145836142.24@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[15,7,3]]known paramsother2D-local single157d = 34.20.34380142.65@FarLabClaudeClaude Opus 52026-07-25
[[42,11,4]]known paramscheck-deletion4211d ≤ 44.19·6·16·@vprussoClaudeClaude Opus 52026-09-21
[[176,46,4]]generalized bicycle17646d ≤ 44.182·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[276,8,12]]bivariate bicycle2D-local single2768d ≤ 124.1740.0652617781614.9@vprussoClaudeClaude Fable 5.12026-09-20
★[[162,4,13]]generalized bicycle1624d ≤ 134.173·5·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[41,19,3]]known paramscheck-deletion2D-local bilayer4119d ≤ 34.1710.003218145.39@vprussoClaudeClaude Opus 52026-09-21
[[54,9,5]]other2D-local bilayer549d = 54.1670.0026122621.244.12@mathysrennelaGPT-5.6 Luna2026-08-21
★[[96,4,10]]known params2BGA coset964d = 104.167·5·16·Lin et al.2023
★[[192,2,20]]generalized bicycle1922d ≤ 204.167·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[225,104,3]]hypergraph product225104d = 34.16·19·14·@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-15
★[[78,4,9]]known paramsgeneralized bicycle784d = 94.154·5·16·@natestemenGPT-62026-09-18
[[85,22,4]]topological8522d = 44.141·6·18·@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-12
[[288,74,4]]bivariate bicycle28874d ≤ 44.111·8·14·@mathysrennela2026-09-21
★[[48,4,7]]generalized bicycle2D-local bilayer484d = 74.0830.01415124165@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[96,2,14]]generalized bicycle962d ≤ 144.083·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[142,2,17]]generalized bicycle1422d ≤ 174.07·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[178,2,19]]generalized bicycle1782d ≤ 194.056·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[160,18,6]]topological16018d = 64.05·5·1.338·@msilve160ClaudeClaude Sonnet 52026-09-19
★[[262,2,23]]generalized bicycle2622d ≤ 234.038·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[232,104,3]]hypergraph product232104d = 34.034·19·14·@mathysrennelaTencent Hy32026-07-17
★[[240,8,11]]bivariate bicycle2D-local single2408d ≤ 114.0330.063615191414.4@dorakingxClaudeClaude Opus 5 (Claude Code)2026-10-02
★[[60,2,11]]generalized bicycle2D-local bilayer602d ≤ 114.0330.00488247146.4@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[696,174,4]]bivariate bicycle696174d ≤ 44.0·8·14·@cbjuan2026-09-16
[[688,172,4]]bivariate bicycle688172d ≤ 44.0·8·14·@cbjuan2026-09-16
[[384,96,4]]bivariate bicycle38496d ≤ 44.0·8·14·@cbjuan2026-09-16
★[[248,62,4]]bivariate bicycle24862d ≤ 44.0·6·14·@cbjuan2026-09-16
★[[192,48,4]]generalized bicycle19248d ≤ 44.0·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[176,44,4]]generalized bicycle17644d ≤ 44.0·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[160,40,4]]generalized bicycle16040d = 44.0·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[144,36,4]]generalized bicycle14436d = 44.0·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[192,12,8]]bivariate bicycle2D-local bilayer19212d = 84.00.02376694169@FarLabClaudeClaude Opus 52026-07-25
★[[48,12,4]]generalized bicycle2D-local bilayer4812d = 44.00.04650142.24@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[40,10,4]]⚙4LER recordtopological2D-local bilayer4010d = 44.00.0195158186.08@mathysrennelaDeepSeek V4 Flash 07312026-08-15
[[36,9,4]]other2D-local bilayer369d = 44.00.00591268144@mathysrennelaGPT-5.6 Luna2026-08-21
[[288,8,12]]bivariate bicycle2D-local single2888d = 124.00.0625618601614.9Liang et al.2025-04-11
[[50,8,5]]generalized bicycle2D-local bilayer508d = 54.00.017150144.12@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[32,8,4]]known params⚙4LER record2BGA coset2D-local bilayer328d = 44.00.0123882143.61Lin et al.2023
★[[24,6,4]]generalized bicycle2D-local bilayer246d = 44.00.0816616142Lin et al.2023-06-28
★[[36,4,6]]generalized bicycle2D-local bilayer364d = 64.00.0138589165.1@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[16,4,4]]other2D-local single164d = 44.00.16620143.16@MathysRennelaGLM 5.3 Flash2026-09-06
[[200,2,20]]generalized bicycle2002d ≤ 204.0·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[128,2,16]]generalized bicycle1282d ≤ 164.0·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[394,13,11]]bivariate bicycle2D-local bilayer39413d ≤ 113.9920.023669781612.4@MathysRennelaDeepSeek V4.1 Flash2026-09-28
[[41,18,3]]known paramscheck-deletion2D-local bilayer4118d ≤ 33.9510.002921131.3344.12@vprussoClaudeClaude Opus 52026-09-21
[[292,18,8]]known paramsbivariate bicycle29218d = 83.945·6·16·Zijian Liang et al.2025
[[203,8,10]]bivariate bicycle2D-local bilayer2038d ≤ 103.9410.02336172149.85@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-20
★[[153,6,10]]generalized bicycle2D-local bilayer1536d ≤ 103.9220.00356971.169.85@MathysRennelaDeepSeek V4 Flash 07312026-09-17
★[[100,2,14]]generalized bicycle1002d ≤ 143.920.005666971611.4@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[166,2,18]]generalized bicycle1662d ≤ 183.904·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[62,2,11]]generalized bicycle2D-local bilayer622d ≤ 113.9030.00298260146.32@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[205,8,10]]bivariate bicycle2D-local single2058d ≤ 103.9020.061612811613@dorakingxClaudeClaude Opus 5 (Claude Code)2026-10-02
[[249,8,11]]bivariate bicycle2D-local single2498d ≤ 113.8880.0607615681615.5@vprussoClaudeClaude Fable 5.12026-09-22
★[[116,2,15]]bivariate bicycle1162d ≤ 153.879·6·16·@mathysrennelaMimo-V2.6-Free2026-09-27
[[116,2,15]]generalized bicycle1162d ≤ 153.879·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[207,8,10]]bivariate bicycle2D-local single2078d ≤ 103.8650.0604612901614.3@vprussoClaudeClaude Fable 5.12026-09-20
★[[42,18,3]]generalized bicycle4218d = 33.857·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[126,6,9]]generalized bicycle1266d ≤ 93.857·5·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[14,6,3]]generalized bicycle2D-local bilayer146d = 33.8570.003713143@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[42,2,9]]generalized bicycle2D-local bilayer422d = 93.8570.0038126146.32@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[52,2,10]]generalized bicycle2D-local bilayer522d = 103.8460.0038202145.83@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[680,163,4]]lifted product680163d = 43.835·6·18·@npdeepMagic State Labs (Custom) v0.12026-08-12
[[169,8,9]]bivariate bicycle2D-local bilayer1698d ≤ 93.8340.022761431410.8@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-15
[[118,2,15]]generalized bicycle1182d ≤ 153.814·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[168,10,8]]bivariate bicycle2D-local bilayer16810d ≤ 83.810.00256774164@vprussoClaudeClaude Fable 5.12026-09-22
[[42,10,4]]generalized bicycle2D-local bilayer4210d = 43.810.0056688164@mathysrennelaDeepSeek V4 Flash 07312026-08-15
★[[76,2,12]]generalized bicycle762d ≤ 123.789·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[72,30,3]]local-sat-css2D-local bilayer7230d ≤ 33.750.00326237143.16@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
★[[40,6,5]]generalized bicycle2D-local bilayer406d = 53.750.006698143.16Lin et al.2023-06-28
[[41,17,3]]known paramscheck-deletion2D-local bilayer4117d ≤ 33.7320.00272181.3343.16@vprussoClaudeClaude Opus 52026-09-21
[[156,2,17]]generalized bicycle1562d ≤ 173.705·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[175,8,9]]bivariate bicycle2D-local bilayer1758d = 93.7030.02196153148.54@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-12
★[[190,78,3]]hypergraph product19078d = 33.695·18·14·@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-15
★[[176,8,9]]bivariate bicycle2D-local single1768d ≤ 93.6820.0575610751612.6@dorakingxClaudeClaude Opus 5 (Claude Code)2026-10-02
★[[92,2,13]]generalized bicycle922d ≤ 133.674·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
[[54,22,3]]generalized bicycle2D-local bilayer5422d = 33.6670.00598122144@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[27,11,3]]topological2711d ≤ 33.667·6·16·@mathysrennelaMimo-V2.6-Free2026-09-27
[[66,2,11]]generalized bicycle2D-local bilayer662d ≤ 113.6670.00278322146.4@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[476,6,17]]known paramsgeneralized bicycle4766d ≤ 173.643·5·16·@vprussoClaudeClaude Opus 52026-09-22
[[178,8,9]]bivariate bicycle2D-local single1788d ≤ 93.640.0569610851615.3@vprussoClaudeClaude Fable 5.12026-09-20
[[160,2,17]]generalized bicycle1602d ≤ 173.612·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[50,20,3]]local-sat-css2D-local bilayer5020d ≤ 33.60.00356110144.12@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
[[50,20,3]]known paramscheck-deletion2D-local bilayer5020d ≤ 33.60.009896144@vprussoClaudeClaude Opus 52026-09-21
[[40,16,3]]generalized bicycle2D-local bilayer4016d = 33.60.0125864142.24@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[90,4,9]]⚙9bivariate bicycle904d = 93.6·5·16·@cbjuanGPT 5.6 Sol +12026-09-07
[[80,2,12]]generalized bicycle802d ≤ 123.6·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[20,2,6]]other202d ≤ 63.6·8·14·@mathysrennelaMimo-V2.6-Free2026-09-27
[[94,2,13]]generalized bicycle942d ≤ 133.596·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[49,11,4]]local-sat-css2D-local single4911d ≤ 43.5920.0561680143.61@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
★[[540,4,22]]known paramsgeneralized bicycle5404d ≤ 223.585·5·16·@vprussoClaudeClaude Opus 52026-09-21
★[[28,4,5]]generalized bicycle2D-local bilayer284d = 53.5710.02296122143.61@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[56,2,10]]generalized bicycle2D-local bilayer562d = 103.5710.01046300167.28@MathysRennelaDeepSeek V4 Flash 07312026-09-18
★[[48,19,3]]known paramscheck-deletion2D-local bilayer4819d ≤ 33.5620.004218551.3345.83@vprussoClaudeClaude Opus 52026-09-22
★[[68,2,11]]generalized bicycle2D-local bilayer682d ≤ 113.5590.00276312167.21@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[450,100,4]]distance-amplified450100d ≤ 43.556·7·14·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[432,96,4]]distance-amplified43296d ≤ 43.556·7·14·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[414,92,4]]distance-amplified41492d ≤ 43.556·7·14·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[396,88,4]]distance-amplified39688d ≤ 43.556·7·14·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[378,84,4]]distance-amplified37884d ≤ 43.556·7·14·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[360,80,4]]distance-amplified36080d ≤ 43.556·7·14·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[342,76,4]]distance-amplified34276d ≤ 43.556·7·14·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[324,72,4]]distance-amplified32472d ≤ 43.556·7·14·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[306,68,4]]distance-amplified30668d ≤ 43.556·7·14·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[288,64,4]]distance-amplified28864d ≤ 43.556·7·14·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
★[[234,52,4]]distance-amplified23452d ≤ 43.556·7·14·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
[[36,8,4]]other2D-local single368d = 43.5560.0556646143.16@mathysrennelaDeepSeek V4 Flash 07312026-09-18
★[[18,4,4]]distance-amplified184d ≤ 43.556·5·16·@MathysRennelaSpace Bunny Alpha 1.02026-09-30
[[18,4,4]]known paramsbivariate bicycle2D-local single184d = 43.5560.0988630144Zijian Liang et al.2025
★[[36,2,8]]generalized bicycle2D-local bilayer362d = 83.5560.0053895145.39@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[66,26,3]]generalized bicycle2D-local bilayer6626d = 33.5450.0138839142@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[332,6,14]]bivariate bicycle2D-local bilayer3326d = 143.5420.012365831411.7@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-11
[[46,2,9]]generalized bicycle2D-local bilayer462d = 93.5220.00528137145.83@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[275,8,11]]bivariate bicycle2D-local single2758d ≤ 113.520.055617701.09615@vprussoClaudeClaude Fable 5.12026-09-20
★[[54,21,3]]known paramscheck-deletion2D-local bilayer5421d ≤ 33.50.00876941.3386.71@vprussoClaudeClaude Opus 52026-09-21
★[[36,14,3]]local-sat-css2D-local single3614d ≤ 33.50.0547640143@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-24
[[336,6,14]]bivariate bicycle2D-local bilayer3366d ≤ 143.50.012165861412@FarLab and @vprussoClaudeClaude Opus 4.82026-06-16
[[201,78,3]]hypergraph product20178d = 33.493·19·14·@mathysrennelaTencent Hy32026-07-17
★[[49,19,3]]local-sat-css2D-local single4919d ≤ 33.490.0545662144.12@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-24
[[169,12,7]]bivariate bicycle2D-local bilayer16912d ≤ 73.4790.002264671410@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-16
★[[114,44,3]]hypergraph product11444d = 33.474·11·14·@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-12
★[[96,37,3]]known paramscheck-deletion9637d ≤ 33.469·6·18·@vprussoClaudeClaude Opus 52026-09-21
[[70,2,11]]generalized bicycle702d ≤ 113.457·6·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[81,31,3]]local-sat-css2D-local single8131d ≤ 33.4440.0538698143.16@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
[[21,2,6]]other212d ≤ 63.429·8·14·@mathysrennelaMimo-V2.6-Free2026-09-27
[[50,19,3]]known paramscheck-deletion5019d ≤ 33.42·8·1.334·@vprussoClaudeClaude Opus 52026-09-21
[[53,20,3]]⚙2other2D-local bilayer5320d ≤ 33.3960.003361631.3385.1@mathysrennelaMiMo-V2.6-Flash2026-09-26
[[117,44,3]]hypergraph product11744d = 33.385·11·14·@mathysrennelaTencent Hy32026-07-17
[[96,36,3]]known paramscheck-deletion9636d ≤ 33.375·6·1.338·@vprussoClaudeClaude Opus 52026-09-21
★[[64,24,3]]local-sat-css2D-local single6424d ≤ 33.3750.0527662142.24@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
★[[32,12,3]]local-sat-css2D-local bilayer3212d ≤ 33.3750.0104649142.83@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
★[[16,6,3]]other2D-local single166d = 33.3750.135615142.24@mathysrennelaDeepSeek V4 Flash 07312026-09-18
[[175,12,7]]bivariate bicycle2D-local bilayer17512d = 73.360.00546459149.06@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-15
[[180,6,10]]bivariate bicycle2D-local bilayer1806d = 103.3330.01156293148.06@FarLab and @vprussoClaudeClaude Opus 4.82026-06-16
★[[30,4,5]]generalized bicycle2D-local bilayer304d = 53.3330.013567163.61@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[154,8,8]]bivariate bicycle2D-local single1548d ≤ 83.3250.051969211413.6@dorakingxClaudeClaude Opus 5 (Claude Code)2026-10-02
[[118,8,7]]bivariate bicycle2D-local bilayer1188d = 73.3220.01976104148.94@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-20
[[59,4,7]]generalized bicycle2D-local bilayer594d ≤ 73.3220.019751111.1465.1@MathysRennelaDeepSeek V4 Flash 07312026-09-17
[[242,8,10]]bivariate bicycle2D-local bilayer2428d ≤ 103.3060.05176198169.85@msilve160ClaudeClaude Sonnet 52026-09-18
★[[126,46,3]]generalized bicycle12646d = 33.286·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[96,35,3]]known paramscheck-deletion9635d ≤ 33.281·6·1.338·@vprussoClaudeClaude Opus 52026-09-21
[[198,8,9]]bivariate bicycle2D-local bilayer1988d = 93.2730.05116161168.6@mathysrennelaOmen Alpha 1.02026-09-09
[[264,6,12]]bivariate bicycle2D-local bilayer2646d = 123.2730.011364491410.8@FarLab and @vprussoClaudeClaude Opus 4.82026-06-19
★[[22,2,6]]generalized bicycle2D-local bilayer222d = 63.2730.0327822143.16@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[74,2,11]]generalized bicycle742d ≤ 113.27·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[30,2,7]]generalized bicycle2D-local bilayer302d = 73.2670.0113857143.61@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[25,9,3]]other2D-local single259d = 33.240.0506632143.16@mathysrennelaDeepSeek V4 Flash 07312026-09-18
[[200,8,9]]bivariate bicycle2D-local single2008d = 93.240.0506612321613.3Liang et al.2025-04-11
★[[50,2,9]]generalized bicycle2D-local bilayer502d = 93.240.00286263145.39@mathysrennelaDeepSeek V4 Flash 07312026-08-15
[[28,10,3]]generalized bicycle2D-local bilayer2810d = 33.2140.0025851144.12@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[125,25,4]]balanced product12525d = 43.2·9·14·@MathysRennelaOpenAI GPT-5.6 Luna2026-08-07
[[80,16,4]]hypergraph product8016d = 43.2·12·14·@mathysrennelaTencent Hy32026-07-17
[[50,10,4]]generalized bicycle2D-local bilayer5010d = 43.20.00476192145@mathysrennelaDeepSeek V4 Flash 07312026-08-15
[[25,5,4]]other2D-local single255d = 43.20.05627144.47@MathysRennelaGLM 5.3 Flash2026-09-06
★[[40,2,8]]generalized bicycle2D-local bilayer402d = 83.20.00936213146.4@mathysrennelaDeepSeek V4 Flash 07312026-08-15
★[[152,6,9]]generalized bicycle2D-local bilayer1526d ≤ 93.1970.002556941.22610@MathysRennelaDeepSeek V4 Flash 07312026-09-17
★[[123,8,7]]bivariate bicycle2D-local single1238d ≤ 73.1870.049867051410@dorakingxClaudeClaude Opus 5 (Claude Code)2026-10-02
[[161,8,8]]bivariate bicycle2D-local single1618d ≤ 83.180.049769621611.4@vprussoClaudeClaude Fable 5.12026-09-22
★[[120,42,3]]generalized bicycle12042d = 33.15·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[270,5,13]]bivariate bicycle2D-local bilayer2705d ≤ 133.130.012265141411@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-11
★[[288,100,3]]bivariate bicycle288100d = 33.125·8·14·@cbjuan2026-09-16
[[49,17,3]]other2D-local single4917d = 33.1220.0488654146.08@mathysrennelaDeepSeek V4 Flash 07312026-09-18
[[64,22,3]]local-sat-css2D-local single6422d ≤ 33.0940.0483674144@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-24
[[396,136,3]]bivariate bicycle396136d = 33.091·8·14·@cbjuan2026-09-16
[[276,5,13]]bivariate bicycle2D-local bilayer2765d = 133.0620.01265091411.7@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-11
[[32,2,7]]generalized bicycle2D-local bilayer322d = 73.0620.0181863144.24@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[672,228,3]]bivariate bicycle672228d ≤ 33.054·8·14·@cbjuan2026-09-16
★[[696,236,3]]bivariate bicycle696236d ≤ 33.052·8·14·@cbjuan2026-09-16
★[[690,234,3]]bivariate bicycle690234d ≤ 33.052·8·14·@cbjuan2026-09-16
[[160,6,9]]bivariate bicycle2D-local bilayer1606d = 93.0380.010562581.1149.22@FarLab and @vprussoClaudeClaude Opus 4.82026-06-16
[[240,6,11]]bivariate bicycle2D-local bilayer2406d = 113.0250.010564061.09410@FarLab and @vprussoClaudeClaude Opus 4.82026-06-19
[[158,53,3]]known paramscheck-deletion15853d ≤ 33.019·19·14·@vprussoClaudeClaude Opus 52026-09-21
[[130,8,7]]bivariate bicycle2D-local single1308d ≤ 73.0150.047167461611.7@vprussoClaudeClaude Fable 5.12026-09-20
★[[696,232,3]]bivariate bicycle696232d ≤ 33.0·6·14·@cbjuan2026-09-16
★[[270,90,3]]bivariate bicycle27090d = 33.0·6·14·@cbjuan2026-09-16
★[[234,78,3]]bivariate bicycle23478d = 33.0·6·14·@cbjuan2026-09-16
★[[192,64,3]]generalized bicycle19264d = 33.0·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[162,54,3]]generalized bicycle16254d = 33.0·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[126,42,3]]generalized bicycle12642d = 33.0·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[108,36,3]]bivariate bicycle10836d = 33.0·16·14·@cbjuan2026-09-16
[[90,30,3]]generalized bicycle9030d = 33.0·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[78,26,3]]generalized bicycle7826d = 33.0·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[66,22,3]]generalized bicycle6622d = 33.0·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[96,18,4]]topological9618d = 43.0·6·1.58·@mathysrennelaDeepSeek V4 Flash 07312026-08-15
[[42,14,3]]generalized bicycle4214d = 33.0·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[64,12,4]]local-sat-css2D-local single6412d ≤ 43.00.04696101145@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-26
[[36,12,3]]other2D-local single3612d = 33.00.0469650143@mathysrennelaDeepSeek V4 Flash 07312026-09-18
★[[30,10,3]]generalized bicycle2D-local single3010d = 33.00.0469632143.16@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[24,8,3]]generalized bicycle248d ≤ 33.0·6·14·@mathysrennelaMimo-V2.6-Free2026-09-27
★[[24,8,3]]generalized bicycle2D-local bilayer248d = 33.00.03725141@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[128,6,8]]bivariate bicycle2D-local bilayer1286d = 83.00.010461961.1246.32@FarLab and @vprussoClaudeClaude Opus 4.82026-06-16
★[[98,6,7]]generalized bicycle986d = 73.0·5·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[72,6,6]]bivariate bicycle2D-local bilayer726d = 63.00.0104696145.39@FarLab and @vprussoClaudeClaude Opus 4.82026-06-16
★[[8,6,2]]generalized bicycle2D-local single86d = 23.00.1280141@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[15,5,3]]topological155d ≤ 33.0·5·16·@mathysrennelaMimo-V2.6-Free2026-09-27
[[54,2,9]]generalized bicycle2D-local bilayer542d = 93.00.00446193164.47@mathysrennelaDeepSeek V4 Flash 07312026-08-15
★[[24,2,6]]generalized bicycle2D-local bilayer242d = 63.00.03631143.61@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[198,12,7]]bivariate bicycle2D-local bilayer19812d = 72.970.00746487149.85@FarLab and @vprussoClaudeClaude Opus 4.82026-06-16
[[108,20,4]]topological2D-local bilayer10820d = 42.9630.004463511.588.54@mathysrennelaDeepSeek V4 Flash 07312026-08-15
[[158,52,3]]hypergraph product15852d = 32.962·19·14·@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-15
[[120,22,4]]topological12022d = 42.933·6·1.58·@mathysrennelaDeepSeek V4 Flash 07312026-08-15
★[[117,38,3]]check-deletion11738d ≤ 32.923·6·110·@dorakingxClaudeClaude Opus 5 (Claude Code)2026-10-02
[[102,33,3]]hypergraph product2D-local bilayer10233d = 32.9120.003511263145@mathysrennelaTencent Hy32026-07-17
★[[34,2,7]]generalized bicycle2D-local bilayer342d = 72.8820.016192146.71@mathysrennelaDeepSeek V4 Flash 07312026-08-15
[[119,38,3]]known paramscheck-deletion11938d ≤ 32.874·6·110·@vprussoClaudeClaude Opus 52026-09-22
★[[102,8,6]]bivariate bicycle2D-local single1028d ≤ 62.8240.044165701611@dorakingxClaudeClaude Opus 5 (Claude Code)2026-10-02
[[119,37,3]]known paramscheck-deletion11937d ≤ 32.798·6·110·@vprussoClaudeClaude Opus 52026-09-21
★[[18,2,5]]other182d ≤ 52.778·7·14·@mathysrennelaMimo-V2.6-Free2026-09-27
★[[18,2,5]]generalized bicycle2D-local bilayer182d = 52.7780.043487142.83@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[170,52,3]]hypergraph product17052d = 32.753·19·14·@mathysrennelaTencent Hy32026-07-17
[[119,36,3]]known paramscheck-deletion11936d ≤ 32.723·6·1.6710·@vprussoClaudeClaude Opus 52026-09-21
★[[192,8,8]]generalized bicycle1928d ≤ 82.667·5·18·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[108,8,6]]bivariate bicycle2D-local single1088d ≤ 62.6670.041766021611.7@vprussoClaudeClaude Fable 5.12026-09-20
★[[12,8,2]]generalized bicycle2D-local single128d = 22.6670.063188142.24@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[36,6,4]]other2D-local single366d = 42.6670.0417665144.12@MathysRennelaGLM 5.3 Flash2026-09-06
★[[24,4,4]]generalized bicycle2D-local bilayer244d = 42.6670.0417522163@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[6,4,2]]other64d ≤ 22.667·6·1acyclic·@MathysRennelaMimo-V2.6-Flash2026-09-27
★[[12,2,4]]other2D-local bilayer122d ≤ 42.6670.015866144.12@mathysrennelaGPT-6 Luna2026-09-23
★[[12,2,4]]other2D-local single122d = 42.6670.0631613143.16@MathysRennelaOx Alpha 1.02026-08-25
[[119,35,3]]known paramscheck-deletion11935d ≤ 32.647·6·1.6710·@vprussoClaudeClaude Opus 52026-09-21
[[112,6,7]]bivariate bicycle2D-local bilayer1126d = 72.6250.009161691.1446.32@FarLab and @vprussoClaudeClaude Opus 4.82026-06-16
[[168,48,3]]generalized bicycle16848d = 32.571·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[84,6,6]]generalized bicycle846d ≤ 62.571·5·16·@mathysrennelaMimo-V2.6-Free2026-09-27
[[28,2,6]]generalized bicycle2D-local bilayer282d = 62.5710.002663146@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[151,6,8]]generalized bicycle2D-local bilayer1516d = 82.5430.00256921.3869.22@MathysRennelaDeepSeek V4 Flash 07312026-09-17
[[64,10,4]]local-sat-css2D-local single6410d ≤ 42.50.0391690143.16@vprussoClaudeClaude Fable 5.1 (Claude Code)2026-09-24
★[[16,10,2]]generalized bicycle2D-local single1610d = 22.50.188141.41@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[180,2,15]]generalized bicycle1802d ≤ 152.5·5·18·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[20,2,5]]generalized bicycle2D-local bilayer202d = 52.50.0087629143.16@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[58,16,3]]hypergraph product2D-local bilayer5816d = 32.4830.0037208143.16@mathysrennela2026-07-17
[[88,6,6]]bivariate bicycle2D-local bilayer886d = 62.4550.03036199147.33Liang et al.2025-04-11
★[[11,3,3]]check-deletion2D-local single113d ≤ 32.4550.058165142.24@dorakingxClaudeClaude Opus 5 (Claude Code)2026-10-02
[[162,8,7]]bivariate bicycle2D-local bilayer1628d = 72.420.03786126168.06@msilve160ClaudeClaude Sonnet 52026-09-18
[[82,22,3]]hypergraph product8222d = 32.415·11·14·@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-15
★[[20,12,2]]generalized bicycle2D-local single2012d = 22.40.0568848142.24@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[30,8,3]]topological308d ≤ 32.4·5·16·@mathysrennelaMimo-V2.6-Free2026-09-27
[[40,6,4]]topological2D-local bilayer406d = 42.40.01145176186@mathysrennelaDeepSeek V4 Flash 07312026-08-15
★[[38,10,3]]⚙2other2D-local bilayer3810d ≤ 32.3680.01135150183.61@mathysrennelaMiMo-V2.6-Flash2026-09-26
[[65,17,3]]hypergraph product2D-local bilayer6517d = 32.3540.00288179145.66@mathysrennelaTencent Hy32026-07-18
★[[24,14,2]]generalized bicycle2D-local bilayer2414d = 22.3330.0288812142@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[168,8,7]]generalized bicycle1688d ≤ 72.333·5·18·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[28,16,2]]generalized bicycle2D-local single2816d = 22.2860.0541848142@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[14,8,2]]generalized bicycle2D-local single148d = 22.2860.0541822141.41@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[56,2,8]]⚙7generalized bicycle2D-local bilayer562d = 82.2860.00116216146.71Wang et al.2022-03-31
[[87,22,3]]hypergraph product8722d = 32.276·11·14·@mathysrennelaTencent Hy32026-07-17
[[22,2,5]]generalized bicycle2D-local bilayer222d = 52.2730.0227622143.16@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[32,18,2]]generalized bicycle2D-local single3218d = 22.250.053388141@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[16,9,2]]generalized bicycle2D-local single169d = 22.250.0533825143@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[128,8,6]]bivariate bicycle2D-local single1288d = 62.250.035267321610.4Liang et al.2025-04-11
[[96,6,6]]generalized bicycle966d = 62.25·5·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[12,3,3]]known paramscheck-deletion2D-local single123d ≤ 32.250.09671.3343.16@vprussoClaudeClaude Opus 52026-09-21
★[[36,20,2]]generalized bicycle2D-local single3620d = 22.2220.052680141@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[18,10,2]]generalized bicycle2D-local bilayer1810d = 22.2220.034784141.41@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[40,22,2]]generalized bicycle2D-local single4022d = 22.20.0344834141.41@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[44,24,2]]generalized bicycle2D-local single4424d = 22.1820.0516836142@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[48,26,2]]generalized bicycle2D-local bilayer4826d = 22.1670.0217886140@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[24,13,2]]generalized bicycle2D-local bilayer2413d = 22.1670.0267810142@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[52,28,2]]generalized bicycle2D-local single5228d = 22.1540.051816141.41@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[56,30,2]]generalized bicycle2D-local single5630d = 22.1430.0335862141.41@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[60,32,2]]generalized bicycle2D-local bilayer6032d = 22.1330.0213870142@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[30,16,2]]generalized bicycle2D-local bilayer3016d = 22.1330.0074845141.41@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[23,1,7]]other231d ≤ 72.13·8·14·@mathysrennelaMimo-V2.6-Free2026-09-27
★[[64,34,2]]generalized bicycle2D-local single6434d = 22.1250.0503832141.41@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[32,17,2]]generalized bicycle2D-local bilayer3217d = 22.1250.0212815142.24@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[68,36,2]]generalized bicycle6836d = 22.118·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[51,12,3]]hypergraph product2D-local bilayer5112d = 32.1180.0053791148@mathysrennelaTencent Hy32026-07-17
[[72,38,2]]generalized bicycle7238d = 22.111·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[80,42,2]]generalized bicycle8042d = 22.1·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[84,44,2]]generalized bicycle8444d = 22.095·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[88,46,2]]generalized bicycle8846d = 22.091·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[96,50,2]]generalized bicycle9650d = 22.083·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[48,25,2]]generalized bicycle2D-local bilayer4825d = 22.0830.0208831142@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[104,54,2]]generalized bicycle2D-local bilayer10454d = 22.0770.0123876142@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[112,58,2]]generalized bicycle11258d = 22.071·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[120,62,2]]generalized bicycle12062d = 22.067·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[64,33,2]]generalized bicycle2D-local bilayer6433d = 22.0620.0206838142@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[136,70,2]]generalized bicycle13670d = 22.059·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[72,37,2]]generalized bicycle7237d = 22.056·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[152,78,2]]generalized bicycle15278d = 22.053·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[156,80,2]]generalized bicycle15680d = 22.051·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[780,4,20]]known paramsgeneralized bicycle7804d ≤ 202.051·5·16·@vprussoClaudeClaude Opus 52026-09-20
[[80,41,2]]generalized bicycle8041d = 22.05·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[184,94,2]]generalized bicycle18494d = 22.043·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[48,2,7]]generalized bicycle2D-local bilayer482d = 72.0420.00715127165.1@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[200,102,2]]generalized bicycle200102d = 22.04·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[452,228,2]]bivariate bicycle452228d = 22.018·8·14·@cbjuan2026-09-16
★[[224,112,2]]bivariate bicycle224112d = 22.0·6·14·@cbjuan2026-09-16
★[[176,88,2]]generalized bicycle17688d = 22.0·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[168,84,2]]generalized bicycle16884d = 22.0·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[160,80,2]]generalized bicycle16080d = 22.0·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[156,78,2]]generalized bicycle15678d = 22.0·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[152,76,2]]generalized bicycle15276d = 22.0·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[144,72,2]]generalized bicycle14472d = 22.0·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[136,68,2]]generalized bicycle13668d = 22.0·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[128,64,2]]generalized bicycle12864d = 22.0·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[120,60,2]]generalized bicycle12060d = 22.0·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[112,56,2]]generalized bicycle11256d = 22.0·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[108,54,2]]generalized bicycle2D-local bilayer10854d = 22.00.0038346141.41@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[104,52,2]]generalized bicycle2D-local bilayer10452d = 22.00.0118896141.41@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[100,50,2]]generalized bicycle2D-local bilayer10050d = 22.00.02692141@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[96,48,2]]generalized bicycle9648d = 22.0·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[92,46,2]]generalized bicycle9246d = 22.0·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[88,44,2]]generalized bicycle8844d = 22.0·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[84,42,2]]generalized bicycle8442d = 22.0·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[80,40,2]]generalized bicycle8040d = 22.0·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[76,38,2]]generalized bicycle7638d = 22.0·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[72,36,2]]generalized bicycle7236d = 22.0·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[68,34,2]]generalized bicycle6834d = 22.0·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[64,32,2]]generalized bicycle2D-local single6432d = 22.00.08652142@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[60,30,2]]generalized bicycle2D-local single6030d = 22.00.0473688143@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[56,28,2]]generalized bicycle2D-local single5628d = 22.00.08638141@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[52,26,2]]generalized bicycle2D-local single5226d = 22.00.08626141.41@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[48,24,2]]generalized bicycle2D-local single4824d = 22.00.08620142.24@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[44,22,2]]generalized bicycle2D-local single4422d = 22.00.098860141.41@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[40,20,2]]generalized bicycle2D-local single4020d = 22.00.08632141.41@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[36,18,2]]generalized bicycle2D-local single3618d = 22.00.0988612142.24@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[32,16,2]]generalized bicycle2D-local single3216d = 22.00.08622141@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[28,14,2]]generalized bicycle2D-local single2814d = 22.00.08636142.24@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[24,12,2]]generalized bicycle2D-local bilayer2412d = 22.00.02724143.16@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[20,10,2]]generalized bicycle2D-local single2010d = 22.00.0988610142.24@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[100,8,5]]generalized bicycle2D-local bilayer1008d = 52.00.0055343187.62@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[16,8,2]]generalized bicycle2D-local single168d = 22.00.098864142.83@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[588,6,14]]known paramsgeneralized bicycle5886d ≤ 142.0·5·16·@vprussoClaudeClaude Opus 52026-09-21
★[[108,6,6]]generalized bicycle2D-local bilayer1086d = 62.00.00625262163.16@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[12,6,2]]generalized bicycle2D-local single126d = 22.00.08618143@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[18,4,3]]⚙3LER recordother2D-local single184d = 32.00.0312524143@vprussoClaudeClaude Fable 52026-08-26
★[[8,4,2]]generalized bicycle2D-local single84d = 22.00.0864141.41@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[900,2,30]]topological2D-local single9002d ≤ 302.00.125424641830.1@mathysrennela2026-09-20
★[[784,2,28]]topological2D-local single7842d ≤ 282.00.125421321828.2@mathysrennela2026-09-20
★[[676,2,26]]topological2D-local single6762d ≤ 262.00.125418241825.3@mathysrennela2026-09-20
★[[576,2,24]]topological2D-local single5762d ≤ 242.00.125415401823.8@mathysrennela2026-09-20
★[[484,2,22]]topological2D-local single4842d ≤ 222.00.125412801821.4@mathysrennela2026-09-20
★[[400,2,20]]topological2D-local single4002d ≤ 202.00.125410441819.9@mathysrennela2026-09-20
★[[324,2,18]]topological2D-local single3242d ≤ 182.00.12548321817.5@mathysrennela2026-09-20
★[[256,2,16]]topological2D-local single2562d ≤ 162.00.12546441815.5@mathysrennela2026-09-20
★[[196,2,14]]bivariate bicycle1962d ≤ 142.0·4·18·@pandey-tusharClaudeClaude Opus 52026-09-18
★[[144,2,12]]multivariate-bicycle2D-local bilayer1442d = 122.00.00344381812@mathysrennelaDeepSeek V4 Flash 07312026-08-15
★[[100,2,10]]known paramsgeneralized bicycle1002d ≤ 102.0·4·18·@vprussoClaudeClaude Opus 52026-09-20
★[[64,2,8]]⚙8topological2D-local single642d = 82.00.1254132189.22Kitaev, A. Yu.1997-07-09
★[[36,2,6]]⚙6topological2D-local single362d = 62.00.125464187.07Kitaev, A. Yu.1997-07-09
★[[16,2,4]]⚙4LER recordtopological2D-local single162d = 42.00.125420184.24Kitaev, A. Yu.1997-07-09
★[[4,2,2]]topological2D-local single42d = 22.0240141.41@mathysrennela2026-09-20
★[[362,2,19]]generalized bicycle3622d ≤ 191.994·4·18·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[226,2,15]]known paramsgeneralized bicycle2262d ≤ 151.991·4·18·@vprussoClaudeClaude Opus 52026-09-20
★[[170,2,13]]known paramsgeneralized bicycle1702d ≤ 131.988·4·18·@vprussoClaudeClaude Opus 52026-09-20
★[[122,2,11]]generalized bicycle1222d ≤ 111.984·4·18·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[82,2,9]]generalized bicycle822d ≤ 91.976·4·18·@vprussoClaudeClaude Opus 52026-09-20
[[146,18,4]]known paramsbivariate bicycle14618d = 41.973·6·16·Zijian Liang et al.2025
★[[50,2,7]]topological502d ≤ 71.96·4·18·@mathysrennelaMimo-V2.6-Free2026-09-27
★[[454,2,21]]generalized bicycle4542d ≤ 211.943·4·18·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[298,2,17]]generalized bicycle2982d ≤ 171.94·4·18·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[84,2,9]]⚙9bivariate bicycle2D-local bilayer842d = 91.9290.004643611814.1@mathysrennela2026-08-16
[[26,2,5]]generalized bicycle2D-local bilayer262d = 51.9230.0031637145.1@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[50,6,4]]⚙4LER recordbivariate bicycle2D-local bilayer506d = 41.920.0768654144@FarLab and @vprussoClaudeClaude Opus 4.82026-06-16
[[422,2,20]]generalized bicycle4222d ≤ 201.896·4·18·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[52,2,7]]generalized bicycle522d ≤ 71.885·4·18·@mathysrennelaMimo-V2.6-Free2026-09-27
★[[562,2,23]]known paramsgeneralized bicycle5622d ≤ 231.883·4·18·@vprussoClaudeClaude Opus 52026-09-21
[[346,2,18]]generalized bicycle3462d ≤ 181.873·4·18·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[278,2,16]]generalized bicycle2782d ≤ 161.842·4·18·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[110,2,10]]generalized bicycle1102d = 101.818·4·18·@vprussoClaudeClaude Opus 52026-09-20
[[54,2,7]]generalized bicycle542d ≤ 71.815·4·18·@mathysrennelaMimo-V2.6-Free2026-09-27
[[45,9,3]]hypergraph product2D-local bilayer459d = 31.80.01075158163.61@mathysrennela2026-07-17
★[[10,2,3]]topological102d ≤ 31.8·4·16·@mathysrennelaMimo-V2.6-Free2026-09-27
★[[10,2,3]]generalized bicycle2D-local single102d = 31.80.072613143.16@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[700,2,25]]generalized bicycle7002d ≤ 251.786·4·18·@MathysRennelaGLM 5.3 Flash (Zed agent)2026-09-20
★[[112,2,10]]multivariate-bicycle2D-local bilayer1122d = 101.7860.00174358188.94@mathysrennelaDeepSeek V4 Flash 07312026-08-15
[[36,16,2]]generalized bicycle2D-local bilayer3616d = 21.7780.0069773141.41@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[18,8,2]]generalized bicycle2D-local bilayer188d = 21.7780.0278714142.24@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[127,1,15]]topological2D-local single1271d ≤ 151.7720.041981261415.6@mathysrennelaGLM 5.3 Flash2026-09-21
[[56,2,7]]generalized bicycle562d ≤ 71.75·4·18·@mathysrennelaMimo-V2.6-Free2026-09-27
[[560,2,22]]generalized bicycle5602d ≤ 221.729·4·18·@MathysRennelaGLM 5.3 Flash (Zed agent)2026-09-20
[[262,2,15]]generalized bicycle2622d ≤ 151.718·4·18·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[42,8,3]]⚙3LER recordgeneralized bicycle2D-local bilayer428d = 31.7140.00116106145.1Wang et al.2022-03-31
[[14,6,2]]known params⚙2LER recordbivariate bicycle2D-local single146d = 21.7140.0406620141.73Zijian Liang et al.2025
[[672,2,24]]generalized bicycle6722d ≤ 241.714·4·18·@MathysRennelaGLM 5.3 Flash (Zed agent)2026-09-20
★[[71,1,11]]topological2D-local single711d ≤ 111.7040.04038701416.1@mathysrennelaGLM 5.3 Flash2026-09-21
[[37,7,3]]⚙3topological2D-local single377d = 31.7030.489616142@mathysrennelaOpenAI GPT-5.6 Luna2026-08-02
★[[58,2,7]]generalized bicycle2D-local single582d ≤ 71.690.02644144183.61@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[925,173,3]]topological2D-local single925173d ≤ 31.6831.6840142.24@mrvee-qC-beeGPT-6 Astra2026-10-01
★[[676,71,4]]lifted product67671d = 41.68·5·18·@npdeepMagic State Labs (Custom) v0.12026-08-12
[[48,20,2]]generalized bicycle2D-local bilayer4820d = 21.6670.0167775142@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[945,172,3]]topological2D-local single945172d ≤ 31.6381.6447142.24@vprusso2026-09-24
[[931,169,3]]topological2D-local single931169d ≤ 31.6341.6345142.24@vprusso2026-09-24
★[[874,157,3]]topological2D-local single874157d ≤ 31.6171.6241142.24@vprusso2026-09-24
[[60,24,2]]generalized bicycle2D-local bilayer6024d = 21.60.0063794142.24@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[30,12,2]]generalized bicycle2D-local bilayer3012d = 21.60.0055761142.24@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[20,8,2]]generalized bicycle2D-local bilayer208d = 21.60.0063714143@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[961,169,3]]topological2D-local single961169d ≤ 31.5831.58410142.24@mathysrennela2026-09-20
★[[31,1,7]]⚙7topological2D-local single311d ≤ 71.5810.0374830148.25@mathysrennelaGLM 5.3 Flash2026-09-21
★[[653,114,3]]topological2D-local single653114d = 31.5710.25143162.24@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-15
[[655,114,3]]topological2D-local single655114d = 31.5660.25141182.24@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-15
[[656,114,3]]topological2D-local single656114d = 31.5641.5640182.24@npdeepMagic State Labs (Custom) v0.12026-08-13
[[72,28,2]]generalized bicycle7228d = 21.556·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[63,2,7]]topological2D-local single632d = 71.5560.097241271.1487.62@MathysRennelaDeepSeek V4 Flash 07312026-09-17
[[136,52,2]]generalized bicycle13652d = 21.529·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[152,58,2]]generalized bicycle15258d = 21.526·8·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[84,32,2]]generalized bicycle8432d = 21.524·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[42,16,2]]generalized bicycle4216d = 21.524·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[192,72,2]]generalized bicycle19272d = 21.5·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[176,66,2]]generalized bicycle17666d = 21.5·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[160,60,2]]generalized bicycle16060d = 21.5·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[144,54,2]]generalized bicycle14454d = 21.5·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[128,48,2]]generalized bicycle12848d = 21.5·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[112,42,2]]generalized bicycle2D-local bilayer11242d = 21.50.00896133142.24@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[96,36,2]]generalized bicycle9636d = 21.5·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[80,30,2]]generalized bicycle8030d = 21.5·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[64,24,2]]generalized bicycle2D-local bilayer6424d = 21.50.015670142.24@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[48,18,2]]generalized bicycle2D-local bilayer4818d = 21.50.0185643140@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[32,12,2]]generalized bicycle2D-local bilayer3212d = 21.50.0185633141.41@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[8,3,2]]other2D-local single83d ≤ 21.50.2441141@mathysrennelaGPT-6 Luna2026-09-23
★[[12,2,3]]⚙3LER recordother2D-local single122d = 31.50.24416143@MathysRennela2026-08-25
[[108,40,2]]generalized bicycle2D-local bilayer10840d = 21.4810.00887102141.41@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[17,1,5]]topological2D-local single171d ≤ 51.4710.0348816148.06@mathysrennelaGLM 5.3 Flash2026-09-21
★[[17,1,5]]other171d ≤ 51.471·6·14·@mathysrennelaMimo-V2.6-Free2026-09-27
★[[17,1,5]]topological2D-local bilayer171d = 51.4710.0189836144.22@mathysrennelaDeepSeek V4 Flash 07312026-08-12
[[120,44,2]]generalized bicycle12044d = 21.467·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[676,110,3]]topological2D-local single676110d = 31.4641.4640182.83@npdeepMagic State Labs (Custom) v0.12026-08-12
[[132,48,2]]generalized bicycle13248d = 21.455·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[565,51,4]]other2D-local single56551d ≤ 41.4440.0713431163.16@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-17
★[[156,56,2]]generalized bicycle15656d = 21.436·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[168,60,2]]generalized bicycle16860d = 21.429·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[630,2,21]]other6302d ≤ 211.4·4·18·@mathysrennelaGLM 5.3 Flash (Zed agent)2026-09-19
★[[368,8,8]]topological2D-local single3688d = 81.3910.08749041814.1@FarLabClaudeClaude Fable 52026-08-13
★[[998,54,5]]topological2D-local single99854d ≤ 51.3531.3540184@victor-onofreClaudeClaude Opus 52026-09-19
★[[964,52,5]]topological2D-local single96452d ≤ 51.3491.3540184.12@victor-onofreClaudeClaude Opus 52026-09-19
★[[837,45,5]]topological2D-local single83745d ≤ 51.3441.3440184.12@victor-onofreClaudeClaude Opus 52026-09-19
★[[955,51,5]]topological2D-local single95551d ≤ 51.3351.3440184.12@mathysrennela2026-09-20
[[180,60,2]]generalized bicycle18060d = 21.333·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[168,56,2]]generalized bicycle16856d = 21.333·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[156,52,2]]generalized bicycle15652d = 21.333·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[144,48,2]]generalized bicycle14448d = 21.333·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[132,44,2]]generalized bicycle13244d = 21.333·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[120,40,2]]generalized bicycle12040d = 21.333·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[108,36,2]]generalized bicycle2D-local bilayer10836d = 21.3330.0017386142@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[84,28,2]]generalized bicycle8428d = 21.333·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[72,24,2]]generalized bicycle7224d = 21.333·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[48,16,2]]generalized bicycle4816d = 21.333·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[12,4,2]]generalized bicycle124d = 21.333·5·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[12,4,2]]other2D-local single124d ≤ 21.3330.21342141.41@mathysrennelaGPT-6 Luna2026-09-23
[[12,4,2]]known params⚙2LER recordbivariate bicycle2D-local single124d = 21.3330.10962142Zijian Liang et al.2025
★[[676,36,5]]other2D-local single67636d = 51.3311.3340184.47@Xo1otlClaudeClaude Opus 52026-08-20
★[[659,35,5]]other2D-local single65935d = 51.3281.3340184.12@mathysrennelaGLM 5.3 Flash2026-08-29
★[[735,39,5]]topological2D-local single73539d ≤ 51.3271.3340184.47@mathysrennela2026-09-20
★[[37,1,7]]known paramstopological2D-local single371d = 71.3240.38616146.61@FarLabClaudeClaude Opus 52026-07-26
★[[625,33,5]]other2D-local single62533d = 51.321.3240184@mathysrennelaGLM 5.3 Flash2026-08-29
★[[912,48,5]]topological2D-local single91248d ≤ 51.3161.3240184.12@mathysrennela2026-09-20
★[[608,32,5]]local-2d-single2D-local single60832d = 51.3161.3240184.12@mathysrennelaGLM 5.3 Flash2026-08-31
★[[532,28,5]]local-2d-single2D-local single53228d = 51.3161.3240184.47@mathysrennelaGLM 5.3 Flash2026-08-31
★[[19,1,5]]known paramstopological2D-local single191d = 51.3160.378614143.75@FarLabClaudeClaude Opus 52026-07-26
★[[819,43,5]]topological2D-local single81943d ≤ 51.3131.3140184.47@mathysrennela2026-09-20
★[[515,27,5]]local-2d-single2D-local single51527d = 51.3111.3140184.12@mathysrennelaGLM 5.3 Flash2026-08-31
★[[726,38,5]]topological2D-local single72638d = 51.3091.3140184.12@mathysrennela2026-09-20
★[[899,47,5]]topological2D-local single89947d ≤ 51.3071.3140184.47@mathysrennela2026-09-20
★[[574,30,5]]local-2d-single2D-local single57430d = 51.3071.3140184@mathysrennelaGLM 5.3 Flash2026-09-01
★[[937,25,7]]topological2D-local single93725d ≤ 71.3071.3140186.08@mathysrennela2026-09-20
★[[785,41,5]]topological2D-local single78541d ≤ 51.3061.3140184.12@mathysrennela2026-09-20
★[[709,37,5]]topological2D-local single70937d = 51.3051.340184.12@mathysrennela2026-09-20
[[671,35,5]]topological2D-local single67135d = 51.3041.340184.12@mathysrennelaGLM 5.3 Flash2026-08-29
★[[595,31,5]]local-2d-single2D-local single59531d = 51.3031.340184.12@mathysrennelaGLM 5.3 Flash2026-08-31
★[[557,29,5]]local-2d-single2D-local single55729d = 51.3021.340184.47@mathysrennelaGLM 5.3 Flash2026-08-31
★[[715,19,7]]topological2D-local single71519d ≤ 71.3021.340186.32@mathysrennela2026-09-20
[[519,27,5]]local-2d-single2D-local single51927d = 51.3011.340184.12@mathysrennelaGLM 5.3 Flash2026-08-31
★[[641,17,7]]topological2D-local single64117d = 71.31.340186.71@mathysrennelaGLM 5.3 Flash2026-08-29
★[[481,25,5]]local-2d-single2D-local single48125d = 51.2991.340184.47@mathysrennelaGLM 5.3 Flash2026-08-31
★[[886,46,5]]topological2D-local single88646d ≤ 51.2981.340184.12@mathysrennela2026-09-20
★[[443,23,5]]local-2d-single2D-local single44323d = 51.2981.340185@mathysrennelaGLM 5.3 Flash2026-08-31
★[[810,42,5]]topological2D-local single81042d ≤ 51.2961.340184.12@mathysrennela2026-09-20
★[[405,21,5]]local-2d-single2D-local single40521d = 51.2961.340185.66@mathysrennelaGLM 5.3 Flash2026-08-31
★[[567,15,7]]local-2d-single2D-local single56715d = 71.2961.340186.32@mathysrennelaGLM 5.3 Flash2026-08-31
★[[367,19,5]]other2D-local single36719d = 51.2941.2940184.47@Xo1otlClaudeClaude Opus 52026-08-20
★[[658,34,5]]local-2d-single2D-local single65834d = 51.2921.2940184.12@mathysrennelaGLM 5.3 Flash2026-08-31
★[[329,17,5]]local-2d-single2D-local single32917d = 51.2921.2940184.12@mathysrennelaGLM 5.3 Flash2026-08-31
★[[493,13,7]]local-2d-single2D-local single49313d = 71.2921.2940186.32@mathysrennelaGLM 5.3 Flash2026-08-31
[[632,51,4]]other2D-local single63251d ≤ 41.2910.0638420163.16@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-16
[[582,30,5]]local-2d-single2D-local single58230d = 51.2891.2940184.12@mathysrennelaGLM 5.3 Flash2026-08-31
★[[388,20,5]]local-2d-single2D-local single38820d = 51.2891.2940184.12@mathysrennelaGLM 5.3 Flash2026-08-31
★[[291,15,5]]local-2d-single2D-local single29115d = 51.2891.2940184.47@mathysrennelaGLM 5.3 Flash2026-08-31
★[[691,11,9]]topological2D-local single69111d = 91.2891.2940188.25@mathysrennelaGLM 5.3 Flash2026-08-29
★[[419,11,7]]local-2d-single2D-local single41911d = 71.2861.2940186.71@mathysrennelaGLM 5.3 Flash2026-08-31
[[14,2,3]]other2D-local single142d = 31.2860.0201415142.24@MathysRennela2026-08-25
★[[7,1,3]]⚙2topological2D-local single71d = 31.2860.32140142Steane, Andrew M.1996-01-29
★[[506,26,5]]local-2d-single2D-local single50626d = 51.2851.2840184.12@mathysrennelaGLM 5.3 Flash2026-08-31
★[[253,13,5]]other2D-local single25313d = 51.2851.2840184.12@Xo1otlClaudeClaude Opus 52026-08-20
★[[569,9,9]]other2D-local single5699d = 91.2811.28401810@Xo1otlClaudeClaude Opus 52026-08-20
★[[430,22,5]]local-2d-single2D-local single43022d = 51.2791.2840184.12@mathysrennelaGLM 5.3 Flash2026-08-31
★[[215,11,5]]other2D-local single21511d = 51.2791.2840184.12@Xo1otlClaudeClaude Opus 52026-08-20
★[[331,47,3]]local-2d-single2D-local single33147d = 31.2781.2840182@mathysrennelaGLM 5.3 Flash2026-09-01
★[[317,45,3]]local-2d-single2D-local single31745d = 31.2781.2840182.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[345,9,7]]other2D-local single3459d = 71.2781.2840186.32@Xo1otlClaudeClaude Opus 52026-08-20
★[[303,43,3]]local-2d-single2D-local single30343d = 31.2771.2840182.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[289,41,3]]local-2d-single2D-local single28941d = 31.2771.2840182.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[275,39,3]]local-2d-single2D-local single27539d = 31.2761.2840182.24@mathysrennelaGLM 5.3 Flash2026-08-31
★[[261,37,3]]local-2d-single2D-local single26137d = 31.2761.2840182.24@mathysrennelaGLM 5.3 Flash2026-08-31
[[640,51,4]]other2D-local single64051d ≤ 41.2750.063418163.61@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-16
★[[247,35,3]]local-2d-single2D-local single24735d = 31.2751.2840182.24@mathysrennelaGLM 5.3 Flash2026-08-31
★[[233,33,3]]local-2d-single2D-local single23333d = 31.2751.2740182.24@mathysrennelaGLM 5.3 Flash2026-08-31
★[[219,31,3]]local-2d-single2D-local single21931d = 31.2741.2740182.24@mathysrennelaGLM 5.3 Flash2026-08-31
★[[205,29,3]]local-2d-single2D-local single20529d = 31.2731.2740182@mathysrennelaGLM 5.3 Flash2026-08-31
★[[191,27,3]]local-2d-single2D-local single19127d = 31.2721.2740182.24@mathysrennelaGLM 5.3 Flash2026-08-31
★[[177,25,3]]local-2d-single2D-local single17725d = 31.2711.2740182.24@mathysrennelaGLM 5.3 Flash2026-08-31
★[[354,18,5]]local-2d-single2D-local single35418d = 51.2711.2740184.12@mathysrennelaGLM 5.3 Flash2026-08-31
★[[177,9,5]]other2D-local single1779d = 51.2711.2740185.66@Xo1otlClaudeClaude Opus 52026-08-20
★[[931,7,13]]topological2D-local single9317d ≤ 131.2711.27401813@mathysrennela2026-09-20
[[126,40,2]]generalized bicycle12640d = 21.27·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[163,23,3]]local-2d-single2D-local single16323d = 31.271.2740182.24@mathysrennelaGLM 5.3 Flash2026-08-31
★[[667,7,11]]other2D-local single6677d = 111.271.27401810.2@Xo1otlClaudeClaude Opus 52026-08-20
★[[149,21,3]]⚙3LER recordlocal-2d-single2D-local single14921d = 31.2681.2740182.24@mathysrennelaGLM 5.3 Flash2026-08-31
★[[447,7,9]]other2D-local single4477d = 91.2681.2740188.25@Xo1otlClaudeClaude Opus 52026-08-20
★[[135,19,3]]⚙3LER recordlocal-2d-single2D-local single13519d = 31.2671.2740182.83@mathysrennelaGLM 5.3 Flash2026-08-31
★[[271,7,7]]other2D-local single2717d = 71.2661.2740186.71@Xo1otlClaudeClaude Opus 52026-08-20
★[[121,17,3]]⚙3LER recordlocal-2d-single2D-local single12117d = 31.2641.2640182.83@mathysrennelaGLM 5.3 Flash2026-08-31
★[[107,15,3]]⚙3LER recordlocal-2d-single2D-local single10715d = 31.2621.2640182.83@mathysrennelaGLM 5.3 Flash2026-08-31
★[[278,14,5]]other2D-local single27814d = 51.2591.2640184.12@Xo1otlClaudeClaude Opus 52026-08-20
★[[139,7,5]]⚙5other2D-local single1397d = 51.2591.2640184.12@Xo1otlClaudeClaude Opus 52026-08-20
★[[93,13,3]]⚙3LER recordlocal-2d-single2D-local single9313d = 31.2581.2640182.83@mathysrennelaGLM 5.3 Flash2026-08-31
[[651,51,4]]other2D-local single65151d ≤ 41.2530.0619417163.16@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-16
★[[79,11,3]]⚙3LER recordlocal-2d-single2D-local single7911d = 31.2531.2540182.24@mathysrennelaGLM 5.3 Flash2026-08-31
[[192,60,2]]generalized bicycle19260d = 21.25·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[160,50,2]]generalized bicycle16050d = 21.25·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[128,40,2]]generalized bicycle12840d = 21.25·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[32,10,2]]generalized bicycle2D-local bilayer3210d = 21.250.0125627141@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[677,5,13]]topological2D-local single6775d = 131.2481.25401812.2@mathysrennela2026-08-13
★[[485,5,11]]topological2D-local single4855d = 111.2471.25401810.4@mathysrennela2026-08-13
★[[65,9,3]]⚙3local-2d-single2D-local single659d = 31.2461.2540182.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[325,5,9]]topological2D-local single3255d = 91.2461.2540188.06@mathysrennela2026-08-13
[[90,28,2]]generalized bicycle9028d = 21.244·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[197,5,7]]known paramstopological2D-local single1975d = 71.2441.2440186.71@mathysrennela2026-08-13
★[[202,10,5]]other2D-local single20210d = 51.2381.2440184.12@Xo1otlClaudeClaude Opus 52026-08-20
★[[101,5,5]]known params⚙5topological2D-local single1015d = 51.2381.2440184.12@mathysrennela2026-08-13
[[663,91,3]]other2D-local single66391d = 31.2351.24401122.24@mathysrennelaGLM 5.3 Flash2026-08-29
★[[51,7,3]]⚙3local-2d-single2D-local single517d = 31.2351.2440182.83@mathysrennelaGLM 5.3 Flash2026-09-01
★[[621,85,3]]local-2d-single2D-local single62185d = 31.2321.23401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[570,78,3]]other2D-local single57078d = 31.2321.23401122.24@Xo1otlClaudeClaude Opus 52026-08-20
★[[607,83,3]]local-2d-single2D-local single60783d = 31.2311.23401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[549,75,3]]local-2d-single2D-local single54975d = 31.231.23401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[244,12,5]]local-2d-single2D-local single24412d = 51.231.2340184.12@mathysrennelaGLM 5.3 Flash2026-08-31
★[[630,86,3]]local-2d-single2D-local single63086d = 31.2291.23401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[616,84,3]]local-2d-single2D-local single61684d = 31.2271.23401122@mathysrennelaGLM 5.3 Flash2026-08-31
★[[565,77,3]]local-2d-single2D-local single56577d = 31.2271.23401122@mathysrennelaGLM 5.3 Flash2026-09-01
★[[528,72,3]]local-2d-single2D-local single52872d = 31.2271.23401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[484,66,3]]local-2d-single2D-local single48466d = 31.2271.23401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
[[665,51,4]]other2D-local single66551d ≤ 41.2270.196411163.16@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-16
★[[44,6,3]]⚙3other2D-local single446d = 31.2270.19646162.83@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-15
★[[558,76,3]]local-2d-single2D-local single55876d = 31.2261.23401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[477,65,3]]local-2d-single2D-local single47765d = 31.2261.23401122@mathysrennelaGLM 5.3 Flash2026-09-01
★[[500,68,3]]local-2d-single2D-local single50068d = 31.2241.22401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[449,61,3]]local-2d-single2D-local single44961d = 31.2231.22401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[648,88,3]]local-2d-single2D-local single64888d = 31.2221.22401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[442,60,3]]local-2d-single2D-local single44260d = 31.2221.22401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[405,55,3]]local-2d-single2D-local single40555d = 31.2221.22401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[597,81,3]]local-2d-single2D-local single59781d = 31.2211.22401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[435,59,3]]local-2d-single2D-local single43559d = 31.2211.22401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[398,54,3]]other2D-local single39854d = 31.2211.22401122.24@Xo1otlClaudeClaude Opus 52026-08-20
★[[546,74,3]]local-2d-single2D-local single54674d = 31.221.22401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
[[669,51,4]]other2D-local single66951d ≤ 41.220.19547163@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-15
★[[384,52,3]]local-2d-single2D-local single38452d = 31.2191.22401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[643,87,3]]local-2d-single2D-local single64387d = 31.2181.22401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[495,67,3]]local-2d-single2D-local single49567d = 31.2181.22401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
[[555,75,3]]local-2d-single2D-local single55575d = 31.2161.22401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[370,50,3]]local-2d-single2D-local single37050d = 31.2161.22401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[666,10,9]]other2D-local single66610d = 91.2161.2240188.25@Xo1otlClaudeClaude Opus 52026-08-20
★[[37,5,3]]⚙3LER recordlocal-2d-single2D-local single375d = 31.2161.2240182.83@mathysrennelaGLM 5.3 Flash2026-09-01
★[[511,69,3]]local-2d-single2D-local single51169d = 31.2151.22401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
[[326,44,3]]local-2d-single2D-local single32644d = 31.2151.21401122@mathysrennelaGLM 5.3 Flash2026-09-01
★[[467,63,3]]local-2d-single2D-local single46763d = 31.2141.21401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[393,53,3]]local-2d-single2D-local single39353d = 31.2141.21401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
[[672,51,4]]other2D-local single67251d ≤ 41.2140.0645163@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-15
★[[423,57,3]]local-2d-single2D-local single42357d = 31.2131.21401122@mathysrennelaGLM 5.3 Flash2026-09-01
★[[379,51,3]]local-2d-single2D-local single37951d = 31.2111.21401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
[[342,46,3]]local-2d-single2D-local single34246d = 31.2111.21401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
[[335,45,3]]local-2d-single2D-local single33545d = 31.2091.21401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
[[676,51,4]]other2D-local single67651d = 41.2071.2140184.24@mathysrennelaGLM 5.3 Flash2026-08-29
★[[545,73,3]]local-2d-single2D-local single54573d = 31.2061.21401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[434,58,3]]local-2d-single2D-local single43458d = 31.2031.2401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
[[200,60,2]]generalized bicycle20060d = 21.2·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[180,54,2]]generalized bicycle18054d = 21.2·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[360,48,3]]local-2d-single2D-local single36048d = 31.21.2401122@mathysrennelaGLM 5.3 Flash2026-09-01
[[160,48,2]]generalized bicycle16048d = 21.2·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[140,42,2]]generalized bicycle14042d = 21.2·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[120,36,2]]generalized bicycle12036d = 21.2·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[80,24,2]]generalized bicycle8024d = 21.2·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
★[[30,4,3]]⚙3LER recordother2D-local single304d = 31.20.059344182.24@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-15
★[[423,3,13]]local-2d-single2D-local single4233d = 131.1991.2401812.2@mathysrennelaGLM 5.3 Flash2026-08-31
[[323,43,3]]local-2d-single2D-local single32343d = 31.1981.2401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[303,3,11]]local-2d-single2D-local single3033d = 111.1981.2401810.8@mathysrennelaGLM 5.3 Flash2026-08-31
★[[203,3,9]]local-2d-single2D-local single2033d = 91.1971.240188.25@mathysrennelaGLM 5.3 Flash2026-08-31
[[615,15,7]]other2D-local single61515d = 71.1951.240186.08@Xo1otlClaudeClaude Opus 52026-08-20
★[[123,3,7]]⚙7local-2d-single2D-local single1233d = 71.1951.240187.21@mathysrennelaGLM 5.3 Flash2026-09-01
[[528,70,3]]local-2d-single2D-local single52870d = 31.1931.19401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
[[378,50,3]]local-2d-single2D-local single37850d = 31.191.19401122@mathysrennelaGLM 5.3 Flash2026-09-01
★[[168,8,5]]other2D-local single1688d = 51.191.1940184.47@Xo1otlClaudeClaude Opus 52026-08-20
★[[126,6,5]]⚙5other2D-local single1266d = 51.191.1940184.12@Xo1otlClaudeClaude Opus 52026-08-20
★[[63,3,5]]⚙5local-2d-single2D-local single633d = 51.191.1940184.47@mathysrennelaGLM 5.3 Flash2026-09-01
[[318,42,3]]local-2d-single2D-local single31842d = 31.1891.19401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
[[578,14,7]]other2D-local single57814d = 71.1871.1940186.08@mathysrennelaGLM 5.3 Flash2026-08-29
★[[552,8,9]]local-2d-single2D-local single5528d = 91.1741.1740188.54@mathysrennelaGLM 5.3 Flash2026-09-01
★[[414,6,9]]local-2d-single2D-local single4146d = 91.1741.1740188.25@mathysrennelaGLM 5.3 Flash2026-09-01
★[[23,3,3]]⚙3LER recordlocal-2d-single2D-local single233d = 31.1741.1740182.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[418,10,7]]other2D-local single41810d = 71.1721.1740186.08@Xo1otlClaudeClaude Opus 52026-08-20
[[144,42,2]]generalized bicycle14442d = 21.167·6·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[192,14,4]]generalized bicycle19214d = 41.167·5·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[317,41,3]]local-2d-single2D-local single31741d = 31.1641.16401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[78,10,3]]⚙3local-2d-single2D-local single7810d = 31.1541.15401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
★[[632,6,11]]local-2d-single2D-local single6326d ≤ 111.1490.0567461611.2@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-16
[[633,6,11]]local-2d-single2D-local single6336d = 111.1470.0566441610.4@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-16
[[634,6,11]]local-2d-single2D-local single6346d = 111.1450.183421611.7@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-15
[[126,36,2]]generalized bicycle12636d = 21.143·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[84,24,2]]generalized bicycle8424d = 21.143·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[168,12,4]]generalized bicycle16812d = 41.143·5·16·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[636,6,11]]local-2d-single2D-local single6366d = 111.1421.14401811.2@mathysrennelaGLM 5.3 Flash2026-09-01
★[[344,8,7]]local-2d-single2D-local single3448d = 71.141.1440186@mathysrennelaGLM 5.3 Flash2026-09-01
★[[258,6,7]]local-2d-single2D-local single2586d = 71.141.1440186.32@mathysrennelaGLM 5.3 Flash2026-09-01
[[672,85,3]]topological2D-local single67285d = 31.1381.1440182@mathysrennelaDeepSeek V4 Flash 07312026-08-13
★[[288,9,6]]other2D-local single2889d ≤ 61.1250.026682841.33414.9@MathysRennelaDeepSeek V4.1 Flash2026-09-29
★[[64,8,3]]⚙3local-2d-single2D-local single648d = 31.1251.12401122.24@mathysrennelaGLM 5.3 Flash2026-09-01
[[48,6,3]]other2D-local single486d = 31.1251.1240182.24@mathysrennelaOmen Alpha 1.02026-09-09
[[700,85,3]]topological2D-local single70085d = 31.0931.0940182.24@mathysrennelaDeepSeek V4 Flash 07312026-08-12
[[162,44,2]]generalized bicycle16244d = 21.086·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[50,6,3]]other2D-local single506d = 31.081.0840182.83@mathysrennelaox-alpha 1.02026-08-26
[[90,24,2]]generalized bicycle9024d = 21.067·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[34,4,3]]other2D-local single344d = 31.0591.0640182.24@mathysrennelaOmen Alpha 1.02026-09-09
★[[205,6,6]]other2D-local single2056d ≤ 61.0540.0421425165.83@dorakingxClaudeClaude Opus 5 (Claude Code)2026-09-20
[[168,44,2]]generalized bicycle16844d = 21.048·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[84,22,2]]generalized bicycle8422d = 21.048·7·14·@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[208,52,2]]bivariate bicycle20852d = 21.0·6·14·@cbjuan2026-09-16
[[36,4,3]]other2D-local single364d = 31.0140182.83@mathysrennelaGLM 5.3 Flash2026-08-31
★[[961,1,31]]topological2D-local single9611d ≤ 311.01401831@mathysrennela2026-09-20
★[[841,1,29]]topological2D-local single8411d ≤ 291.01401828.3@mathysrennela2026-09-20
★[[729,1,27]]topological2D-local single7291d ≤ 271.01401826.5@mathysrennela2026-09-20
★[[625,1,25]]topological2D-local single6251d ≤ 251.01401824.2@mathysrennela2026-09-20
★[[529,1,23]]topological2D-local single5291d ≤ 231.01401823.1@mathysrennela2026-09-20
★[[441,1,21]]topological2D-local single4411d ≤ 211.01401820.1@mathysrennela2026-09-20
★[[361,1,19]]topological2D-local single3611d ≤ 191.01401818.2@mathysrennela2026-09-20
★[[289,1,17]]topological2D-local single2891d ≤ 171.01401816.3@mathysrennela2026-09-20
★[[225,1,15]]topological2D-local single2251d ≤ 151.01401814.6@mathysrennela2026-09-20
★[[169,1,13]]topological2D-local single1691d ≤ 131.01401812@mathysrennela2026-09-20
★[[121,1,11]]local-2d-single2D-local single1211d = 111.01401811.2@mathysrennelaGLM 5.3 Flash2026-09-01
★[[81,1,9]]⚙9topological2D-local single811d = 91.0140188.94Kitaev, A. Yu.1997-07-09
★[[49,1,7]]⚙7topological2D-local single491d = 71.0140186.08Kitaev, A. Yu.1997-07-09
★[[25,1,5]]⚙5LER recordtopological2D-local single251d = 51.0140184.12Kitaev, A. Yu.1997-07-09
[[696,76,3]]topological2D-local single69676d = 30.9830.98340182.24@vprussoClaudeClaude Opus 52026-08-11
[[700,75,3]]topological2D-local single70075d = 30.9640.96440182.24@aarontrowbridgeMuse Spark 1.22026-08-10
★[[450,12,6]]other2D-local single45012d ≤ 60.960.022784461.67419.1@MathysRennelaDeepSeek V4.1 Flash2026-09-29
★[[28,6,2]]generalized bicycle2D-local bilayer286d = 20.8570.0014562142.24@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[256,6,6]]other2D-local single2566d ≤ 60.8440.84440185.39@MathysRennelaDeepSeek V4 Flash 07312026-09-17
[[700,57,3]]topological2D-local single70057d = 30.7330.73340182.83@aarontrowbridgeMuse Spark 1.22026-08-09
[[625,50,3]]topological2D-local single62550d = 30.720.7240182.83@aarontrowbridgeKimi K3 (Amicode)2026-08-07
[[598,25,4]]topological2D-local single59825d = 40.6690.66940183@mathysrennelaDeepSeek V4 Flash 07312026-08-12
[[361,26,3]]topological2D-local single36126d = 30.6480.64840182.83@mathysrennelaDeepSeek V4 Flash 07312026-08-09
★[[108,16,2]]generalized bicycle2D-local bilayer10816d = 20.5930.00095349142@MathysRennelaDeepSeek V4 Flash 07312026-09-19
[[169,10,3]]topological2D-local single16910d = 30.5330.53240182.83@mathysrennelaDeepSeek V4 Flash 07312026-08-09
1

Build a code

A CSS qLDPC code, written as one JSON file with its parity checks and a distance witness; a general stabilizer code brings its symplectic matrix instead. →

2

Open a PR

Add it under codes/. CI runs the verifier on every submission automatically. →

3

Climb the board

If it advances a track’s frontier it is highlighted. Click any row for the witness, certificate, and checks. →

Recently added · last 10 by submission date

  1. [[35,17,3]]★check-deletion@dorakingxsubmission2026-10-02
  2. [[268,8,12]]★bivariate bicycle@dorakingxsubmission2026-10-02
  3. [[240,8,11]]★bivariate bicycle@dorakingxsubmission2026-10-02
  4. [[205,8,10]]★bivariate bicycle@dorakingxsubmission2026-10-02
  5. [[176,8,9]]★bivariate bicycle@dorakingxsubmission2026-10-02
  6. [[154,8,8]]★bivariate bicycle@dorakingxsubmission2026-10-02
  7. [[123,8,7]]★bivariate bicycle@dorakingxsubmission2026-10-02
  8. [[119,37,4]]★check-deletion@dorakingxsubmission2026-10-02
  9. [[119,35,4]]check-deletion@dorakingxsubmission2026-10-02
  10. [[117,38,3]]★check-deletion@dorakingxsubmission2026-10-02