Недавняя статья в журнале Nature представила метод FunSearch, который использует большие языковые модели (LLM) для нахождения новых решений в математике и информатике. FunSearch делает это, сочетая LLM, способные генерировать коды, с автоматическим «оценщиком», который фильтрует ошибочные идеи. Этот подход позволил сделать первые открытия в сложных математических задачах, таких как проблема кап-сета и задача упаковки предметов.
Уникальность FunSearch заключается в его способности не только находить решения, но и демонстрировать процесс их создания, что может вдохновить исследователей на новые идеи. Система работает по итерационному принципу: на каждой стадии лучший код адаптируется и развивается, позволяя находить всё более эффективные решения.
Метод уже доказал свою эффективность, превзойдя традиционные алгоритмы в решении трудных комбинированных задач. Это открытие подчеркивает потенциал LLM в не только автоматизации задач, но и в генерации нового, ценного научного знания. Мы ожидаем, что FunSearch сведет к минимуму риск ошибок и откроет новые горизонты для решения сложных проблем всемирной науки.
*компания Meta Platforms Inc. признана экстремистской организацией, ее деятельность на территории России запрещена