In September 2010, Deolalikar was reported to be working on a detailed expansion of his attempted proof.
En setembro de 2010, informouse que Deolalikar estaba a traballar nunha expansión detallada do seu intento de demostración.