707 подписчиков
Модель искусственного интеллекта GPT-5.2 Pro компании OpenAI предложила решение для одной из открытых математических задач Пала Эрдёша. Читать по ссылке на журнале Upgrade upweek.ru/...amii
6 января 2026 года сообщалось, что связка GPT-5.2 Pro и математического ИИ Aristotle от стартапа Harmonic решила задачу Эрдёша #728 — открытую проблему о делимости факториалов, поставленную в 1975 году Полом Эрдёшем, Рональдом Грэхемом, Имре Рузой и Эрнстом Страусом.habr.comm
Процесс решения:
Сначала GPT-5.2 Thinking исследовал задачу и предложил подход к доказательству.
GPT-5.2 Pro исправил мелкие ошибки и перевёл аргумент в LaTeX.
Aristotle формализовал доказательство в Lean.
Когда первая версия дала лишь частичный результат, команда вернулась к GPT-5.2 с уточнёнными ограничениями — и модель справилась.
Задача признана решённой Теренсом Тао, одним из самых уважаемых математиков современности. Это первый случай, когда LLM сгенерировала по-настоящему новое доказательство открытой математической задачи Эрдёша, а не переоткрыла уже существующее в литературе.
Около минуты
20 января