Repository navigation

All pull requests

Add C_1d: signed third autocorrelation constant (upper bound 1.463071582607559*)
#224maximusrufus opened Oct 12, 2026
Record superseding bounds for 17 constants (1a, 7a, 10b, 13a, 13b, 17, 30, 35, 38, 57a, 57b, 62b, 63, 64, 68, 84a, 86)
#223maximusrufus opened Oct 12, 2026
C_12: two 2026 upper bounds (Dong–Cao 0.8810; O'Keefe 0.8618*)
#222devinokeefe opened Oct 11, 2026
C_3c: improved lower bound 1.674894211307116 from two independent digit laws
#221manvirjaswal opened Oct 10, 2026
49a: improved lower bound for the 3-sunflower-free capacity (≥ 1.5666969*), stacked on #200
#220joshua17-create opened Oct 10, 2026
Update C_4b bounds: lower bound 0.7580758 and the first power-saving upper bound
#219enaslund opened Oct 9, 2026
Improve C_28a (Borsuk) upper bound to 9 due to OpenAI
#217kleinwaks opened Oct 6, 2026Contributor
Remove the asterisk from C3b, C3c and C71: certificates independently replayed
#216carlostoledo1891 opened Oct 6, 2026
Record the certificate-based lower bound for convex worm covers
#215Chessing234 opened Oct 5, 2026Contributor
Record the fixed-parameter irrationality measure bound for pi
#214Chessing234 opened Oct 5, 2026Contributor
1
Record the new computer-assisted real Grothendieck upper bound
#213Chessing234 opened Oct 5, 2026Contributor
Restore the References heading on 56a
#212NotAFlightRisk opened Oct 4, 2026
Improve upper bound for the de Bruijn–Newman constant to 0.1595 (certified record package)
#210463464q435q43 opened Oct 3, 2026Contributor
36a: upper bound 0.636108 from three-point bounds (Cohn-de Laat-Salmon 2022)
#209Aspect5 opened Oct 2, 2026
Improve upper bound for the de Bruijn–Newman constant to 0.16 (certified record package)
#208463464q435q43 opened Oct 2, 2026Contributor
Add C_1c: Barnard–Steinerberger autocorrelation constant (new lower bound 0.4103287*)
#207rozetyp opened Oct 2, 2026
Update Linnik's constant upper bound to 2.4
#205enaslund opened Oct 2, 2026
Update Erdős unit distance bounds: lower bound 1.04317, upper bound 4/3 − ε
#204enaslund opened Oct 2, 2026
C_19: record Rodziewicz's 0.45 bound (verification dated 6 Aug 2026)
#203rodziewiczk opened Oct 1, 2026
Add C_18 >= 1.46601 due to Green, Tao
#202kleinwaks opened Sep 30, 2026Contributor
Add c64 >= 1/2 due to Hardy
#201kleinwaks opened Sep 30, 2026Contributor
49a: improved lower bound for the 3-sunflower-free capacity (≥ 1.5621220)
#200Aspect5 opened Sep 30, 2026
C10c: drop withdrawn PV2022 v1 bound from active table
#199Chessing234 opened Sep 30, 2026Contributor1 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
#198kleinwaks opened Sep 28, 2026Contributor
1
optimizationproblems 10b updated, Complex Grothendieck constant
#196sheilman77 opened Sep 26, 2026Contributor

Pull requests