All pull requests

Pull requests

• 42a: explicit value 1/2 + 2^-4096* for Biró's strict lower bound (unrefereed)

  #310·rpinho opened Nov 2, 2026Contributor·

  ·

• 89c: lower bound 0.000033123924116* by exact flag-algebra certificates (unrefereed)

  #308·rpinho opened Nov 1, 2026Contributor·

  ·

• 89b: upper bound 0.001653032* by a four-layer step graphon (unrefereed)

  #307·rpinho opened Nov 1, 2026Contributor·

  ·

• 91a: lower bound 0.263561* by canonical alignments and band competitors (unrefereed)

  #306·rpinho opened Nov 1, 2026Contributor·

  ·

• 42a: upper bound 0.6863607950* on Bakeas's Theorem A (unrefereed)

  #305·rpinho opened Oct 31, 2026Contributor·

  ·

• Update with resolution of KLS conjecture and tight bounds for thin-shell

  #303·gdahia opened Oct 31, 2026Contributor·

  ·

• 42a: improve the upper bound for Turán's pure power-sum constant to 0.68637* (phase-varying first block, τ = 0)

  #302·Bakeas opened Oct 31, 2026·

  ·
  1

• C82: upper bound 0.253091834* with new degree-44 denominators (unrefereed)

  #301·rpinho opened Oct 31, 2026Contributor·

  ·

• C10a: record Heilman-Jones-Malavolta 1.773 and Peng 1.77987164 (not my bounds)

  #300·rpinho opened Oct 30, 2026Contributor·

  ·

• C68: lower bound 0.44685* by a signed contact-harmonic lemma (unrefereed)

  #299·rpinho opened Oct 30, 2026Contributor·

  ·

• C86: upper bound 1.80560940* with classical auxiliaries on an adaptive density (unrefereed)

  #298·rpinho opened Oct 30, 2026Contributor·

  ·

• C59: improved upper bound K_2 < 0.302825279490988* (Bohr radius of the bidisc)

  #297·gomyway opened Oct 30, 2026·

  ·

• C9: improved lower bound Theta(C_7) >= 3.258838705444608* (Shannon capacity of the 7-cycle)

  #296·gomyway opened Oct 30, 2026·

  ·

• C44: upper bound 2.0417086280* with R4 = 22 and classification at small degree (unrefereed)

  #294·rpinho opened Oct 30, 2026Contributor·

  ·

• 1c, 86a: independent replays of the Koshta certificates (asterisks kept pending a second party)

  #292·rozetyp opened Oct 30, 2026Contributor·

  ·

• C_21: record six 2026 upper-bound claims (Raymond, Hakimoglu-Brown, Planat); three use OpenAI's 7/8 theorem as on page 65a

  #291·Dale-Dug opened Oct 30, 2026·

  ·

• C45: improved upper bound 0.489481743486002 (29-prime base, 54 primes)

  #290·fortunto2 opened Oct 29, 2026·

  ·

• C1c: exact extremal constant D0 = 1/(2(1+theta0)) via the ±π phase lock and the intrinsic-fracture factor

  #288·sagaistrue opened Oct 28, 2026Contributor·

  ·

• C_19: record sharp upper bound (3+sqrt(10))/(6*sqrt(2*pi)) ≈ 0.4097321837*

  #287·rodziewiczk opened Oct 27, 2026·

  ·

• C_1d: 400-cell upper bound 1.4591562211596491

  #286·huiihao opened Oct 27, 2026·

  ·

• 44a: Wellens is Discrete Analysis 2022:20

  #285·DennisKoshta opened Oct 27, 2026Contributor·

  ·

• 26a: explicit family beating the address function at every fixed degree (comment only, no bound change)

  #284·DennisKoshta opened Oct 27, 2026Contributor·

  ·

• 37a: no Boolean function of degree 4 has sensitivity 10 (comment only, no bound change)

  #283·DennisKoshta opened Oct 27, 2026Contributor·

  ·

• C_3b: restricted sumset is over (a,b) in G

  #282·DennisKoshta opened Oct 27, 2026Contributor·

  ·

• C45: improved upper bound 0.489596115074071 (21-prime base)

  #281·vidigoat opened Oct 27, 2026Contributor·

  ·