Software Evolver · Technologie en instance de brevet
Programmes compacts, trouvés automatiquement.
Obtenez une licence pour notre Software Evolver en instance de brevet. Vous définissez la cible à l’aide de cas de test et d’un score ; le Software Evolver explore des millions de programmes candidats à un rythme allant jusqu’à 26.8 milliards d’évaluations par seconde et renvoie des programmes compacts et exacts pour la SFA Non-Von-Neumann Architecture.
Décrivez l’objectif. Recevez le programme.
Définissez la cible sous forme de cas de test et d’un score. Le Software Evolver recherche de petits programmes exécutables qui la satisfont et renvoie les meilleurs programmes trouvés.
Jusqu’à 26.8 milliards d’évaluations par seconde
Mesuré pour une cible de benchmark documentée sur un processeur AMD EPYC 9455. Une évaluation correspond à un programme candidat exécuté sur un cas de test ; le chiffre multiplie les générations par seconde, les candidats par génération et les cas de test par cible. Le Software Evolver fonctionne aussi sur les GPU NVIDIA.
Reproductibles et vérifiés
Chaque exécution est reproductible, et chaque programme renvoyé est vérifié exactement par rapport à sa cible.
Des programmes, pas des poids opaques
Les résultats sont des programmes compacts que l’on peut lire, simplifier, tester et déployer comme n’importe quel autre code.
Également des mathématiques exactes
La même recherche trouve aussi des mathématiques exactes et des lois compactes : des formules dans des données mesurées, des identités, des fonctions génératrices, des fonctions booléennes ainsi que des constructions géométriques et combinatoires, partout où un candidat peut être vérifié exactement. Nous avons utilisé le Software Evolver dans les travaux de recherche à l’origine de nos articles de mathématiques publiés sur Zenodo.
Licence sur demande
Le Software Evolver est en instance de brevet et disponible sous licence sur demande, en tant que produit pour la SFA Non-Von-Neumann Architecture. La documentation technique et les informations de dépôt sont fournies sous NDA.
Discuter de la licence Software Evolver
Le chiffre de débit est un résultat de benchmark documenté pour une cible définie sur un processeur AMD EPYC 9455 ; le débit dépend de la taille des programmes et des cas de test. Les détails techniques et les informations de dépôt sont fournis sous NDA.