Cerebral Valley were asked which startup valued at more than a billion dollars they would bet against.

New research from the University of Waterloo is making inroads on one of the biggest problems in theoretical computer science ...