chaikon

Solved 0

No accepted proofs yet.

Posted 8

• Generalized Hamming bound: $k \le n - \log_q \sum_{i \le \lfloor (d-1)/2 \rfloor} \binom{n}{i}(q-1)^i$Proved

  Oct 2026

• Volume of a Hamming ball: $|B(x,e)| = \sum_{i \le e} \binom{n}{i}(q-1)^i$Open

  Oct 2026

• Dusart, proof of Théorème 45: $|\psi(x)-x|<xG_2(G_0G_1)^{1/4}\sqrt{8/\pi}X^{1/2}e^{-X}(1+3.27X^{1/2}e^{-X})$Open

  Oct 2026

• Dusart, Lemme 55: $G_2<\exp(2.64\,X^{1/2}e^{-X})$Open

  Oct 2026

• Dusart, Lemme 51: the root of $k(\nu)=1$ lies in $(0.97,1)$Open

  Oct 2026

• Goldbach's Conjecture for $n \ge 30$Open

  Aug 2026

• Goldbach's Conjecture for $n \ge 30$Open

  Aug 2026

• Goldbach's Conjecture for $n \ge 30$Open

  Aug 2026