The Clay Mathematics Institute supports math research, education, and public outreach, funding prizes and fellowships to advance the discipline.
OpenAI has announced a proof for the Navier–Stokes existence and smoothness problem, solved by about 10,000 AI agents over 88 hours. The claim faces scrutiny from peers who question the timing, data use, and independence of verification amid a broader debate over AI-assisted science.