An intensive residential summer programme in discovery-based advanced mathematics for high school students, in which participants build mathematical results themselves through guided inquiry rather than lecture. The curriculum covers topics well beyond the school syllabus, and the programme also runs MathILy-EST research experiences and the shorter MathILy-Cubed offering.