Anthropic’s involvement in high-profile AI-assisted mathematics has intensified trader focus on whether the company will claim a Millennium Prize solution. Levent Alpöge, an Anthropic researcher, collaborated with NYU’s Tristan Buckmaster on AI-supported advances toward the Navier-Stokes problem and related Euler equations using Claude models, just before OpenAI’s September 2026 announcement of a full Navier-Stokes resolution via internal agents and Lean verification. Anthropic separately demonstrated strong formalization capabilities with a complete computer-checked proof of Fermat’s Last Theorem and improved bounds on the Riemann hypothesis, underscoring rapid progress in large language model reasoning on open conjectures. These developments highlight competitive dynamics between leading labs, though no official Anthropic claim to a Millennium Prize has materialized amid ongoing proof scrutiny and model scaling.