undefined | Better HN

0 pointschpatrick4mo ago0 comments

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.

0 comments

baq4mo 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.

j / k navigate · click thread line to collapse

0 comments

baq4mo 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.

j / k navigate · click thread line to collapse