LLMs are increasingly solving math problems on their own, producing entire correct proofs

I like Cal but his takes consistently miss the slope of improvement of the technology