> The TMV (Total Market Value) of solving AGI is infinity

Lazy. Since you can't decide what the actual value is, just make something up.