Lance Fortnow on the current status and future outlook of solving the P-NP problem.
Professor Ross D King and his team have demonstrated for the first time the feasibility of engineering a nondeterministic universal Turing machine (NUTM), and their research is to be published in the ...