Компания Google DeepMind использовала большую модель языка для решения неразрешимой математической задачи

Google DeepMind применила мощную языковую модель для решения неразрешимой математической задачи

FunSearch (называется так потому, что он ищет математические функции, а не потому что это весело) продолжает ряд открытий в основах математики и компьютерных наук, которые DeepMind сделал с использованием ИИ. ¶ Кредит: Стефани Арнетт/MIT Technology Review

Google DeepMind использовал большую модель языка, чтобы разгадать известную нерешенную задачу в чистой математике. В сегодняшней статье, опубликованной в Nature, исследователи говорят, что в первый раз большая модель языка была использована для открытия решения давно известной научной загадки, производя верифицируемую и ценную новую информацию, которой не существовало ранее. “Это не в тренировочных данных – даже оно не было известно,” говорит соавтор Пушмит Кольи, вице-президент исследований в Google DeepMind.

У больших моделей языка есть репутация изобретать что-то, а не предоставлять новые факты. Новый инструмент Google DeepMind, называемый FunSearch, может изменить это. Это показывает, что они действительно могут делать открытия, если они убеждены в этом, и если отбросить большинство того, что они предлагают.

FunSearch (называется так потому, что он ищет математические функции, а не потому что это весело) продолжает ряд открытий в основах математики и компьютерных наук, которые DeepMind сделал с использованием ИИ. Сначала AlphaTensor нашел способ ускорить вычисление в основе множества разных видов кода, побив 50-летнюю запись. Затем AlphaDev нашел пути для ускорения ключевых алгоритмов, используемых трллионы раз в день.

Источник: MIT Technology Review Посмотреть полную статью