Теренс Тао, один из самых известных математиков XXI века, рассказал о том, как искусственный интеллект начал приносить реальную пользу исследователям. По словам ученого, ИИ становится «археологом знаний» — он сопоставляет базы данных, научные архивы и старые публикации, находя доказательства, которые раньше терялись в потоке литературы. Именно так были исправлены ошибки в каталоге задач Эрдеша, где ряд проблем числился «открытыми», хотя решения существовали уже много лет.
Каталог задач Эрдеша — это огромная живая база математических вопросов, собранных Палом Эрдешем и его последователями. По словам Теренса Тао, как минимум для шести значившихся открытыми задач ИИ смог найти решения. Конкретная модель не называется, так как над проверкой каталога работает несколько специалистов, но ранее стало известно, что для задачи №339 решение нашла GPT-5 Pro — причем решена задача была 22 года назад. Также ИИ помог обновить карточки еще примерно 12 задач — в них добавили релевантные статьи.
Тао считает, что это только начало большой работы. Подобные методы можно масштабировать за пределы каталога Эрдёша — на всю математику и даже другие науки. Интеграция ИИ с базами вроде OEIS, arXiv, zbMATH Open, PubMed и патентных реестров позволит автоматически искать дубли, связывать открытые проблемы с забытыми решениями и формировать «карты знаний» между дисциплинами.
По словам Тао, в этом и есть настоящая польза ИИ сегодня: не в том, чтобы «доказывать теоремы», а в том, чтобы наводить порядок в накопленных знаниях. Ведь прежде чем совершить новое открытие, нужно перестать терять старые.
P.S. Поддержать меня можно подпиской на канал «сбежавшая нейросеть», где я рассказываю про ИИ с творческой стороны.
Источник: habr.com