The General Problem Solver (GPS) is a computer program developed in 1959 designed to solve a variety of problems using a universal algorithm based on means-ends analysis. It works by expressing problems as well-formed formulas within a directed graph structure, but it is only effective on well-defined problems such as mathematical theorems and puzzles. Despite its ambitious design, GPS has limitations in complexity and real-world application due to computational demands.