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