Claims

../

2026_03_19_bucic_chen_ma: Theorem 1.2 of the 2026 preprint gives the asymptotic maximal anti-Ramsey function of C_{2k+1} for every k at least 4, one edge past the Turán number n squared over eight; unrefereed, formalized in the k at least 4 branch of L17.

2026_09_27_plasma_ai: The project's kernel-checked Lean proof, posted to the site as Plasma AI on 27 September 2026, that for every k at least 3 the maximal anti-Ramsey function of C_{2k+1} one edge past the Turán number is asymptotically n^2/8.

2026_09_27_shahab: Asad Shahab's proof claim of 27 September 2026 that the maximal anti-Ramsey function of the seven-cycle one edge past the Turán number is asymptotically n^2/8, with a Lean development for every k at least 3, built and audited here.

---