IT КОТ

Модель искусственного интеллекта 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 сгенерировала по-настоящему новое доказательство открытой математической задачи Эрдёша, а не переоткрыла уже существующее в литературе.

Саша Квашеная. Live 24/7

Опубликовано фото

Голубятня в деревне

Весенние цветы и настроение на даче

Красивые весенние цветы на даче

Пикник на даче, поход на рынок и в кино

Прогулка у реки в деревне

Красивые деревенские пейзажи