Steinborn IT GmbH

Software Evolver · Technológia v patentovom konaní

Kompaktné programy, nájdené automaticky.

Licencujte si náš Software Evolver, ktorý je v patentovom konaní. Cieľ definujete testovacími prípadmi a skóre; Software Evolver prehľadáva milióny kandidátskych programov rýchlosťou až 26.8 miliardy vyhodnotení za sekundu a vracia kompaktné, presné programy pre SFA Non-Von-Neumann Architecture.

Opíšte cieľ. Získajte program.

Definujte cieľ ako testovacie prípady a skóre. Software Evolver hľadá malé spustiteľné programy, ktoré ho spĺňajú, a vracia najlepšie nájdené programy.

Až 26.8 miliardy vyhodnotení za sekundu

Merané na zdokumentovanom benchmarkovom cieli na jednom procesore AMD EPYC 9455. Jedno vyhodnotenie je jeden beh kandidátskeho programu na jednom testovacom prípade; údaj je súčinom generácií za sekundu, kandidátov na generáciu a testovacích prípadov na cieľ. Software Evolver beží aj na GPU NVIDIA.

Reprodukovateľné a overené

Každý beh je reprodukovateľný a každý vrátený program sa presne kontroluje voči svojmu cieľu.

Programy, nie nepriehľadné váhy

Výsledkom sú kompaktné programy, ktoré možno čítať, zjednodušovať, testovať a nasadzovať ako akýkoľvek iný kód.

Aj presná matematika

Rovnaké prehľadávanie nachádza aj presnú matematiku a kompaktné zákony: vzorce v nameraných údajoch, identity, vytvárajúce funkcie, booleovské funkcie a geometrické a kombinatorické konštrukcie, všade tam, kde možno kandidáta presne skontrolovať. Software Evolver sme použili vo výskume, z ktorého vychádzajú naše matematické práce publikované v repozitári Zenodo.

Licencovanie na požiadanie

Software Evolver je v patentovom konaní a na požiadanie je dostupný na licencovanie ako produkt pre SFA Non-Von-Neumann Architecture. Technické materiály a informácie o patentovej prihláške poskytujeme na základe NDA.

Prediskutovať licencovanie Software Evolver

Údaj o priepustnosti je zdokumentovaný výsledok benchmarku pre definovaný cieľ na jednom procesore AMD EPYC 9455; priepustnosť závisí od veľkosti programu a testovacích prípadov. Technické podrobnosti a informácie o patentovej prihláške poskytujeme na základe NDA.