Early machine learning researchers literally got Nobel Prize last year. Clearly not every incremental step of progress merits a Nobel.

Yes! But there is also a delay as 10 or 20 years ago we already had neural nets and I'm curious if people back then thought the concept was Nobel worthy.

We have been doing automated theorem proving since 1954.