The Download: OpenAI’s turning point for math and a battery record

OpenAI claims its AI agents solved a major unsolved mathematics problem, raising questions about what this means for the future of mathematical research. The article hints at controversy surrounding this claim.