Steinborn IT GmbH

Software Evolver · Technologie s podanou patentovou přihláškou

Kompaktní programy, nalezené automaticky.

Licencujte náš Software Evolver s podanou patentovou přihláškou. Cíl definujete testovacími případy a skóre; Software Evolver prohledává miliony kandidátních programů rychlostí až 26.8 miliardy vyhodnocení za sekundu a vrací kompaktní, přesné programy pro SFA Non-Von-Neumann Architecture.

Popište cíl. Získejte program.

Definujte cíl jako testovací případy a skóre. Software Evolver hledá malé spustitelné programy, které jej splňují, a vrací nejlepší nalezené programy.

Až 26.8 miliardy vyhodnocení za sekundu

Měřeno na zdokumentovaném benchmarkovém cíli na jednom procesoru AMD EPYC 9455. Jedno vyhodnocení je jeden běh kandidátního programu na jednom testovacím případu; údaj je součinem generací za sekundu, kandidátů na generaci a testovacích případů na cíl. Software Evolver běží také na GPU NVIDIA.

Reprodukovatelné a ověřené

Každý běh je reprodukovatelný a každý vrácený program je přesně zkontrolován vůči svému cíli.

Programy, ne neprůhledné váhy

Výsledkem jsou kompaktní programy, které lze číst, zjednodušovat, testovat a nasazovat jako jakýkoli jiný kód.

Také přesná matematika

Stejné prohledávání nachází také přesnou matematiku a kompaktní zákony: vzorce v naměřených datech, identity, vytvořující funkce, booleovské funkce a geometrické a kombinatorické konstrukce, všude tam, kde lze kandidáta přesně zkontrolovat. Software Evolver jsme použili ve výzkumu, z něhož vycházejí naše matematické práce publikované v repozitáři Zenodo.

Licencování na vyžádání

Software Evolver má podanou patentovou přihlášku a je k dispozici k licencování na vyžádání jako produkt pro SFA Non-Von-Neumann Architecture. Technické materiály a informace o patentové přihlášce poskytujeme na základě NDA.

Projednat licencování Software Evolver

Údaj o propustnosti je zdokumentovaný výsledek benchmarku pro definovaný cíl na jednom procesoru AMD EPYC 9455; propustnost závisí na velikosti programu a testovacích případech. Technické podrobnosti a informace o patentové přihlášce poskytujeme na základě NDA.