Нил Сомани, бывший исследователь в области количественной оценки, протестировал математические способности модели OpenAI GPT-5.2 и был удивлён, что нашёл полное решение для сложной математической задачи.

Процесс рационализации модели был сложным, использующим продвинутые концепции и ссылающимся на предыдущие обсуждения в математическом сообществе. Также решение, предложенное ИИ, было другим и более полным, чем предыдущие подходы. Эти достижения предполагают, что ИИ становится ценным инструментом в математике, с 15 задачами на сайте Эрдеша, которые перешли от "открыто" к "решено" всего за последние месяцы, многие из решений приписываются ИИ моделям. Ведущие математики, такие как Терри Tao, внимательно следят за этими событиями, признавая значительный вклад ИИ в решение менее известных проблем. Также возросшее внимание к формализации помогло облегчить эти достижения, а современные инструменты помощи в доказательствах снизили барьеры для входа. Хотя ИИ не делает математику автономно, его роль в решении долгосрочных проблем предполагает, что границы математического открытия быстро меняются.