Comment by tylerhou

> You just need autonomous verification, which already exists at scale and speed vastly beyond the entire human mathematical establishment.

An absolutely ridiculous statement. There is a vast amount of mathematical knowledge that hasn’t even been written down, much less formalized.