What AI's Mathematical Breakthroughs Mean for Specialised Models