3 ms·
>What AI can do that’s new is to verify what we believe to be true This is not AI. Combining Theorem Provers with AI is promising: https://leandojo.org/ http
by hackandthink 3y ago
>What AI can do that’s new is to verify what we believe to be true
This is not AI.
Combining Theorem Provers with AI is promising:
https://leandojo.org/ https://leandojo.org/