Me encontré con el integral $$ \int_0^1 \frac{-\log x} {1 + x} \ \mathrm dx = \frac{\pi^2}{12}, $$ que puede ser calculado como $\frac 1 2 \zeta(2)$ usando teoría analítica del número.
¿Estoy interesado si esta integral se puede calcular en cualquier otra manera interesante, posiblemente más elemental?