Neel Somani, ex ricercatore nel campo della quantificazione, ha testato le abilità matematiche del modello OpenAI GPT-5.2 ed è rimasto sorpreso di trovare una soluzione completa per un problema matematico difficile.

Il processo di razionalizzazione del modello è stato sofisticato, utilizzando concetti avanzati e facendo riferimento a discussioni precedenti nella comunità matematica. Inoltre, la soluzione fornita dall'AI è stata diversa e più completa rispetto agli approcci precedenti. Questi progressi suggeriscono che l'AI sta diventando uno strumento prezioso in matematica, con 15 problemi sul sito di Erdős che sono passati da "aperto" a "risolto" solo negli ultimi mesi, molti dei quali attribuiti ai modelli AI. I matematici di punta, come Terence Tao, osservano attentamente queste evoluzioni, riconoscendo i contributi significativi dell'AI nella risoluzione di problemi meno conosciuti. Inoltre, un maggiore accento sulla formalizzazione ha aiutato a facilitare questi progressi, e gli strumenti moderni di assistenza alla prova hanno ridotto le barriere all'ingresso. Sebbene l'AI non faccia matematica in modo autonomo, il suo ruolo nella risoluzione di problemi a lungo termine suggerisce che i confini della scoperta matematica stanno cambiando rapidamente.