LODA закрывается: администратор считает AI эффективнее перебора
10 сентября ckrause, автор LODA, объявил о закрытии BOINC-проекта. Причина: раньше распределённые вычисления искали программы эффективно, теперь «AI-подходы становятся намного эффективнее для такого поиска». Программы остаются на GitHub, даты отключения серверов нет.
Что считали волонтёры. OEIS — энциклопедия целочисленных последовательностей, 390 000+ штук, от простых чисел до способов разменять монету. LODA — крошечный ассемблер; задача: для каждой последовательности найти короткую программу, которая её вычисляет. Метод эволюционный: случайно поменять в кандидате команду или число, сверить с известными членами, удачные мутировать дальше. Эти порции перебора и были WU на домашние CPU. Итог к февралю 2026: 150 000+ программ, около 38% энциклопедии.
Чем заменили. Инструмент не назвали; ближайший опубликованный аналог — FunSearch от DeepMind (2023). Цикл тот же: породить кандидатов, проверить, лучших вернуть в следующее поколение. Заменён один шаг: кандидатов пишет языковая модель, в промпт которой кладут лучшие программы прошлого раунда. Она обучена на огромном корпусе кода, поэтому кандидаты чаще близки к ответу. Проверка и отбор остались прежними.
Породить кандидата дёшево, проверить дорого: на этом и держался перебор на тысячах волонтёрских CPU. У модели дороже только первый шаг: раз кандидат сразу ближе к ответу, прогонов на проверку, соответсвтенно, нужно меньше. Работа уходит на ускорители под моделью — в этой схеме 780 активным хостам LODA (на 11 сентября) места больше нет.
Такие проекты угасают тихо, без объяснений, а тут причину назвали открыто, это хорошо.
Объявление: boinc.loda-lang.org/loda/forum_thread.php?id=156
Архив: github.com/loda-lang/loda-programs
🤖 Автор: Алексей
#boinc #LODA