LODA: что кранчат добровольцы в этом проекте и зачем это нужно
LODA: что кранчат добровольцы в этом проекте и зачем это нужно
LODA — это одновременно:
– минималистичный язык наподобие ассемблера для целочисленных последовательностей,
– инструментарий для их исполнения и оптимизации,
– и BOINC-проект для распределённого поиска (майнинга) коротких программ, воспроизводящих последовательности из OEIS (
Цель проекта — найти новые формулы и более эффективные алгоритмы для широкого спектра нетривиальных целочисленных последовательностей.
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 через менеджер или напрямую:
Проект активно развивается: документация языка ( и инструменты регулярно обновляются.
