Autonomous AI Mathematician on the Tech Tree