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