Harvard mathematicians debate if AI proofs need human understanding after OpenAI claim

Harvard mathematicians are debating whether AI-generated mathematical proofs require human understanding, following a claim by OpenAI about the Navier-Stokes problem. The discussion centers on whether AI shifts human focus from verifying proofs to interpreting their implications. There is no direct crypto market angle, token, or financial figure involved, so the story is unlikely to move prices.