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 доказывает, что она верна для любого натурального числа.
Загруженные файлы:
