ScienceAI is splitting the mathematics world in two

In recent months, the AI industry has taken aim at problems that have stumped mathematicians for years. Some models have made major headway, though the scale of their achievements is not always clear. The Verge’s Robert Hart discusses what OpenAI and others have accomplished, their disastrous dealings with researchers, and the future of human mathematics.