Anthropic’s involvement in AI-assisted mathematics has centered on employee Levent Alpöge’s personal collaboration with mathematician Tristan Buckmaster, which produced major progress on forced Euler and related fluid equations using Claude and other models in August 2026. This fueled early September rumors of a Millennium Prize breakthrough, though the pair stopped short of solving Navier-Stokes itself. OpenAI’s subsequent internal-agent solution to the Navier-Stokes problem and Anthropic’s separate formalization of Fermat’s Last Theorem via Claude highlight the rapid capability gains in large language models for rigorous proof generation and Lean verification. Traders are weighing Anthropic’s competitive math tooling against the lack of an official company announcement claiming an unsolved Millennium Prize, with further model releases or verified results likely to shift sentiment ahead of any resolution.