The give-and-take of formal arguments is still outside of a machine’s “comfort zone”—at least for now

-- Read more on ScientificAmerican.com


More...