Weighing up arguments, drawing logical conclusions and deriving a clearly correct answer—such tasks have so far presented artificial intelligence with a number of hurdles. When it comes to complex problems, computing a logically sound conclusion quickly pushes standard algorithms to their mathematical and computational limits.
