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=3317

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 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.