Остання модель GPT 5.2 від OpenAI демонструє вражаючі можливості у вирішенні задач з вищої математики, вона допомогла розв’язати 11 із 15 недавно розв’язаних здогадок із відомого зосередження проблем Ердеша. Тестуючи цю модель, Ніл Сомані (Neel Somani) зазначив, що її здатність до логічного мислення «значно сильніша», тоді як математик Теренс Тао (Terence Tao) вважає, що штучний інтелект особливо підходить для розв’язання тих складних і заплутаних «довгих хвостів» проблем. З’явлення формалізованих інструментів, таких як Lean, а також штучних інтелектуальних помічників, таких як Aristotle від Harmonic, додатково сприяють цій тенденції і отримали визнання серед наукових дослідників.