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