What metric or heuristic do you use in order to determine how much progress you (as an organization) are making toward this goal?

There is no such metric for mathematical and philosophical breakthroughs. We're just doing it as quickly as we can given our level of funding.