AI is dividing the math world in two

Over the last several months, the AI industry has set its sights on some of the problems that have stymied mathematicians for years. In some cases, AI models have made huge progress — though exactly how much isn't alway…