Software Evolver · Tecnologia in attesa di brevetto
Programmi compatti, trovati automaticamente.
Ottieni una licenza per il nostro Software Evolver, in attesa di brevetto. Tu definisci l’obiettivo con casi di test e un punteggio; il Software Evolver esplora milioni di programmi candidati a una velocità fino a 26.8 miliardi di valutazioni al secondo e restituisce programmi compatti ed esatti per la SFA Non-Von-Neumann Architecture.
Descrivi l’obiettivo. Ricevi il programma.
Definisci l’obiettivo come casi di test e un punteggio. Il Software Evolver cerca piccoli programmi eseguibili che lo soddisfino e restituisce i migliori programmi trovati.
Fino a 26.8 miliardi di valutazioni al secondo
Misurato per un obiettivo di benchmark documentato su un processore AMD EPYC 9455. Una valutazione è un programma candidato eseguito su un caso di test; il valore moltiplica le generazioni al secondo, i candidati per generazione e i casi di test per obiettivo. Il Software Evolver funziona anche su GPU NVIDIA.
Riproducibili e verificati
Ogni esecuzione è riproducibile e ogni programma restituito viene verificato esattamente rispetto al suo obiettivo.
Programmi, non pesi opachi
I risultati sono programmi compatti che si possono leggere, semplificare, testare e distribuire come qualsiasi altro codice.
Anche matematica esatta
La stessa ricerca trova anche matematica esatta e leggi compatte: formule in dati misurati, identità, funzioni generatrici, funzioni booleane e costruzioni geometriche e combinatorie, ovunque un candidato possa essere verificato in modo esatto. Abbiamo utilizzato il Software Evolver nel lavoro di ricerca alla base dei nostri articoli di matematica pubblicati su Zenodo.
Licenza su richiesta
Il Software Evolver è in attesa di brevetto e disponibile in licenza su richiesta, come prodotto per la SFA Non-Von-Neumann Architecture. Il materiale tecnico e le informazioni sul deposito sono forniti sotto NDA.
Parla della licenza di Software Evolver
Il valore di throughput è un risultato di benchmark documentato per un obiettivo definito su un processore AMD EPYC 9455; il throughput dipende dalla dimensione del programma e dai casi di test. I dettagli tecnici e le informazioni sul deposito sono forniti sotto NDA.