A density version of the binary Goldbach problem, after Alsetri and Shao
A sorry-free Lean 4 proof, with no cited hypothesis, of Theorem 1.2 of A. Alsetri and X. Shao, Density versions of the binary Goldbach problem, arXiv 2405.18576v2, Acta Arith. 218, 2025, 285 to 295: if A is a set of primes whose relative lower density in every reduced residue class b mod W is at least some eta > 1/2, then almost all even positive integers are a sum of two primes from A. The entry also proves the paper's Theorem 1.1, that relative density 1 - epsilon in the primes alone does not suffice, and the sharpness of the constant 1/2 stated in its Remark 1.3. A derived result of this…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-10-27-000008
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-27-000008/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-27-000008/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'