Алгоритм FunSearch: LLM находит новые математические решения
Впервые большая языковая модель (LLM) была использована для открытия новых проверяемых знаний в математике, улучшив границы для проблемы Cap Set.
Метод FunSearch от Google DeepMind использует эволюционный алгоритм в паре с LLM для написания компьютерного кода, который решает комбинаторные задачи. В отличие от обычной генерации текста, FunSearch создает программы, которые гарантированно работают, и с их помощью удалось найти конструкции в наборах (cap sets), превосходящие лучшие человеческие результаты.