sentences:  His first attempt at proving the conjecture dates from 1957.He has described his general approach over the years in different papers and conferences.On December 19, 2006, he posted a preprint to the arXiv, claiming to have finally completed the details of his approach and proven the conjecture.