Да, году в 1995, но понять КАК ее доказали - невозможно, имхо даже на русском... а уж на английском! Я(и мой словарь) не поняли примерно половину слов... Хотя если сейчас почитать... Кстати тот чел, что доказал вроде медаль Лоренца получил (типа Нобеля для математиков)