Software Evolver · Tecnologia com patente pendente
Programas compactos, encontrados automaticamente.
Licencie o nosso Software Evolver, com patente pendente. O alvo é definido por si com casos de teste e uma pontuação; o Software Evolver explora milhões de programas candidatos a um ritmo de até 26.8 mil milhões de avaliações por segundo e devolve programas compactos e exatos para a SFA Non-Von-Neumann Architecture.
Descreva o objetivo. Receba o programa.
Defina o alvo como casos de teste e uma pontuação. O Software Evolver procura pequenos programas executáveis que o cumpram e devolve os melhores programas encontrados.
Até 26.8 mil milhões de avaliações por segundo
Medido com um alvo de benchmark documentado num processador AMD EPYC 9455. Uma avaliação corresponde a um programa candidato executado num caso de teste; o valor multiplica as gerações por segundo, os candidatos por geração e os casos de teste por alvo. O Software Evolver também funciona em GPU da NVIDIA.
Reproduzíveis e verificados
Cada execução é reproduzível e cada programa devolvido é verificado exatamente face ao seu alvo.
Programas, não pesos opacos
Os resultados são programas compactos que podem ser lidos, simplificados, testados e implementados como qualquer outro código.
Também matemática exata
A mesma pesquisa encontra também matemática exata e leis compactas: fórmulas em dados medidos, identidades, funções geradoras, funções booleanas e construções geométricas e combinatórias, sempre que um candidato possa ser verificado com exatidão. Utilizámos o Software Evolver na investigação que está na base dos nossos artigos de matemática publicados no Zenodo.
Licenciamento a pedido
O Software Evolver tem patente pendente e está disponível para licenciamento a pedido, como produto para a SFA Non-Von-Neumann Architecture. O material técnico e as informações do pedido de patente são fornecidos mediante NDA.
Discutir o licenciamento do Software Evolver
O valor de débito é um resultado de benchmark documentado para um alvo definido num processador AMD EPYC 9455; o débito depende do tamanho do programa e dos casos de teste. Os detalhes técnicos e as informações do pedido de patente são fornecidos mediante NDA.