3 ms·
> Perhaps we could then rely on computer assisted theorem provers. Or AI, particularly if we figure out AGI.
by SkyMarshal 4y ago
> Perhaps we could then rely on computer assisted theorem provers.
Or AI, particularly if we figure out AGI.
loading thread…