According to media reports, OpenAI CEO Sam Altman told an audience of several hundred students at Stanford University that mathematicians’ attitudes toward AI have moved from disbelief and anger toward acceptance that AI can no longer be avoided in research and proof work. Altman described the progression as resembling stages of grief. His optimistic framing contrasts with mathematicians’ continuing concerns that AI systems may not show their derivations and leave researchers with difficult verification work. OpenAI’s announced solution to the Navier–Stokes equations and its claims about solving more than 700 other problems were not independently verified in the supplied material.