L’intelligence artificielle a été largement utilisée dans cette étude comme outil d’assistance au développement, à la formalisation et à la vérification des objets mathématiques. Son usage a porté principalement sur l’accélération de la construction : mise en équation, exploration de formulations possibles, tests de cohérence et réorganisation des expressions.
Le raisonnement d’ensemble, le choix des objets retenus, la hiérarchie entre les variables et les arbitrages méthodologiques ont été fixés dans le cadre propre de l’étude. L’IA a été utilisée comme instrument de développement rapide, non comme principe autonome de conception.
Les expressions n’ont pas été vérifiées comme des valeurs plausibles prises séparément. Elles ont été retenues comme valeurs compatibles avec l’architecture complète du système.
Modèle utilisé : GPT 5.2