77.
assuming 100,000 human hours spent thinking about this problem (napkin)
assuming 100,000 human hours spent thinking about this problem (napkin) worldwide weighted average of $20/hr for maths research, that $2,000,000 the cost of frontier maths research just fell at least 2,000-fold.