Guzhou0806

Years active
2026

Resources

Repositoryn17-square-packing

By Guzhou0806

github.com/Guzhou0806/n17-square-packingStrict lower bounds for seventeen squares.

5 results (3 at S3, 2 at S2) · 1 record (at S2)

Repositoryn40-square-packing

By Guzhou0806

github.com/Guzhou0806/n40-square-packingStrict lower bounds for forty squares, on densities grown from Hosono's.

3 results (at S3) · 1 record (at S3)

Repository11SquaresFormalized

Contributors: ctjlewis, Hosono, Gurevitch, Julian-JJ, Guzhou0806, Ahmed

github.com/Queuingtheorydotcom/11SquaresFormalizedA Lean 4 formalization of that proof, trusting Lean's compiler for its certificates.

0 results

8 results (6 at S3, 2 at S2) · 2 records (1 at S3, 1 at S2) · 7 credits (2 at S5, 4 at S3, 1 at S2)

Results

  • T-032 (lower bound, n = 17): source author, credited contributor — Guzhou0806, in [n17 weighted certificates 2026-09-20]
  • T-039 (lower bound, n = 17): source author, credited contributor — Guzhou0806, in [Guzhou0806 n17 R052]
  • T-042 (lower bound, n = 17): source author, credited contributor — Guzhou0806, in [Guzhou0806 n17 R067]
  • T-043 (lower bound, n = 17): source author, credited contributor — Guzhou0806, in [Guzhou0806 n17 R068]
  • T-093 (lower bound, n = 17): source author, credited contributor — Guzhou0806, in [Guzhou0806 n17 R071]
  • T-133 (lower bound, n = 40): source author, credited contributor — Guzhou0806, in [Guzhou0806 n40 clipped corner 2026-10-10] (Registered in: #487)
  • T-145 (lower bound, n = 40): source author, credited contributor — Guzhou0806, in [Guzhou0806 n40 continuous pose 2026-10-10] (Registered in: #487)
  • T-157 (lower bound, n = 40): source author, credited contributor — Guzhou0806, in [Guzhou0806 n40 new supports 2026-10-11] (Registered in: #598)

Records

Current registered contributions in their recorded family and scope. A result counts once when any of its facets remains current.

  • T-093 (lower bound, n = 17): source author, credited contributor — Guzhou0806, in [Guzhou0806 n17 R071]
  • T-157 (lower bound, n = 40): source author, credited contributor — Guzhou0806, in [Guzhou0806 n40 new supports 2026-10-11] (Registered in: #598)

Credited work

  • T-037 (lower bound, n = 11): prerequisite — Guzhou0806, in [Kleddamag n11 2026]
  • T-038 (lower bound, n = 17): prerequisite — Guzhou0806, in [Kleddamag n17 certified bound]
  • T-040 (lower bound, n = 17): prerequisite — Guzhou0806, in [Kleddamag n17 4.640020]
  • T-041 (lower bound, n = 17): prerequisite — Guzhou0806, in [Kleddamag n17 4.66001]
  • T-065 (upper bound, n = 17): prerequisite — Guzhou0806, in [Kleddamag n17 certified bound] (Registered in: #563)
  • T-153 (optimality, n = 17): prerequisite — Guzhou0806, in [Overbeck n17 candidate 2026] (Registered in: #592 · #595 · #560 · #577)
  • T-192 (lower bound, n = 28): prerequisite — Guzhou0806, in [wand125 continuous n28 2026-10-15] (Registered in: #627)

Other reviewed records

Related News

Sources
  1. primary-byline: authors.name is Guzhou0806; repository-code names the public repository.
  2. bibliography: Source author, credit and credited_names fields retain the printed attribution labels.

Identity evidence