Software Evolver · Технология на стадии патентования
Компактные программы, найденные автоматически.
Лицензируйте наш Software Evolver, находящийся на стадии патентования. Вы задаёте цель тестовыми примерами и метрикой; Software Evolver ищет среди миллионов программ-кандидатов со скоростью до 26.8 миллиарда оценок в секунду и возвращает компактные, точные программы для SFA Non-Von-Neumann Architecture.
Опишите цель. Получите программу.
Задайте цель в виде тестовых примеров и метрики. Software Evolver ищет небольшие исполняемые программы, которые ей удовлетворяют, и возвращает лучшие найденные программы.
До 26.8 миллиарда оценок в секунду
Измерено на задокументированной цели бенчмарка на одном процессоре AMD EPYC 9455. Одна оценка — это один прогон программы-кандидата на одном тестовом примере; показатель равен произведению поколений в секунду, кандидатов на поколение и тестовых примеров на цель. Software Evolver также работает на GPU NVIDIA.
Воспроизводимые и проверенные
Каждый запуск воспроизводим, а каждая возвращённая программа точно сверяется со своей целью.
Программы, а не непрозрачные веса
Результаты — это компактные программы, которые можно читать, упрощать, тестировать и развёртывать, как любой другой код.
А также точная математика
Тот же поиск находит и точную математику, и компактные законы: формулы в измеренных данных, тождества, производящие функции, булевы функции, а также геометрические и комбинаторные конструкции, везде, где кандидата можно точно проверить. Мы использовали Software Evolver в исследованиях, на которых основаны наши математические статьи, опубликованные на Zenodo.
Лицензирование по запросу
Software Evolver находится на стадии патентования и доступен для лицензирования по запросу как продукт для SFA Non-Von-Neumann Architecture. Технические материалы и сведения о патентной заявке предоставляются на условиях NDA.
Обсудить лицензирование Software Evolver
Показатель пропускной способности — задокументированный результат бенчмарка для определённой цели на одном процессоре AMD EPYC 9455; пропускная способность зависит от размера программы и тестовых примеров. Технические подробности и сведения о патентной заявке предоставляются на условиях NDA.