AI can solve math. But can it verify the answer?

Nice platform, but how is it differ from LLMS, i tried only simple equation but does it really can do smth incredible ?