All pull requests

Pull requests

• Improve C_28a (Borsuk) upper bound to 9 due to OpenAI

  #217·kleinwaks opened Oct 6, 2026Contributor·

  ·

• Remove the asterisk from C3b, C3c and C71: certificates independently replayed

  #216·carlostoledo1891 opened Oct 6, 2026·

  ·

• Record the certificate-based lower bound for convex worm covers

  #215·Chessing234 opened Oct 5, 2026Contributor·

  ·

• Record the fixed-parameter irrationality measure bound for pi

  #214·Chessing234 opened Oct 5, 2026Contributor·

  ·
  1

• Record the new computer-assisted real Grothendieck upper bound

  #213·Chessing234 opened Oct 5, 2026Contributor·

  ·

• Restore the References heading on 56a

  #212·NotAFlightRisk opened Oct 4, 2026·

  ·

• Improve upper bound for the de Bruijn–Newman constant to 0.1595 (certified record package)

  #210·463464q435q43 opened Oct 3, 2026Contributor·

  ·

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

  #209·Aspect5 opened Oct 2, 2026·

  ·

• Improve upper bound for the de Bruijn–Newman constant to 0.16 (certified record package)

  #208·463464q435q43 opened Oct 2, 2026Contributor·

  ·

• Add C_1c: Barnard–Steinerberger autocorrelation constant (new lower bound 0.4103287*)

  #207·rozetyp opened Oct 2, 2026·

  ·

• Update Linnik's constant upper bound to 2.4

  #205·enaslund opened Oct 2, 2026·

  ·

• Update Erdős unit distance lower bound to 1.0427

  #204·enaslund opened Oct 2, 2026·

  ·

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

  #203·rodziewiczk opened Oct 1, 2026·

  ·

• Add C_18 >= 1.46601 due to Green, Tao

  #202·kleinwaks opened Sep 30, 2026Contributor·

  ·

• Add c64 >= 1/2 due to Hardy

  #201·kleinwaks opened Sep 30, 2026Contributor·

  ·

• 49a: improved lower bound for the 3-sunflower-free capacity (≥ 1.5621220)

  #200·Aspect5 opened Sep 30, 2026·

  ·

• C10c: drop withdrawn PV2022 v1 bound from active table

  #199·Chessing234 opened Sep 30, 2026Contributor·1 task done·

  ·

• First recorded improvement to C_3a upper bound, 4/3 -> 1.3123733... via (formalized) improved two-set sum-difference exponent and multiscale transfer

  #198·kleinwaks opened Sep 28, 2026Contributor·

  ·
  1

• 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

• Update C21 upper bound to 0.172422

  #180·Dank1995 opened Sep 7, 2026·

  ·
  1

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

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

  ·
  2