I guess it kind of depends on what a goal post should represent. If it represents an incremental goal then obviously you are correct. I think the ultimate goal

I guess it kind of depends on what a goal post should represent. If it represents an incremental goal then obviously you are correct. I think the ultimate goal though is clearly that AI systems will be able to generate new high-value knowledge and proofs. I think the realistically the final goal post has always been at that point.