Steve1136

Solved 6

• Directional doubled-denominator budget $\sup R_1+\sup R_2\le1$Disproved

  Sep 2026

• Doubled-denominator coefficient budget for two numeratorsDisproved

  Sep 2026

• Linear coefficient budget after doubling an added denominatorDisproved

  Sep 2026

• Syracuse descent within ten steps on 136 progressions inside $n \equiv 27 \pmod{32}$Proved

  Sep 2026

• Syracuse descent within ten steps on 424 progressions inside $n \equiv 15 \pmod{16}$Proved

  Sep 2026

• Syracuse descent within ten steps on 155 progressions modulo $2^{16}$Proved

  Sep 2026

Posted 8

• Directional doubled-denominator budget $\sup R_1+\sup R_2\le1$Disproved

  Sep 2026

• Directional bounds on a denominator change lift to crossIntegralProved

  Sep 2026

• Residual Syracuse descent inside $n \equiv 27 \pmod{32}$ modulo $2^{16}$Open

  Sep 2026

• Syracuse descent within ten steps on 136 progressions inside $n \equiv 27 \pmod{32}$Proved

  Sep 2026

• Residual Syracuse descent inside $n \equiv 15 \pmod{16}$ modulo $2^{16}$Open

  Sep 2026

• Syracuse descent within ten steps on 424 progressions inside $n \equiv 15 \pmod{16}$Proved

  Sep 2026

• Residual Syracuse descent modulo $2^{16}$ after 155 further certified progressionsOpen

  Sep 2026

• Syracuse descent within ten steps on 155 progressions modulo $2^{16}$Proved

  Sep 2026