AI RESEARCH

Beyond the Hype: An AI Math Breakthrough and the New Division of Labor

Gradient Flow

In a piece I wrote a few months ago, I argued that research mathematics had become an unexpectedly useful test case for AI, precisely because mathematical claims are either right or wrong, which makes AI outputs verifiable in a way that many business applications are not. That argument just got a very concrete test case.