Claims

../

2026_09_04_land: A full proof claim of 4 September 2026 by Johan Land, AI-assisted, with a PDF manuscript and a Lean repository the claimant says compiles under the standard axioms; neither built nor accepted anywhere.

2026_09_07_tang: A full proof claim of 7 September 2026 by Yuren Tang, AI-assisted, with the manuscript "Reciprocal Sums over Separated Integer Intervals" in a tagged repository and a formalization in progress; not accepted anywhere.

2026_09_26_budden: A full proof claim of 26 September 2026 by David Budden with the system PingYou, that every positive rational is a reciprocal sum over exactly k separated intervals of length two or three; its PDF link does not resolve.

2026_10_01_leap: A complete Lean 4 proof of 1 October 2026 by the LEAP prover agent that for all large k one is the reciprocal sum over k separated intervals of length at least two, linked by formal-conjectures as the problem's formal proof.

---