LODA
Мы рады сообщить, что проект LODA BOINC достиг важной вехи: обнаружено более 140 000 программ! Это знаменует собой значительный прогресс в нашей миссии по автоматической генерации программ для целочисленных последовательностей из OEIS. Благодаря вашей поддержке мы теперь охватываем целые классы последовательностей, которые ранее вообще не были покрыты программами.
Мы запустили общедоступный API, который обеспечивает программный доступ к базе данных LODA, позволяя разработчикам и исследователям выполнять запросы, анализировать и работать с программами LODA в больших масштабах. Наша новая интеграция с сервером Model Context Protocol (MCP) теперь позволяет чат-ботам ИИ напрямую взаимодействовать с LODA. Пользователи могут анализировать целочисленные последовательности, запускать программы LODA и даже отправлять новые программы, используя диалоговые интерфейсы ИИ.
Страница «Лучшие пользователи» была улучшена, чтобы лучше отражать ваш вклад. Теперь в ней есть дополнительный столбец, показывающий количество программ, найденных каждым пользователем.
Благодарим вас за вашу постоянную поддержку, а также за ваш вклад в проект, ваши вычислительные мощности и экспертные знания!
https://boinc.loda-lang.org/loda/forum_thread.php?id=134#969
Твой хост не моделирует звёзды — он доказывает теоремы
LODA — BOINC-проект, где хосты волонтёров ищут математические формулы. Алгоритм майнинга перебирает варианты — твой компьютер проверяет и сохраняет найденные программы. Не симуляция, не перебор молекул — буквально открытие нового математического знания.
Как это работает: хост получает задание найти короткую программу, которая воспроизводит числовую последовательность из базы OEIS — каталога всех известных числовых последовательностей — для любого n.
К февралю 2026 LODA нашёл формулы для 150 000+ последовательностей — это 38% от базы OEIS (390 000+ записей). Ещё 62% ждут.
На практике: найденные программы автоматически экспортируются в LEAN — систему формальной верификации. Компьютер нашёл формулу, LEAN доказывает, что она верна для любого натурального числа.
Загруженные файлы:
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 сентября) места больше нет.
Такие проекты угасают тихо, без объяснений, а тут причину назвали открыто, это хорошо.
Архив: https://github.com/loda-lang/loda-programs
Загруженные файлы:
