Appreciate you commenting mate. Well with advance in technology yea there will be new problems to deal with and solve . But with regard to the scenario now, Certik could have helped warn the Bancor & DAO hack...
In addition to that if they had nothing to offer, its unlikely they would have got huge partners in the crypto space more importantly start working with NEO on securing their smart contract even before the ICO and thats a big deal thb..
It will hardly prevent insider to steal (that's what's most "hacks" are about).
But I agree, Certik might have positive impact on smart contracts on being safe and undisputable.
Some of MIT and Yale professors (even if useless in real life) are good at analytics and they have access to powerful hardware to verify their assumptions with bruteforce testing.
We'll see.