Posted on August 30, 2020 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. https://www.quantamagazine.org/how-close-are-computers-to-automating-mathematical-reasoning-20200827/ Related