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