Yo, This Is the Math of the Han (韓) People, Guys. — English edition

A combined edition that rereads the mathematics and science of Joseon Korea by exact computation, and applies the same method to open problems of modern mathematics. Part I treats Choi Seok-jeong’s orthogonal Latin squares of order nine (sixty years before Euler) and exact counts for his hexagonal tortoise problem, Hong Jeong-ha’s equations and the 1713 exchange with the Qing envoys, and the eclipse of 10 September 1447. Part II reads the Taegeuk boundary through the decomposition of 3-manifolds. Part III gives exact values for finite-field Kakeya sets over F₃ⁿ (k₄ = 27, 45 ≤ k₅ ≤ 53, 78 ≤ k₆ ≤ 104) and Nikodym sets. Part IV certifies AI-discovered mathematical records in exact arithmetic. Part V rereads the water clock of the Annals of King Sejong as a computation of flow. Part VI states the Trombo method — counting is not a theorem, and a proof needs no counting — with five grades of evidence. Part VII collects further results, among them matroid censuses, kernel certificates for the Mertens sum, and an independent re-proof of the case split for the Kakeya bound. Part VIII contains six papers. The final appendix reproduces “The Seven Millennium Problems — Closed Cells and Empty Cells”. All computations use integer, rational or ball arithmetic, and finite statements are checked by the Lean 4 kernel. Interpretation is kept apart from mathematical claims, and no Millennium problem is claimed to be solved.