They nailed agentic part and costs of indexing/searching/chunking large repositories. This thing searches 2000+ files in like few seconds and as I understand it's really hard to hit the limits of Pro version.

And I'm so impressed how attentive it is to the process - like searching for examples of code usage in other files, or double checking itself. Once I told it that code doesn't produce the right result, and it checked everything and then concluded that it's most likely my judgement mistake and asked to open DevTools and copy request payload, so it can verify my claim :) (and it was right – was my mistake).

Cursor is a toy compared to this.

When I was reviewing my comment. I also found my comment missing something in it.

But honestly I really didn't know that "blows me" was something different.

My prof's teaching is not that good, he skips several things (not basic) while teaching & when I refer textbook, I don't get it.

Theorem consists of several statements, conditions, and understanding of those things where & why they are required, what happens without those conditions?

To understand theorems, I never asked it for providing examples. But I asked it to prove some difficult exercises from textbook and it was able to do it. In my experience, all this improves my learning.

Also sometimes for problem solving, I want to know, what are different techniques to solve that problem. And it does very good job.

I've never asked it to do basic additions or calculation, because I have heard from others, it does calculation wrong.

Some times it couldn't answer average question. But for my use case, I find it extremely beneficial.