2017 ⟶ SAT Solver Solves Pythagorean Triples Conjecture
A propositional logic boolean satisfiability problem (SAT) s...
Year
2017
📐 SAT Solver Solves Pythagorean Triples Conjecture
A Propositional logic Boolean satisfiability problem (SAT) solver proves a long-standing mathematical conjecture on Pythagorean triples over the set of integers. The initial proof, 200TB long, was checked by two independent certified automatic proof checkers.⟶
SAT SolverMathematicsProof VerificationBoolean SatisfiabilityAlgorithmMathematical Proof