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