Neel Somani, fost cercetător în domeniul cuantificării, a testat abilitățile matematice ale modelului OpenAI GPT-5.2 și a fost surprins să găsească o soluție completă pentru o problemă matematică dificilă

Procesul de raționare al modelului a fost sofisticat, folosind concepte avansate și referindu-se la discuții anterioare din comunitatea matematică. De asemenea, soluția oferită de AI a fost diferită și mai completă decât abordările anterioare. Aceste progrese sugerează că AI devine un instrument valoros în matematică, cu 15 probleme de pe site-ul Erdős trecând de la ”deschis” la ”rezolvat” doar în ultimele luni, multe dintre soluții creditând modelele AI. Matematicienii de frunte, precum Terence Tao, observă cu atenție aceste evoluții, recunoscând contribuțiile semnificative ale AI în rezolvarea problemelor mai puțin cunoscute. De asemenea, un accent crescut pe formalizare a ajutat la facilitarea acestor progrese, iar instrumentele moderne de asistență la dovadă au redus barierele de intrare. Deși AI nu face matematică în mod autonom, rolul său în rezolvarea problemelor de lungă durată sugerează că frontierele descoperirii matematice se schimbă rapid.