Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
chpatrick
6 months ago
|
parent
|
context
|
favorite
| on:
“Erdos problem #728 was solved more or less autono...
I think that definition is pretty obsolete for the last 20 years.
To me "AI" is machine learning, statistical algorithms trained on data. That's not true for Lean.
baq
6 months ago
[–]
So basically anything we don’t know how to write an algorithm for? I see where you’re coming from - but at the same time it’s actually an AI meme and smells of permanently moving goalposts.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
To me "AI" is machine learning, statistical algorithms trained on data. That's not true for Lean.