OpenAI has announced what it says is an AI-generated solution to the Navier-Stokes existence and smoothness problem, one of mathematics’ seven Millennium Prize Problems, while Anthropic has reported separate advances in research mathematics and formal proof generation.
