43 ms·
If someone told me this say, 10 or 20 years ago, I would have assumed this was worthy of a Nobel/Turing prize ...
by amelius 1y ago
If someone told me this say, 10 or 20 years ago, I would have assumed this was worthy of a Nobel/Turing prize ...
- raincole 1y agoEarly machine learning researchers literally got Nobel Prize last year. Clearly not every incremental step of progress merits a Nobel.
- amelius 1y agoYes! 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.
- JohnKemeny 1y agoWe have been doing automated theorem proving since 1954.