Key points are not available for this paper at this time.
It's one of the fundamental mathematical problems of our time, and its importance grows with the rise of powerful computers.
Lance Fortnow (Tue,) studied this question.