Nomos — поиск математических решений с многоэтапной оценкой

Nomos — инструмент для решения математических задач и написания доказательств на естественном языке. Он представляет собой фреймворк для автоматизации процесса поиска решений и их проверки.

Возможности и состав проекта

Проект использует многоэтапный рабочий процесс, который включает фазу решения и фазу финализации. В фазе решения Nomos генерирует и оценивает решения проблем, стремясь достичь заданного количества идеальных оценок. Фаза финализации включает консолидацию и попарное сравнение решений для выбора окончательного варианта.

Начало работы и требования

Для работы Nomos требуется установка зависимостей из файла requirements.txt. Запуск осуществляется через скрипт solve_agent.py с указанием директории с проблемными файлами в формате .md. Проект использует модель nomos-1 по умолчанию для решения и оценки, а также совместим с OpenAI-подобными API-интерфейсами.

Ограничения и выбор сценария

Решения и оценки Nomos сформулированы на естественном языке. Высокая оценка модели и согласие нескольких проходов не равнозначны формально проверенному доказательству. Нужно проверить математические шаги независимо и учитывать стоимость повторных вызовов API; параметры количества попыток, судьи и финализации определяют объём работы, а не гарантированную точность.

Лицензия и условия использования

GitHub определяет лицензию репозитория как MIT. Перед использованием и распространением проверьте полный текст LICENSE и отдельные условия зависимостей, данных или моделей: лицензия репозитория не заменяет их лицензии.