Исследователи Алохейн Фавзи и Бернардино Ромера Паредес представили FunSearch, метод, позволяющий находить новые решения в математике с помощью больших языковых моделей (LLMs). Эта технология не просто генерирует решения, а использует итеративный процесс для улучшения идей, основанный на программном коде.
FunSearch объединяет предварительно обученную LLM и автоматического оценивателя, который защищает от ошибок и «галлюцинаций». Эта система уже сделала значимую находку, предложив новые решения для давно нерешенной проблемы кап-сета в математике и более эффективных алгоритмов для проблемы бин-паккинга, которая актуальна для оптимизации работы дата-центров.
Кроме того, метод помогает лучше понимать, как были достигнуты решения, предоставляя программный код, который раскрывает процесс. Это делает FunSearch мощным инструментом для научных открытий и сотрудничества между людьми и ИИ. Будущее этой технологии многообещающе, и мы ожидаем дальнейших успехов в решении известных и новых задач.
*компания Meta Platforms Inc. признана экстремистской организацией, ее деятельность на территории России запрещена