Software Evolver · Patentanmeldt teknologi
Kompakte programmer, fundet automatisk.
Licensér vores patentanmeldte Software Evolver. Du definerer målet med testtilfælde og en score; Software Evolver gennemsøger millioner af kandidatprogrammer med op til 26.8 milliarder evalueringer pr. sekund og returnerer kompakte, eksakte programmer til SFA Non-Von-Neumann Architecture.
Beskriv målet. Modtag programmet.
Definér målet som testtilfælde og en score. Software Evolver søger efter små eksekverbare programmer, der opfylder det, og returnerer de bedste fundne programmer.
Op til 26.8 milliarder evalueringer pr. sekund
Målt på et dokumenteret benchmarkmål på én AMD EPYC 9455-processor. Én evaluering er ét kandidatprogram kørt på ét testtilfælde; tallet er produktet af generationer pr. sekund, kandidater pr. generation og testtilfælde pr. mål. Software Evolver kører også på NVIDIA-GPU'er.
Reproducerbart og verificeret
Hver kørsel er reproducerbar, og hvert returneret program kontrolleres eksakt mod sit mål.
Programmer, ikke uigennemsigtige vægte
Resultaterne er kompakte programmer, der kan læses, forenkles, testes og udrulles som enhver anden kode.
Også eksakt matematik
Den samme søgning finder også eksakt matematik og kompakte love: formler i måledata, identiteter, frembringende funktioner, booleske funktioner samt geometriske og kombinatoriske konstruktioner, overalt hvor en kandidat kan kontrolleres eksakt. Vi har brugt Software Evolver i forskningen bag vores matematiske artikler, der er publiceret på Zenodo.
Licensering på forespørgsel
Software Evolver er patentanmeldt og kan licenseres på forespørgsel som et produkt til SFA Non-Von-Neumann Architecture. Teknisk materiale og ansøgningsoplysninger stilles til rådighed under NDA.
Drøft licensering af Software Evolver
Gennemløbstallet er et dokumenteret benchmarkresultat for et defineret mål på én AMD EPYC 9455-processor; gennemløbet afhænger af programstørrelse og testtilfælde. Tekniske detaljer og ansøgningsoplysninger stilles til rådighed under NDA.