OpenAI's AI solved the Navier-Stokes problem, one of mathematics' most difficult unsolved questions, but the resulting 166-page proof is too dense for mathematicians to extract useful insights from. While mathematicians believe the proof is technically correct, they argue the solution represents a missed opportunity for human-AI collaboration and criticize OpenAI's approach as misaligned with the mathematics community's goals.