CONDITIONAL on GRH and four cited theorems: an explicit Chen threshold exp(exp 13.375), after Bordignon and Starichkova
CONDITIONAL. A Lean 4 proof that, under the Generalized Riemann Hypothesis, every even integer N at least exp(exp 13.375) is the sum of a prime and a square-free number greater than 1 with at most two prime factors, CONDITIONAL ON four cited results taken as explicit hypotheses of the theorem, never as axioms: Thm5J, Thm6J and Thm7J, the Lean Lab's transcriptions of Theorems 5, 6 and 7 of M. Bordignon and V. Starichkova, An explicit version of Chen's theorem assuming the Generalized Riemann Hypothesis, Ramanujan J. 64, 2024, 1213 to 1242; and LinearSieveT4 1/8349 112 114, the transcription…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-10-28-000016
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-28-000016/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-28-000016/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'