Marc Leonard Overbeck

Years active
2026

Resources

Repositorythe-seventeenth-square-candidate

By Overbeck

github.com/Kleddamag/the-seventeenth-square-candidateA candidate proof that Bidwell's packing of seventeen squares is optimal.

1 result (at S5) · 1 record (at S5)

Repository11-squares-certified-bound

By Overbeck

github.com/Kleddamag/11-squares-certified-boundA certified lower bound for eleven squares.

1 result (at S5)

Repository17-squares-certified-bound

By Overbeck

github.com/Kleddamag/17-squares-certified-boundCertified lower bounds for seventeen squares.

4 results (3 at S3, 1 at S2) · 1 record (at S2)

6 results (2 at S5, 3 at S3, 1 at S2) · 2 records (1 at S5, 1 at S2) · 6 credits (1 at S5, 2 at S3, 3 at S2)

Results

  • T-037 (lower bound, n = 11): source author, credited contributor — Overbeck, in [Kleddamag n11 2026]
  • T-038 (lower bound, n = 17): source author, credited contributor — Overbeck, in [Kleddamag n17 certified bound]
  • T-040 (lower bound, n = 17): source author, credited contributor — Overbeck, in [Kleddamag n17 4.640020]
  • T-041 (lower bound, n = 17): source author, credited contributor — Overbeck, in [Kleddamag n17 4.66001]
  • T-065 (upper bound, n = 17): source author, credited contributor — Overbeck, in [Kleddamag n17 certified bound] (Registered in: #563)
  • T-153 (optimality, n = 17): source author, credited contributor — Overbeck, in [Overbeck n17 candidate 2026] (Registered in: #592 · #595 · #560 · #577)

Records

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

  • T-065 (upper bound, n = 17): source author, credited contributor — Overbeck, in [Kleddamag n17 certified bound] (Registered in: #563)
  • T-153 (optimality, n = 17): source author, credited contributor — Overbeck, in [Overbeck n17 candidate 2026] (Registered in: #592 · #595 · #560 · #577)

Credited work

  • T-039 (lower bound, n = 17): prerequisite — Overbeck, in [Guzhou0806 n17 R052]
  • T-042 (lower bound, n = 17): prerequisite — Overbeck, in [Guzhou0806 n17 R067]
  • T-043 (lower bound, n = 17): prerequisite — Overbeck, in [Guzhou0806 n17 R068]
  • T-060 (optimality, n = 11): prerequisite — Overbeck, in [Ahmed n11 optimality 2026] (Registered in: #246; Supporting: #262)
  • T-061 (lower bound, n = 11): prerequisite — Overbeck, in [Wang Li n11 2026]
  • T-093 (lower bound, n = 17): prerequisite — Overbeck, in [Guzhou0806 n17 R071]

Other reviewed records

Related News

Sources
  1. citation-cff: CITATION.cff at 653b958: authors gives given-names Marc Leonard, family-names Overbeck and ORCID 0009-0008-8607-8197; repository-code is github.com/Kleddamag/the-seventeenth-square-candidate. The packet keeps no upstream bytes; its Source and Credit table, Author row, records “Marc Leonard Overbeck (GitHub Kleddamag, ORCID 0009-0008-8607-8197), as README.md and CITATION.cff name him”, and its acquisition/upstream-subtree.sha256 binds CITATION.cff at SHA-256 899e0457883915f6c52144deba9862063cc810cc1e4b5e0f5bc9cd4ad69a9971.
  2. candidate-edition: README.md at 653b958, byline and opening paragraphs: the 12 October 2026 verification edition of a candidate proof that the side of John Bidwell’s 1998 packing of seventeen squares is optimal. The packet keeps no upstream bytes; acquisition/sources.json pins the commit, committed 2026-10-12T14:40:59Z, and its license field records that README.md and CREDITS.md say he conceived and led the project and that AI systems, Codex and Claude, produced the mathematics, engines, certificates, checkers, reviews and text under his direction.
  3. candidate-announcement: user.screen_name is kleddamag, user.name is Marc Leonard Overbeck and user.id_str is 1496776810767519746; the post of 2026-10-12T14:52:55Z announces the candidate proof for 17 squares and links github.com/Kleddamag/the-seventeenth-square-candidate.
  4. owner-confirmation: Decisions and Exceptions, the Marc Leonard Overbeck row: the owner’s instruction to credit his name and link his GitHub and X accounts.
  5. primary-byline: Human direction and AI contribution section explicitly names Kleddamag as maintainer.
  6. github-repository: Source row: https://github.com/Kleddamag/17-squares-certified-bound.
  7. x-account: Author profile https://x.com/kleddamag; the 22 September 2026 thread announces his lower bound 3.875 for eleven squares.
  8. n17-bound: Title and opening paragraph: the exact lower bound 4.66001 for seventeen squares, retrieved 2026-09-27.
  9. bibliography: Source author, credit and credited_names fields retain the printed attribution labels.

Identity evidence