GPT-5.4 Pro от OpenAI решила открытую проблему Эрдёша за 80 минут

GPT-5.4 Pro от OpenAI решила открытую проблему Эрдёша за 80 минут
Все права принадлежат AInDev.ru

Модель OpenAI GPT-5.4 Pro продемонстрировала способность решать сложные математические задачи, которые десятилетиями оставались открытыми для академического сообщества. В ходе недавнего эксперимента система справилась с формулировкой Пола Эрдёша, относящейся к теории чисел, всего за 80 минут. Положительную оценку результату дал математик и лауреат Филдсовской премии Теренс Тао, охарактеризовав вклад нейросети в решение задачи как значимый.

Контекст и сложность математической проблемы

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

Технический подход GPT-5.4 Pro

Алгоритм работы GPT-5.4 Pro в данном кейсе базировался на глубоком анализе обучающей выборки и использовании продвинутых механизмов логического рассуждения. Если коротко, модель смогла выявить скрытые паттерны в числовых рядах, которые ранее ускользали от исследователей, и на их основе выстроить последовательное логическое доказательство. На практике это значит, что современные LLM начинают успешно выходить за рамки генерации текста, переходя в плоскость фундаментальных вычислений и доказательной математики.

Значение для научного сообщества

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