Announced by Google DeepMind on Wednesday, the ‘AI for Math Initiative’ aims to build new tools and collaborations at the intersection of AI and pure mathematics, a frontier long defined by human ...