В минувшие выходные инженер-программист Нил Сомани протестировал математические возможности новой модели искусственного интеллекта OpenAI и сделал удивительное открытие. Он дал ChatGPT сложную математическую задачу, дал чат-боту 15 минут на размышление, а затем предложил решение.
Исследователь оценил доказательство, формализовал его с помощью инструмента Harmonic и нашел его правильным. Еще большее впечатление на него произвела цепочка рассуждений ChatGPT, в которой ИИ воспроизвел формулу Лежандра, постулат Бертрана и теорему Звезды Давида. Он также нашел сообщение 2013 года на Math Overflow, в котором предлагалось решение аналогичной проблемы. Финальная версия ChatGPT обеспечивает полное решение одной из задач, поставленных легендарным математиком Паулем Эрдёшем — его коллекция нерешённых задач теперь стала полигоном для искусственного интеллекта.
Этот удивительный результат не уникален — модели ИИ уже широко используются в математике: инструменты OpenAI Deep Research отвечают за обзор литературы, а Harmonic Aristotle формализовал доказательства. Модель OpenAI GPT-5.2, по словам Нила Сомани, оказалась более искусной в рассуждениях, чем предыдущие версии — они уже научились решать оставшиеся открытые задачи, по сути раздвигая границы человеческого познания.
Пауль Эрдеш оставил после себя более тысячи гипотез, которые были задокументированы интернет-сообществом математиков – и они обнаружили, что GPT-5.2 на удивление хорош в решении самых сложных математических задач.. С 25 декабря 2025 года по сегодняшний день решено 15 задач Эрдогана, 11 из которых связаны с искусственным интеллектом. Известный математик Теренс Тао обнаружил восемь задач Эрдогана, в которых искусственный интеллект добился значительного прогресса; еще в шести случаях прогресс был достигнут благодаря открытиям и дальнейшему развитию более ранних исследований. Искусственный интеллект пока не может решить их полностью без вмешательства человека, но его роль становится все более важной. «Из-за этого многие из более простых задач Эрдогана теперь с большей вероятностью будут решены только методами искусственного интеллекта, чем человеческими или гибридными средствами.— заключает Тао.
Другой важный фактор — переход к формализации. Это трудоемкая задача, упрощающая проверку и расширение математических рассуждений; для этого не требуется искусственный интеллект или даже компьютеры, но сейчас появились инструменты, которые значительно упростили этот процесс. Например, стал популярным инструмент Lean, разработанный Microsoft Research в 2013 году; Гармонический Аристотель позволяет существенно автоматизировать эту задачу. Резкий скачок количества решенных задач Эрдогана привел к тому, что упоминание таких сервисов, как Aristotle или ChatGPT, добавляет материалам доверия в профессиональном сообществе.
`, // — БАННЕР 2 (Новости Google) — `
`, // — БАННЕР 3 (Viber) — `
` ); const randomIndex = Math.floor(Math.random() * Banners.length); document.getElementById(‘kaldata-random-banner’).innerHTML = баннеры(randomIndex); })();
Комментируйте статью на нашем форуме. Чтобы первыми узнавать самое важное, поставьте лайк нашей странице в Facebook и подпишитесь на нас в Google News, TikTok, Telegram и Viber или загрузите приложение по адресу Калдата.com для Android, iPhone, Huawei, Google Chrome, Microsoft Edge и Opera!
