Чем заменили. Инструмент не назвали; ближайший опубликованный аналог — FunSearch от DeepMind (2023). Цикл тот же: породить кандидатов, проверить, лучших вернуть в следующее поколение. Заменён один шаг: кандидатов пишет языковая модель, в промпт которой кладут лучшие программы прошлого раунда. Она обучена на огромном корпусе кода, поэтому кандидаты чаще близки к ответу. Проверка и отбор остались прежними.

Породить кандидата дёшево, проверить дорого: на этом и держался перебор на тысячах волонтёрских CPU. У модели дороже только первый шаг: раз кандидат сразу ближе к ответу, прогонов на проверку, соответственно, нужно меньше. Работа уходит на ускорители под моделью — в этой схеме 780 активным хостам LODA (на 11 сентября) места больше нет.

Такие проекты угасают тихо, без объяснений, а тут причину назвали открыто, это хорошо.

Архив: https://github.com/loda-lang/loda-programs

Автор: Алексей

#boinc #LODA

3 октября 2025 LODA объявил о важной вехе — найдено свыше 140 000 программ (

Параллельно сообщено о запуске публичного API (

и интеграции через Model Context Protocol (MCP) ( Теперь к базе можно обращаться и из чат-агентов

Как работает LODA по шагам:

1. Перебор коротких программ. Программа LODA на компьютерых добровольцев автоматически и систематически порождает компактные программы на языке LODA (описание языка:

2. Сравнение с OEIS. Результаты проверяются с каталогом OEIS ( Совпадения сохраняются в репозиторий — расширяя покрытие последовательностей.

3. Отбор и оптимизация. Инструмент loda-cpp ( умеет майнить, проверять и экспортировать найденные решения, включая генерацию формул и кода для PARI/GP (

4. Композиция решений. Программы могут вызывать другие последовательности (seq), комбинируя найденные блоки (пример:

5. Открытая база. Репозиторий всех найденных программ доступен здесь:

Кому это полезно?

Математикам и редакторам OEIS.

LODA предоставляет исполняемые описания последовательностей, упрощающие проверку, генерацию длинных b-файлов и поиск новых формул. Авторы проекта подчёркивают: найденная программа — это гипотеза, требующая проверки человеком, потому что совпадение с OEIS не является доказательством корректности «для всех n».

Исследователям ИИ и синтеза программ.

LODA — площадка для авто-синтеза и тестирования алгоритмов. Благодаря MCP-интеграции теперь можно использовать базу прямо из ИИ-агентов.

Добровольцам BOINC.

Участники могут подключить CPU-ресурсы через BOINC ( Приложение LODA поддерживает Windows, macOS и Linux (включая ARM).

Преподавателям и популяризаторам.

Проект делает наглядной связь между комбинаторикой и программированием: от таблицы OEIS → кода → формулы.

Почему важна отметка 140 000+ программ

– Существенно увеличено покрытие OEIS программами, где раньше решений не было.

– Ускорена проверка гипотез и генерация новых термов.

– Через API и MCP база становится машинно-ориентированной: можно интегрировать её в собственные инструменты анализа.

Как присоединиться

1. Установить BOINC (

2. Добавить проект LODA через менеджер или напрямую:

Проект активно развивается: документация языка ( и инструменты регулярно обновляются.