> if theory has not yet served combinatorics in the way it has served the rest of mathematics, then surely the reason is that theory is still too young.
I also agree. Now that we have robo-Erdős maybe we'll finally be incentivized to figure out that theory.
@Ericson2314 I don’t even rule out the possibility that robo-erdős could contribute to this theory… I don’t think that theory is something only humans can do. One thing about theory is that its entire purpose is to serve and edify the human intellect, but this doesn’t mean it must be produced in some pure act of inspiration as opposed to aggregation, even statistical…
With that said, I personally am not interested in exploring the possibilities above until certain political/economic changes take force — which I sadly no longer expect to take place in my lifetime. I think for the rest of my life I will keep doing things the way I do them. But we will see.