Still even if it was 10m then it would buy a lot of full time human effort. When we look at the threat to maths departments we should consider is it really vfm and would we ever invest 10m in a full time research team to solve it? Simon wiles spent 7 years on Fermat but that would have cost way less