What are you even talking about? You can see it do the magic yourself for like $20. The lean proof of the exponential time hypotheses disproof for exampe is straight up on github right now for you to look at.
What magical thing are you waiting for? It is literally currently revolutionaizing all engineering work.