alt Hacker NewsThe surprising thing is that the counterexample seems relatively "simple" in that it's low degree, with coefficients that aren't too large.
Does anyone more familiar with this know why this _wasn't_ found earlier, when it seems like you could brute-force through some low-order polynomials?
Replies
There are still many degree 5 polynomials, up to 35 terms for a single function, then you need to find three of them as well
Same awnser as much of the LLM Proofs - people cared about other things. There isn't a lot of money in academic math, and the ones that love it don't look for low value findings. Proofs like these are, funnily enough, usually the domain of hobbyists - but over the last few years, the "Monetize everything" mentality and struggling first world economy has pushed people away from interesting academic pursuits on their free time.
Reading the chain of thought for Fable, it is incredulous as well. It keeps thinking that it must be missing something or that this is a trick, because it can't have just found a counterexample to a famous conjecture. It's just like us!
https://cdn.xcancel.com/pic/orig/EA1E99C3DAE99/media%2FHNpQX...
https://cdn.xcancel.com/pic/orig/3B5C0B867A7C3/media%2FHNpQU...