A word for an informed guess in mathematics, proved later to be the correct guess
Solution 1:
The word you are looking for is ansatz, which is German (although used by English-speaking physicists and mathematicians).
Wikipedia: In physics and mathematics, an ansatz is an educated guess that is verified later by its results.)