All pull requests

Pull requests

• 1c: improved lower bound C_1c >= 0.4103735

  #366·intervalplace opened Nov 13, 2026·

  ·

• check_pages.py: flag control characters inside a line, duplicated references, rows and bullets (E5-E7, W4)

  #365·maximusrufus opened Nov 11, 2026Contributor·

  ·

• README: round two upper-bound cells up (3a, 36a)

  #364·maximusrufus opened Nov 11, 2026Contributor·

  ·
  1

• 47a: restore two \approx that had become control characters

  #363·maximusrufus opened Nov 11, 2026Contributor·

  ·

• 1d: remove a duplicated CERT2026 row, reference and bullets; restore one \rvert escape

  #362·maximusrufus opened Nov 11, 2026Contributor·

  ·

• 88a: an outside re-run of the Lean build and of the numerical certificate for the 186 bound

  #360·carlostoledo1891 opened Nov 11, 2026Contributor·

  ·

• 1b: improved upper bound 0.3808585498* (114688-step function)

  #359·arhancanli opened Nov 10, 2026·

  ·
  1

• 41b: ambidextrous moving sofa C41b <= 2*sqrt(2)-1 (previously 2.2195)

  #358·vidigoat opened Nov 10, 2026Contributor·

  ·
  1

• 1d, 49a: remove four asterisks confirmed by a second party in #326 (stacked on #326)

  #357·arhancanli opened Nov 10, 2026·

  ·

• 22a: lower bound 2.124 (previously 1.647 for knots)

  #356·ArseniyVarlamov opened Nov 9, 2026·

  ·
  2

• 8a: upper bound 4.81406 (computer-assisted, also formalized in Lean)

  #355·ArseniyVarlamov opened Nov 9, 2026·

  ·

• 1c: improved lower bound C_1c >= 0.410378195

  #354·SeanSagait opened Nov 9, 2026·

  ·
  4

• 83a: fix the abbreviated centre of the GKW2026 bounds (...4764297)

  #351·SapereAudeAI opened Nov 9, 2026·

  ·
  1

• C47: candidate lower bound 1.7055022252* (stacked on #341)

  #350·rpinho opened Nov 8, 2026Contributor·

  ·
  4

• C22b: candidate limiting bound 7.087559024* (stacked on #342)

  #347·rpinho opened Nov 8, 2026Contributor·

  ·

• 1a: improved upper bound 1.5027427280* (262144-cell step function)

  #346·arhancanli opened Nov 8, 2026·

  ·

• 1d: improved upper bound 1.4546733414* (163840-cell step function)

  #345·arhancanli opened Nov 8, 2026·

  ·

• 1c: improved lower bound 0.4103780000* (1048576-cell step function)

  #344·arhancanli opened Nov 8, 2026·

  ·
  2

• Compare README bounds with their signs

  #343·chessing234 opened Nov 8, 2026Contributor·

  ·

• 22b: improved upper bound 7.087662112 (even modulated superhelices)

  #342·Doldrums opened Nov 7, 2026Contributor·

  ·

• 47: improved lower bound 1.7032090736 (63-atom periodic measure)

  #341·Doldrums opened Nov 6, 2026Contributor·

  ·
  1

• 3a: remove asterisk on [M2026] 1.19230254 after independent replays by A. Canli and R. Pinho

  #340·mizopl opened Nov 6, 2026·

  ·
  4

• 3e: record finite carry-free lower bound C_3e > 1.27255802 via <4,5> simplex (independently replayed)

  #339·mizopl opened Nov 6, 2026·

  ·
  2

• 11a: add Tomar's claimed C_11a = √(π/2)

  #338·ArseniyVarlamov opened Nov 5, 2026·

  ·

• 15b: add OpenAI's α > 0.465 and a longer script giving α > 0.46652506

  #337·ArseniyVarlamov opened Nov 5, 2026·

  ·
  2