Post #3276018
2026-03-17 20:44 UTC
@clayrat@types.pl @lindsey@recurse.social
"Automated deduction" refers to something very specific, distinct from ai/ml
https://cadeinc.org/
Replies (1)
-
@clayrat@types.pl 2026-03-17 20:51
@emc2@indieweb.social @lindsey@recurse.social Yes, my point is that AI is a bigger and older field than ML. Up until about the 1990s, it was mostly about symbolic methods like SAT, first-order resolution, tableaux, etc.