2 ms·
Automated Theorem Proving
- peter_d_sherman 3y agoThe apparent confluence of several ideas (including but not limited to): 1) Artificial General Intelligence (AGI) https://en.wikipedia.org/wiki/Artificial_general_intelligence https://en.wikipedia.org/wiki/Artificial_general_intelligenc... 2) (Automated) Theorem Prover (Software) AKA "Proof Assistants": https://en.wikipedia.org/wiki/Proof_assistant https://en.wikipedia.org/wiki/Proof_assistant 3) Satisfiability Modulo Theories (SMT's) and SMT Solvers (see chart later in the page for list): https://en.wikipedia.org/wiki/Satisfiability_modulo_theories https://en.wikipedia.org/wiki/Satisfiability_modulo_theories 4) Model Checking: https://en.wikipedia.org/wiki/Model_checking https://en.wikipedia.org/wiki/Model_checking