Claims

../

2026_08_11_zeraoulia: Zeraoulia's AI-assisted Zenodo preprint of 11 August 2026, on the site's tab the same day, claiming S(n) = (1/2) log log n + O(log log log n) under an unproved equidistribution hypothesis; conditional and unreviewed.

2026_08_13_conjectures_io: A Conjectures.io record of 13 August 2026: a kernel-checked Lean refutation of the defective pre-fix formal statement of Problem 726, whose sum was identically zero; Conjectures.io's review says it settles nothing; rejected.

---