Исследователи Alhussein Fawzi и Bernardino Romera Paredes представили метод FunSearch, который позволяет делать новые открытия в математике и компьютерных науках, используя большие языковые модели (LLMs). Метод сочетает креативность LLM и автоматизированную оценку, чтобы минимизировать ошибки, часто возникающие при работе с ИИ. FunSearch осуществляет итеративный процесс, генерируя и отбирая программы, что позволяет находить инновационные решения для сложных проблем.
С помощью FunSearch были обнаружены новые алгоритмы для давно существующих задач, таких как задача о капсетах, что стало значительным достижением в математике. Кроме того, он смог разработать более эффективные алгоритмы для задачи о упаковке предметов, которая имеет множество практических приложений.
FunSearch придает особое значение интерпретируемости: он генерирует не просто решения, а программы, позволяющие понять процесс достижения этих решений. Это открывает новые возможности для сотрудничества между учеными и ИИ. Авторы надеются, что метод будет использован для решения других актуальных научных и инженерных задач в будущем.
*компания Meta Platforms Inc. признана экстремистской организацией, ее деятельность на территории России запрещена