"putting the entire computing power of the TLAs onto the problem seems like it could yield results."

No it doesn't, that's the whole point.