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 always obvious. The Verge's Robert Hart ex...