Repository navigation

All pull requests

C_16: certified upper bound 2.1562256466 (enclosure with the #226 lower bound)
#246maximusrufus opened Oct 20, 2026Contributor
57c (univalent Bloch constant): history of upper bounds and a new computer-assisted bound 0.65628589
#245WynandVStaden opened Oct 20, 2026
13a: fix the title and DOI of the [GP1974] reference
#244u00dxk2 opened Oct 20, 2026Contributor
C1c, C1d: the two step functions independently replayed; asterisks removed, and the C1d bound printed rounded up
#243carlostoledo1891 opened Oct 20, 2026Contributor
C82, C86: R. Pinho's certificates and the Épi construction independently replayed; asterisks removed
#242carlostoledo1891 opened Oct 20, 2026Contributor
Add unverified dual-extremum structural bounds for C_1a
#241sagaistrue opened Oct 20, 20263 of 4 tasks
1
Add unverified dual-extremum structural bounds for C_1b
#240sagaistrue opened Oct 19, 2026
1
C68: lower bound 0.432* for Korenblum’s constant (unrefereed)
#239rpinho opened Oct 19, 2026Contributor
3a: finite k=3 controlled-carry instance, C_{3a} > 1.19359680
#238xSyllaa opened Oct 19, 2026
49a: improve the sunflower-free capacity lower bound to 1.5678015 (augmented glued base family; README updated)
#237xSyllaa opened Oct 19, 2026
3a: improve finite-depth lower bound to 1.19230254 via odd-base (q=27995) residue-bijective pruning
#236mizopl opened Oct 19, 2026
Remove the asterisks from C49: the five lower bounds independently replayed
#235clavis-systems opened Oct 18, 2026
1d: archive pointer for the C_1d certificate
#234maximusrufus opened Oct 18, 2026Contributor
Remove the asterisks from C1a and C1b: the four step functions independently replayed
#232carlostoledo1891 opened Oct 18, 2026Contributor
9a: record Lean-certified lower bounds for Θ(C13), Θ(C15), Θ(C19) (AI-assisted)
#228griffinwork40 opened Oct 15, 2026
Improved bounds: 16a ≥ 2.156224, 70a ≥ 1.201927, 20a ≥ 8, 20c ≥ √3 (lower) and 23b ≤ 1/2 (upper)
#226vidigoat opened Oct 15, 2026
3
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, 2026Contributor
Improve C_28a (Borsuk) upper bound to 9 due to OpenAI
#217kleinwaks opened Oct 6, 2026Contributor
36a: upper bound 0.636108 from three-point bounds (Cohn-de Laat-Salmon 2022)
#209Aspect5 opened Oct 2, 2026Contributor
Update Linnik's constant upper bound to 2.4
#205enaslund opened Oct 2, 2026Contributor
C_19: record Rodziewicz's 0.45 bound (verification dated 6 Aug 2026)
#203rodziewiczk opened Oct 1, 2026
optimizationproblems 10b updated, Complex Grothendieck constant
#196sheilman77 opened Sep 26, 2026Contributor
C_60: record the lower bounds 1/5 (Marshall) and 1/4 (Lean-formalized)
#195CoolRmal opened Sep 23, 2026Contributor
Improve C42 and C51 bounds with verification certificates
#184AndreRoehrig opened Sep 9, 2026
1
Improve C_3a lower bound to 1.21418 via two-temperature cyclic compression
#148carson-olaf opened Aug 19, 2026
2

Pull requests