PRIMES is in P "This was one of the big unsolved problems in theoretical computer science and computational number theory," said Shafi Goldwasser, a professor of computer science at the Massachusetts Institute of Technology.