| ▲ | seanw444 3 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. | ||
| ▲ | senordevnyc an hour ago | parent | next [-] | |
It’s a bird! It’s a plane! It’s…AI skeptics moving the goalposts at light speed!! | ||
| ▲ | ogogmad 2 hours ago | parent | prev [-] | |
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. | ||