Post #3276016
2026-03-17 14:42 UTC
@lindsey@recurse.social
I have actually toyed with the idea of referring to automated deduction as "structural AI", and interactive provers as something similar.
Replies (1)
-
@clayrat@types.pl 2026-03-17 20:34
@emc2@indieweb.social @lindsey@recurse.social I thought automated reasoning was always a big(gest) part of symbolic AI?