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

Prof. Dan Shechtman of the Technion–Israel Institute of Technology made the discovery that would later earn him the 2011 ...

Get a sneak peek at what happens when Pete takes on the Rubik’s Cube during an awards acceptance speech. Then, join us out on ...