“Maior avanço da matemática deste século”: nova prova do problema da agulha