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

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

В последние дни GPT-5.2 Pro решил несколько задач Эрдоша, решения которых были приняты Теренсом Тао. Это не трюк — это качественный сдвиг. Задачи Эрдоша лежат в основе аддитивной комбинаторики, экстремальной теории графов и вероятностных методов — задачи, которые сопротивляются грубой силе и требуют структурного понимания. Многие из них выдержали десятилетия экспертной проверки. Принятие важнее, чем авторство. Тао не просто одобряет идеи; он тщательно проверяет логику, общность и новизну. Если доказательство преодолевает этот барьер, система не просто перекомбинирует известные леммы — она исследует истинное математическое пространство поиска. Это означает, что ИИ пересёк порог: от помощи математике к участию в ней путем предложения нетривиальных аргументов, выявления скрытых структур и решения проблем, которые важны для людей, — без заранее определённого пути решения. Важно отметить, что это не умаляет заслуг математиков-людей. Это меняет топологию данной области. Подобно тому, как системы символической алгебры усилили, а не заменили математику, ИИ, похоже, теперь готов расширить границы самого искусственного интеллекта. Если эти утверждения подтвердятся, последние дни могут ознаменовать собой взлет науки, основанной на ИИ: не эффектные демонстрации, а тихое подтверждение со стороны самых строгих экспертов мира. Мы должны оставаться скептичными, осторожными и точными — и в то же время честными в отношении последствий. Возможно, произошли фундаментальные изменения. Вот пятиминутное видео, в котором Терри объясняет эти проблемы и встречается с самим собой. Полное видео смотрите здесь:    • Terry Tao: "Any Undergrad Can Train LLMs (...