Последняя модель GPT 5.2 от OpenAI демонстрирует поразительные способности в решении задач высшей математики, помогая решить 11 из 15 недавно решённых гипотез из знаменитого сборника проблем Эрдеша. Тестировщик модели, Нил Сомани (Neel Somani), отметил, что её способности к логическому мышлению «значительно превосходят», в то время как математик Теренс Тао (Terence Tao) считает, что искусственный интеллект особенно подходит для решения тех сложных и запутанных «длинных хвостов» проблем. Появление формальных инструментов, таких как Lean, а также искусственного интеллекта-ассистентов, таких как Aristotle от Harmonic, дополнительно способствует развитию этой тенденции и получает признание научного сообщества.