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