AI je počeo rješavati probleme na kojima matematičari rade godinama. No matematički dokaz mora izdržati neovisnu provjeru. Veliko otkriće i službeno riješen problem nisu uvijek isto.
Stanje: 12. listopada 2026. Službeni statusi: Clay Mathematics Institute. AI istraživanja: OpenAI.