Comment by amelius
4 days ago
If someone told me this say, 10 or 20 years ago, I would have assumed this was worthy of a Nobel/Turing prize ...
4 days ago
If someone told me this say, 10 or 20 years ago, I would have assumed this was worthy of a Nobel/Turing prize ...
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.