Neel Somani, volt kutató a kvantifikálás területén, tesztelte az OpenAI GPT-5.2 modell matematikai képességeit, és meglepődött, hogy teljes megoldást talált egy nehéz matematikai problémára.

A modell racionalizálási folyamata kifinomult volt, fejlett fogalmakat használt, és korábbi matematikai közösségi diskurzusokra hivatkozott. Ezenkívül az AI által kínált megoldás eltérő és teljesebb volt, mint a korábbi megközelítések. Ezek a fejlődések azt sugallják, hogy az AI értékes eszközzé válik a matematikában, hiszen az Erdős weboldalán található 15 probléma az utolsó hónapokban "nyitott"-ról "megoldott"-ra vált, sok megoldást az AI modelleknek tulajdonítva. A vezető matematikusok, mint Terence Tao, figyelemmel kísérik ezeket a fejlődéseket, elismerve az AI jelentős hozzájárulását a kevésbé ismert problémák megoldásához. Ezenkívül a formalizálásra helyezett fokozott hangsúly segítette ezeket a fejlődéseket, és a modern bizonyítást támogató eszközök csökkentették a belépési korlátokat. Bár az AI nem végez matematikát autonóm módon, a hosszú távú problémák megoldásában betöltött szerepe azt sugallja, hogy a matematikai felfedezés határai gyorsan változnak.