Steinborn IT GmbH

Software Evolver · Szabadalmi bejelentés alatt álló technológia

Tömör programok, automatikusan megtalálva.

Licencelje szabadalmi bejelentés alatt álló Software Evolver szoftverünket. Ön a célt tesztesetekkel és egy pontszámmal határozza meg; a Software Evolver jelöltprogramok millióit vizsgálja át másodpercenként akár 26.8 milliárd kiértékeléssel, és tömör, pontos programokat ad vissza az SFA Non-Von-Neumann Architecture számára.

Írja le a célt. Kapja meg a programot.

Határozza meg a célt tesztesetek és egy pontszám formájában. A Software Evolver olyan kis futtatható programokat keres, amelyek teljesítik, és a legjobb megtalált programokat adja vissza.

Másodpercenként akár 26.8 milliárd kiértékelés

Mérve egy dokumentált referenciamérési célon, egyetlen AMD EPYC 9455 processzoron. Egy kiértékelés egy jelöltprogram futtatása egy teszteseten; az érték a másodpercenkénti generációk, a generációnkénti jelöltek és a célonkénti tesztesetek számának szorzata. A Software Evolver NVIDIA GPU-kon is fut.

Reprodukálható és ellenőrzött

Minden futtatás reprodukálható, és minden visszaadott program pontos ellenőrzésen esik át a céljával szemben.

Programok, nem átláthatatlan súlyok

Az eredmények tömör programok, amelyek bármely más kódhoz hasonlóan olvashatók, egyszerűsíthetők, tesztelhetők és üzembe helyezhetők.

Egzakt matematika is

Ugyanez a keresés egzakt matematikát és tömör törvényeket is talál: képleteket mérési adatokban, azonosságokat, generátorfüggvényeket, Boole-függvényeket, valamint geometriai és kombinatorikai konstrukciókat mindenhol, ahol egy jelölt egzakt módon ellenőrizhető. A Zenodo-platformon közzétett matematikai tanulmányainkat megalapozó kutatáshoz a Software Evolver szoftvert használtuk.

Licencelés igény szerint

A Software Evolver szabadalmi bejelentés alatt áll, és igény szerint licencelhető termékként az SFA Non-Von-Neumann Architecture számára. A műszaki anyagokat és a bejelentési adatokat NDA keretében bocsátjuk rendelkezésre.

Software Evolver licencelés egyeztetése

Az áteresztőképességi érték egy meghatározott célra vonatkozó dokumentált referenciamérési eredmény egyetlen AMD EPYC 9455 processzoron; az áteresztőképesség a programmérettől és a tesztesetektől függ. A műszaki részleteket és a bejelentési adatokat NDA keretében bocsátjuk rendelkezésre.