Autonomous AI Mathematician on the Basilisk Tree