What's up in
AI tools are shaping next-generation theorem provers, and with them the relationship between math and machine.
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.