Software Evolver · Tehnologija u postupku patentiranja
Kompaktni programi, pronađeni automatski.
Licencirajte naš Software Evolver, koji je u postupku patentiranja. Cilj definirate testnim slučajevima i ocjenom; Software Evolver pretražuje milijune kandidatskih programa brzinom do 26.8 milijardi evaluacija u sekundi i vraća kompaktne, točne programe za SFA Non-Von-Neumann Architecture.
Opišite cilj. Primite program.
Definirajte cilj kao testne slučajeve i ocjenu. Software Evolver traži male izvršne programe koji ga ispunjavaju i vraća najbolje pronađene programe.
Do 26.8 milijardi evaluacija u sekundi
Izmjereno na dokumentiranom cilju referentnog testa na jednom procesoru AMD EPYC 9455. Jedna evaluacija jedno je izvođenje kandidatskog programa na jednom testnom slučaju; podatak je umnožak generacija u sekundi, kandidata po generaciji i testnih slučajeva po cilju. Software Evolver radi i na NVIDIA GPU-ovima.
Ponovljivi i provjereni
Svako pokretanje je ponovljivo, a svaki vraćeni program točno se provjerava u odnosu na svoj cilj.
Programi, a ne neprozirne težine
Rezultati su kompaktni programi koji se mogu čitati, pojednostavljivati, testirati i puštati u rad kao i svaki drugi kod.
I egzaktna matematika
Isto pretraživanje također pronalazi egzaktnu matematiku i kompaktne zakone: formule u izmjerenim podacima, identitete, funkcije izvodnice, Booleove funkcije te geometrijske i kombinatorne konstrukcije, svugdje gdje se kandidat može točno provjeriti. Software Evolver koristili smo u istraživanju na kojem se temelje naši matematički radovi objavljeni u repozitoriju Zenodo.
Licenciranje na zahtjev
Software Evolver u postupku je patentiranja i dostupan je za licenciranje na zahtjev, kao proizvod za SFA Non-Von-Neumann Architecture. Tehnički materijali i podaci o patentnoj prijavi dostupni su uz NDA.
Razgovarajte o licenciranju za Software Evolver
Podatak o propusnosti dokumentirani je rezultat referentnog testa za definirani cilj na jednom procesoru AMD EPYC 9455; propusnost ovisi o veličini programa i testnim slučajevima. Tehničke pojedinosti i podaci o patentnoj prijavi dostupni su uz NDA.