← Back to context Comment by baq 2 days ago Finding a path in a maze was AI once. 2 comments baq Reply chpatrick 1 day ago 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 1 day 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.
chpatrick 1 day ago 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 1 day 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.
baq 1 day 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.
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.
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.