However, it is necessarily a tiny model because of the limited training data.
All machine learning is extremely data-intensive compared to organic brains, it's nowhere near good enough to generate novel (relative to the training cut-off) maths or scientific hypotheses.
Sounds like your setup would take ten years.
How about building a “tech tree” of known significant progressions and work it from there!