F-INT-05 · Euclide Synthétique

Vers les étoiles

Développer des démonstrateurs mathématiques assistés par IA capables de vérifier formellement les calculs de trajectoire, de structure et les logiciels critiques d'une mission interstellaire.

Sur Terre

Les élèves et enseignants de classes préparatoires et d'université disposent d'un assistant de preuve formelle ouvert, en français, qui couvre l'analyse et l'algèbre du programme et vérifie chaque étape ; les industriels du spatial testent la preuve assistée sur leurs logiciels de bord.