Software Evolver · Technologia zgłoszona do ochrony patentowej
Kompaktowe programy, znalezione automatycznie.
Uzyskaj licencję na nasz zgłoszony do ochrony patentowej Software Evolver. Cel definiujesz za pomocą przypadków testowych i oceny; Software Evolver przeszukuje miliony programów kandydujących w tempie do 26.8 miliarda ewaluacji na sekundę i zwraca kompaktowe, dokładne programy dla SFA Non-Von-Neumann Architecture.
Opisz cel. Otrzymaj program.
Zdefiniuj cel jako przypadki testowe i ocenę. Software Evolver szuka małych programów wykonywalnych, które go spełniają, i zwraca najlepsze znalezione programy.
Do 26.8 miliarda ewaluacji na sekundę
Zmierzono dla udokumentowanego celu benchmarkowego na jednym procesorze AMD EPYC 9455. Jedna ewaluacja to jedno uruchomienie programu kandydującego na jednym przypadku testowym; wartość jest iloczynem pokoleń na sekundę, kandydatów na pokolenie i przypadków testowych na cel. Software Evolver działa również na GPU NVIDIA.
Powtarzalne i zweryfikowane
Każde uruchomienie jest powtarzalne, a każdy zwrócony program jest dokładnie sprawdzany względem swojego celu.
Programy, a nie nieprzejrzyste wagi
Wyniki to kompaktowe programy, które można czytać, upraszczać, testować i wdrażać jak każdy inny kod.
Także ścisła matematyka
To samo przeszukiwanie znajduje także ścisłą matematykę i kompaktowe prawa: wzory w danych pomiarowych, tożsamości, funkcje tworzące, funkcje boolowskie oraz konstrukcje geometryczne i kombinatoryczne, wszędzie tam, gdzie kandydata można dokładnie sprawdzić. Software Evolver wykorzystaliśmy w badaniach, na których opierają się nasze prace matematyczne opublikowane na Zenodo.
Licencjonowanie na zapytanie
Software Evolver jest zgłoszony do ochrony patentowej i dostępny do licencjonowania na zapytanie jako produkt dla SFA Non-Von-Neumann Architecture. Materiały techniczne i informacje o zgłoszeniu patentowym udostępniamy w ramach NDA.
Omów licencjonowanie Software Evolver
Podana wartość przepustowości to udokumentowany wynik benchmarku dla określonego celu na jednym procesorze AMD EPYC 9455; przepustowość zależy od rozmiaru programu i przypadków testowych. Szczegóły techniczne i informacje o zgłoszeniu patentowym udostępniamy w ramach NDA.