AI-Guided Conjectures on the Tech Tree