Jatloe

Years active
2026

1 record (at S5)1 result (at S5)0 credits

Records

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

  • T-245 (optimality, n = 12): source author, credited contributor — Jatloe, in [Jatloe n12 Lean 2026-10-16] (Registered in: #812; Supporting: #810)

Results

  • T-245 (optimality, n = 12): source author, credited contributor — Jatloe, in [Jatloe n12 Lean 2026-10-16] (Registered in: #812; Supporting: #810)

Other Reviewed Records

  • n = 12: lower bound prover — Jatloe

Related News

Sources
  1. formalization-credit: Credits: “Jatloe provided the full mathematical proof and partial Lean formalization.” SOURCE-PROVENANCE.json repeats the credit; the source gives no other name and no account link.
  2. announcement-mention: Manasseh Ahmed’s announcement of 22 October 2026 thanks “@jatloe for sending me a full proof of the result alongside a partial formalization”; entities.user_mentions gives screen_name jatloe, name jatloe, id_str 1339674174239944705.
  3. reply-mention: The reply “@jatloe Lean repo:” links Queuingtheorydotcom/Jatloe12SquaresFormalized; entities.user_mentions gives the same id_str 1339674174239944705.

Identity evidence