Ce n'est pas une troisième option. C'est ce qu'on fait en restant dans le cadre mathématique de la théorie. Par déduction selon le formalisme mathématique, on peut en étudier les conséquences logiques. Et ensuite en voir certaines comme des prédictions nouvelles qu'on peut traduire ensuite en observations à faire ou à expérience à réaliser. Le processus est déductif d'abord, selon la logique mathématique, avant d'être interprétatif (i.e., traduire la prédiction mathématique en terme de phénomène observable).
(Tout cela n'est pas contradictoire avec les mots spéculation et conjecture ; c'est juste plus précis. Une troisième option serait de procéder autrement que par déduction mathématique et interprétation en termes de prédictions d'observation. Comment ? Et comment justifier épistémologiquement la réponse ?)
-----