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