Проблемы Эрдеша являются явным примером моделей, превышающих порог. Идея о том, что ИИ мог бы решить одну, не говоря уже о многих, самостоятельно, была бы безумной год назад (o1 был совершенно новым), а теперь у нас есть несколько проблем Эрдеша, решенных GPT-5.2 Pro за последние пару недель.

Чтобы было понятно: GPT-5.2 Pro не решает эти задачи автономно, его запускает человек, и он часто итеративно использует Lean.