All pull requests

Pull requests

• 1d: improved upper bound 1.455682936505816* (10240-cell step function)

  #269·echul-seal opened Oct 26, 2026·

  ·

• C31: the h = 9 and h = 10 Lueker bounds of #231 independently replayed; asterisks removed

  #249·carlostoledo1891 opened Oct 22, 2026Contributor·

  ·
  3

• C82, C86: R. Pinho's certificates and the Épi construction independently replayed; asterisks removed

  #242·carlostoledo1891 opened Oct 20, 2026Contributor·

  ·
  1

• Remove the asterisks from C49: the five lower bounds independently replayed

  #235·clavis-systems opened Oct 18, 2026·

  ·
  1

• Record superseding bounds for 17 constants (1a, 7a, 10b, 13a, 13b, 17, 30, 35, 38, 57a, 57b, 62b, 63, 64, 68, 84a, 86)

  #223·maximusrufus opened Oct 12, 2026Contributor·

  ·
  1

• 36a: upper bound 0.636108 from three-point bounds (Cohn-de Laat-Salmon 2022)

  #209·Aspect5 opened Oct 2, 2026Contributor·

  ·

• C_19: record Rodziewicz's 0.45 bound (verification dated 6 Aug 2026)

  #203·rodziewiczk opened Oct 1, 2026·

  ·

• optimizationproblems 10b updated, Complex Grothendieck constant

  #196·sheilman77 opened Sep 26, 2026Contributor·

  ·

• C_60: record the lower bounds 1/5 (Marshall) and 1/4 (Lean-formalized)

  #195·CoolRmal opened Sep 23, 2026Contributor·

  ·

• Improve C42 and C51 bounds with verification certificates

  #184·AndreRoehrig opened Sep 9, 2026·

  ·
  1

• Improve C_3a lower bound to 1.21418 via two-temperature cyclic compression

  #148·carson-olaf opened Aug 19, 2026·

  ·
  2