What's up in

natural language processing

Illustration of a robot and a human furiously doing math next to each other
artificial intelligence

How Close Are Computers to Automating Mathematical Reasoning?

August 27, 2020

AI tools are shaping next-generation theorem provers, and with them the relationship between math and machine.

Illustration of cartoon characters working alongside a machine.
artificial intelligence

Machines Beat Humans on a Reading Test. But Do They Understand?

October 17, 2019

A tool known as BERT can now beat humans on advanced reading-comprehension tests. But it’s also revealed how far AI has to go.