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.