FunSearch построила более эффективный алгоритм, чем удавалось математикам, для поиска специальной последовательности, известной как оценка «шапочного множества».TechInsider
Бернардино Ромера-Паредес, исследователь компании, работавший и над AlphaTensor, и над FunSearch говорит: «AlphaTensor отлично справляется с умножением матриц, но, по сути, ничего больше не умеет».TechInsider
Как ИИ ищет новые знания FunSearch сочетает в себе LLM Codey, версию Google PaLM 2, которая настроена на создание компьютерного кода, с другими системами, которые умеют отклонять неправильные или бессмысленные ответы и выбирают эффективные.TechInsider
Одним из главных критериев отбора наилучших вариантов является оценка колмогоровской сложности алгоритма: грубо говоря, если есть две программы, получающие близкие результаты, лучшей будет та, что короче.TechInsider