Les démonstrateurs automatiques de théorèmes sont utilisés de manière commerciale principalement dans le design et la vérification de circuits intégrés.
Le but du projet est de produire un démonstrateur technologique afin d'étudier les défis à relever pour faire voler un aéronef de conception aussi radicale.
Ce sera le premier démonstrateur industriel, c’est-à-dire fonctionnant en continu pour produire de l’énergie, et qui sera cette fois connecté au réseau électrique.