What was the first program considered AI by researchers

The Logic Theorist’s Claim to ‘First’

The Logic Theorist, created by Allen Newell, Herbert Simon, and Cliff Shaw in the mid-1950s, is the program most widely cited by historians as the first generally recognized artificial intelligence program, largely because of both its technical approach and its direct connection to the field’s founding event.

What the Logic Theorist Actually Did

The program was designed to prove mathematical theorems from Whitehead and Russell’s foundational work “Principia Mathematica,” and notably, it did so using reasoning strategies explicitly modeled on how humans approach problem-solving, rather than relying on brute-force, exhaustive calculation. This human-inspired reasoning approach was considered a significant conceptual step at the time, distinguishing it from earlier, more narrowly numerical computing applications.

Its Direct Connection to the Field’s Founding

The Logic Theorist was presented at the 1956 Dartmouth Workshop, the event widely regarded as the formal founding of AI as a named field, which gives it a particularly direct and well-documented claim to being the field’s first recognized program, tightly linking a specific technical achievement to the field’s origin story.

Why ‘First’ Is Still Somewhat Debated

Not every historian treats the Logic Theorist as an uncontested “first.” Arthur Samuel’s checkers-playing program, developed around a similar period, is also frequently cited as an important early milestone, particularly notable for being an early example of a program that improved its performance over time through a rudimentary form of learning — a different but equally foundational aspect of what AI research would come to explore.

Why This Milestone Still Matters for Understanding AI’s Trajectory

The Logic Theorist’s emphasis on modeling human-like reasoning strategies, rather than pure computational brute force, foreshadowed a long-running strand of AI research focused on symbolic reasoning and problem-solving that dominated much of the field’s first few decades, before later giving way to the data-driven, statistical approaches that define much of modern AI.

Bottom Line

The Logic Theorist, created by Allen Newell, Herbert Simon, and Cliff Shaw and presented at the 1956 Dartmouth Workshop, is the program most widely cited as the first recognized AI program, notable for using human-like reasoning strategies to prove mathematical theorems — though Arthur Samuel’s roughly contemporaneous checkers program is sometimes cited as an equally important early milestone.

Look Up AI Terms

Search plain-English definitions of AI and machine learning terms in our free AI Glossary.

Go deeper

• How do nonprofits use AI to measure program impact?