Ett AI-system har för första gången löst ett problem ur FrontierMath: Open Problems, ett test bestående av riktiga forskningsproblem som matematiker inte lyckats lösa. Flera AI-modeller har nu visat förmåga att lösa problemet, däribland GPT-5.4 Pro, Gemini 3.1 Pro och Claude Opus 4.6.
Sedan oktober har AI-verktyg hjälpt till att flytta omkring 100 av Paul Erdős matematiska problem till kategorin "lösta". Stora språkmodeller fungerar som kraftfulla forskningsassistenter som kan hitta och kombinera existerande matematiska resultat på nya sätt.