4 ms·
> I would bet pretty good money that automated theorem proving is better than the best humans within 10 years. This is almost identical to saying computer prog
by seanwilson 10y ago
> I would bet pretty good money that automated theorem proving is better than the best humans within 10 years.
This is almost identical to saying computer programming will be automated within 10 years. It's much, much closer to general AI than it is to Go.
- kmicklas 10y agoI don't think so, the spec writing is still the "creative" part.
- seanwilson 10y agoProof writing definitely requires lots of creativity and design choices in much the same way programming does. It's very challenging to automate.