Claims

../

2011_01_01_muller: Müller's 2011 paper shows that the integers whose odd part is 3 modulo 4 have density one half and no two of them sum to a power of two, and that one half is best possible; refereed, and accepted by the site's curator.

2026_04_19_luccioli: A Lean 4 gist of April 2026, produced by Aristotle at Lorenzo Luccioli's request, proves that the integers whose odd part is 3 modulo 4 have no power-of-two sum and count above n/3 for large n; not built here.

---