The Kevin Buzzard post linked at the top says they budgeted £1M over 5 years for a smaller proof.