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.