Specifically, the AI was able to make progress on a complex problem called the Andrews–Curtis conjecture, which has stumped ...

If your cruise ship is lacking in something, don't despair. There is a good chance you can ask the good people of the ship ...