Comment by zozbot234

1 year ago

Proof automation definitely counts as AI. Not all AI is based on machine learning or statistical methods, GOFAI is a thing too.

0 comments