All pull requests

Pull requests

• 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

  #340·mizopl opened Nov 6, 2026·

  ·
  2

• 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·

  ·
  1

• C_84: record the registered prediction C_84 = 5/4, with its open-side window

  #336·sagaistrue opened Nov 5, 2026Contributor·

  ·

• 5a: independent certificate for the 0.9428095 bound

  #335·ArseniyVarlamov opened Nov 5, 2026·

  ·
  1

• 69: Sendov's conjecture is proved, so C_69 = 1

  #334·ArseniyVarlamov opened Nov 5, 2026·

  ·

• Correct the source of Bourgains 58/15 restriction bound

  #333·chessing234 opened Nov 5, 2026Contributor·

  ·
  1

• Correct the truncated Martinet 1978 upper bound

  #332·chessing234 opened Nov 5, 2026Contributor·

  ·
  1

• 89c: improved upper bound 0.7422042116·2^-14 (weight-class step graphon on Z_2^10)

  #331·Doldrums opened Nov 5, 2026Contributor·

  ·
  2

• C82: candidate upper bound 0.2519923410* from a joint degree-104 certificate built on #280 v3 and v4 (unrefereed)

  #330·rpinho opened Nov 5, 2026Contributor·

  ·
  5

• 3b: improve the Kakeya sums-differences upper bound to 1.82634837* (exact entropy-inequality certificate)

  #329·AWF-Z opened Nov 5, 2026·

  ·
  1

• C38: add candidate unrefereed 2.6275696* lower bound from span-18 bridges

  #328·rpinho opened Nov 4, 2026Contributor·

  ·

• 42a: upper bound 0.686360751* on Bakeas's Theorem A (33-piece phase profile, unrefereed)

  #327·NikosVat opened Nov 4, 2026·

  ·
  1

• Record independent replays of six asterisked rows on 1d, 16a, 49a and 70a (asterisks kept)

  #326·presence1 opened Nov 4, 2026·

  ·
  1

• C22b: candidate unrefereed upper bound 7.090412* via unequal superhelices

  #324·rpinho opened Nov 4, 2026Contributor·

  ·

• 49a: state the per-pendant count in the [Kos2026] row

  #322·maximusrufus opened Nov 4, 2026Contributor·

  ·

• C47: record Tomar's bounds and a candidate unrefereed 1.70311* lower bound

  #321·rpinho opened Nov 4, 2026Contributor·

  ·
  1

• 78: record two October 2026 upper bounds (1.385, 4/3)

  #320·maximusrufus opened Nov 3, 2026Contributor·

  ·

• 16a: improved lower bound 2.156225528* (untruncated conditional extremal)

  #319·Julsgaard opened Nov 3, 2026·

  ·
  1

• 1c: improved lower bound 0.4103538918* (98304-cell step function)

  #318·Julsgaard opened Nov 3, 2026·

  ·
  1

• C30: add candidate 10.42* lower bound conditional on Norton v3 (stacked on #313)

  #317·rpinho opened Nov 3, 2026Contributor·

  ·

• C_35: add an upper-bound row, and a question on anytime vs fixed horizon

  #316·maximusrufus opened Nov 3, 2026Contributor·

  ·