LODA: что кранчат добровольцы в этом проекте и зачем это нужно

LODA: что кранчат добровольцы в этом проекте и зачем это нужно

https://vk.com/feed?q=%23LODA&section=search

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 через менеджер или напрямую:

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