Aug 272020 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.