Comment by seanw444
8 hours ago
> but I didn't think it'd solve maths problems
Finding counterexamples is low-hanging fruit, the automation of which isn't shocking.
8 hours ago
> but I didn't think it'd solve maths problems
Finding counterexamples is low-hanging fruit, the automation of which isn't shocking.
It’s a bird! It’s a plane! It’s…AI skeptics moving the goalposts at light speed!!
What about finding the 1st known complex structure over S^6, proving Ehrhart’s volume conjecture, proving a sharp "density" bound on primitive sets conjectured by Erdos >60 years ago?
> Finding counterexamples is low-hanging fruit, the automation of which isn't shocking.
It's not good to be confidently wrong the way you're being.
We've had mathematical problems solved by brute force in the past.
We've then improved that through systems similar to prolog intentionally searching a tree.
Then systems added heuristics for which paths in that tree are likely to be taken.
The LLMs are just using slightly more accurate heuristics for this task.
But the real measure of understanding are tasks that are not so strictly constrained.