4 ms·
It is also utterly unlike in that the formalization of math actually has real impact. Cyc has never had any impact and almost certainly never will.
by ted_dunning 2y ago
It is also utterly unlike in that the formalization of math actually has real impact. Cyc has never had any impact and almost certainly never will.