Claims

../

2026_08_06_5gegry_uluscv: Lean 4 proof credited to the solver address 5GeGrY…uLUScV, certified and paid by the bounty site Conjectures.io on 6 August 2026, that infinitely many even integers are not a prime plus at most three powers of 2; the Grechuk variant.

2026_08_06_daryxx: Write-up and Lean 4 file under the handle Daryxx proving infinitely many even integers are not a prime plus at most three powers of 2, the site's Grechuk remark and not the question; cited by the catalog as the variant's proof.

---