Hmm kind of funny, some years ago someone claimed LLMs can do math, and I replied if it could prove fermants theorem:

https://news.ycombinator.com/item?id=33176996#33177939

> Now try to make a computer prove that there are no natural numbers a,b,c; so that a^n + b^n = c^n for any n > 2.

> > Shifting the goal posts a bit, aren't we?

I guess the goalposts did change a bit, and in a pretty short time.