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 o

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