Me too. This value is several orders of magnitude above my own estimate.

That said, it depends on your definition of "finished". For example, it is much more plausible (relatively speaking) that FinalState will fail to produce an AGI, but will nevertheless produce an algorithm that performs some specific task -- such as character recognition, unit pathing, natural language processing, etc. -- better than the leading solutions. In this case, I suppose one could still make the argument that FinalState's project was finished somewhat successfully.