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

OpenAI announced that its AI agents solved a major 90-year-old mathematics problem (the Navier-Stokes equations) in 88 hours using 10,000 agents, but the achievement was overshadowed by accusations that OpenAI failed to credit researchers whose prior AI-assisted work influenced the solution. The episode highlights a potential shift in mathematics where solving important problems may require resources only available to a few large AI companies, raising questions about the future role of human mathematicians.