Enrique González Jiménez

En la actualidad se utilizan computadoras para tratar de demostrar conjeturas como esta, de gran relevancia en teoría de números. Hasta hace poco, esta labor la realizaban prodigios del cálculo mental