New York University mathematician Tristan Buckmaster and Anthropic researcher Levent Alperg, collaborating in a personal capacity, spent nearly a year studying problems related to the Euler and Navier-Stokes equations with AI-assisted computation and formal verification. After their progress spread on social media, OpenAI mobilized a large number of AI agents to work on the same problem and its model produced a proof within 88 hours. Both sides released results separately; Buckmaster questioned OpenAI's intervention, while OpenAI denied accessing their paper before publication.