The reason AI is doing so well in math proof writing is that it can verify every idea it has, quickly.
The reason AI is doing so well in math proof writing is that it can verify every idea it has, quickly.