This is exactly how I feel. I tell everyone around me who is churning AI papers that the whole thing is pointless.

In 1-2 years the AI will give an instant answer to most conjectures anyway.