Claims

../

2026_08_05_apiros3: A forum claim with a Lean development that each of the three pairs Yu and Chen left open has an infinite pairwise-coprime sequence of non-representable numbers prime to pq, and with the Yu-Chen range answers the second question.

2026_08_24_ding_li_liu_zhang: Ding, Li, Liu and Zhang claim that for the pair 5 and 2 the integers that are sums of numbers 2^a 5^b with no summand dividing another have positive lower density, by an injection from a class of admissible words.

2026_09_29_becart: Bécart's computer-assisted claim that the integers representable by antichains of numbers 2^a 7^b, and by a same-day draft those of 4^a 3^b, have positive lower density, by C-checked certificates and a Lean reduction.

---