Claims

../

1991_06_01_brown_rodl: Brown and Rödl's 1991 theorem that every finite coloring of the positive integers has pairwise distinct same-colored a, b, c with 1/a = 1/b + 1/c, answering Problem 303 in the affirmative; refereed and credited by the site.

2025_12_21_yuan: A Lean 4 proof, found by Seed-Prover and posted by Zheng Yuan on 21 December 2025, that every finite coloring of the integers has distinct same-colored a, b, c with 1/a = 1/b + 1/c; this corpus built and audited a re-proof of it.

---