ИИ теперь умеет выдвигать научные гипотезы и теории за полчаса

Институт искусственного интеллекта Аллена (Ai2) выпустил нового "ИИ-учёного" Theorizer. Он умеет строить научные теории на основе больших объемов литературы. В отличие от многих других пока "слабых" ИИ, которые просто пересказывают статьи, Theorizer ищет скрытые закономерности в научных публикациях. Нейросеть превращает хаос из тысяч статей в конкретные закономерности и области их применения. На то, что заняло бы у учёного месяцы, ИИ тратит всего 30 минут.

Каждая теория от Theorizer выглядит как структурированное описание: "закон — область применения — доказательства". Система также дает название каждой теории и краткое описание. Обычно одна теория содержит 1-2 закона. Область применения уточняет, в каких условиях действует закон и какие есть ограничения. В качестве доказательств используются результаты экспериментов и наблюдений.

Работа в Theorizer пока устроена как конвейер. Сначала система собирает корпус литературы, выбирая до ста релевантных статей через Semantic Scholar и другие инструменты. Затем она извлекает из них ключевые данные и результаты по заранее подготовленной схеме. На финальном этапе эти данные объединяются, из них формируются теории, которые затем проверяются и уточняются. Один запрос выполняется за 15-30 минут.

Для оценки качества теорий исследователи разработали специальный тест. Он учитывает пять критериев: специфичность, эмпирическое подтверждение, прогностическую точность, новизну и правдоподобность. Проверка показала, что теории, основанные на анализе литературы, лучше тех, что ИИ создает сам.

Особое внимание уделялось способности Theorizer делать предсказания о будущих научных результатах. Для этого ИИ запускали с заранее заданной "датой отсечения" знаний. Теории генерировались на основе старых статей. Затем нейросеть анализировалп более новые публикации и определял, подтверждают ли они эти предсказания, противоречат им или не содержат релевантных данных. Всего было проверено 3 тыс. законов на основе 4,5 тыс. статей и более 16 тыс. сопоставлений «закон — публикация». Анализ показал, что теории, основанные на систематическом анализе литературы, дают более точные и проверяемые прогнозы.

Разработчики отмечают, что Theorizer — это инструмент, а не окончательный ответ. На данный момент большие языковые модели иногда выдают неверные данные, поэтому ИИ нужно проверять. Результаты Theorizer следует использовать как основу для дальнейших исследований. Вместе с системой они выложили исходный код, интерфейс и три тысячи теорий в области ИИ и обработки естественного языка. Такие инструменты помогают разобраться в огромном количестве научных публикаций и упрощают переход от отдельных результатов к общим теориям.

И вновь всем доброй, а кому и продуктивной ночи!

Источник: vk.com

Комментарии: