What's up in
natural language processing
How Close Are Computers to Automating Mathematical Reasoning?
AI tools are shaping next-generation theorem provers, and with them the relationship between math and machine.
Machines Beat Humans on a Reading Test. But Do They Understand?
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.