Two mathematicians have proved that a straightforward question—how hard is it to untie a knot?—has a complicated answer.

After a challenging 12 years trying to use AI to create new medicines, cofounder Chris Gibson stepped down as CEO last week.

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

It's a well-known fact that quantum calculations are difficult, but one would think that quantum computers would facilitate the process. In most cases, this is true.