The Geometry Theorem Prover (1959)
Herbert Gelernter developed an AI program that used heuristic search to discover complex geometric proofs, introducing the concept of checking auxiliary diagrams to prune impossible branches, mimicking human visual intuition. Part of the 22 AI… Read More »The Geometry Theorem Prover (1959)