Неужели ИИ только что решил проблему Эрдоша? (Это меняет всё)

Описание: В последние дни GPT-5.2 Pro решил несколько задач Эрдоша, решения которых были приняты Теренсом Тао. Это не трюк — это качественный сдвиг.

Задачи Эрдоша лежат в основе аддитивной комбинаторики, экстремальной теории графов и вероятностных методов — задачи, которые сопротивляются грубой силе и требуют структурного понимания. Многие из них выдержали десятилетия экспертной проверки.

Принятие важнее, чем авторство. Тао не просто одобряет идеи; он тщательно проверяет логику, общность и новизну. Если доказательство преодолевает этот барьер, система не просто перекомбинирует известные леммы — она исследует истинное математическое пространство поиска.

Это означает, что ИИ пересёк порог: от помощи математике к участию в ней путем предложения нетривиальных аргументов, выявления скрытых структур и решения проблем, которые важны для людей, — без заранее определённого пути решения.

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

Если эти утверждения подтвердятся, последние дни могут ознаменовать собой взлет науки, основанной на ИИ: не эффектные демонстрации, а тихое подтверждение со стороны самых строгих экспертов мира.

Мы должны оставаться скептичными, осторожными и точными — и в то же время честными в отношении последствий.

Возможно, произошли фундаментальные изменения. Вот пятиминутное видео, в котором Терри объясняет эти проблемы и встречается с самим собой.

Полное видео смотрите здесь:    • Terence Tao: Nobody Understands Why AI Act...