Primary evidence
- A Proposal for the Dartmouth Summer Research Project on Artificial IntelligenceS1 · Primary research · Paper · 2006-12-01
The Dartmouth proposal frames artificial intelligence as a research program
The proposal did not establish AI4Math as a separate field. It established the broader AI research frame within which mathematical reasoning became one of the earliest domains for testing machine intelligence.
What happened?
The proposal dated 31 August 1955 proposed a 1956 Dartmouth summer research project under the name “artificial intelligence” and treated learning, abstraction, reasoning and problem solving as machine-research problems.
Why it matters
It provides the historical vocabulary and institutional starting point for understanding why Logic Theorist and other early mathematical reasoning programs were regarded as artificial-intelligence research.
Significance rationale: The Dartmouth proposal is broad AI history rather than a mathematics-specific result, but it supplies the field-formation context from which symbolic reasoning, theorem proving and machine mathematical problem solving soon emerged.
Historical context
Earlier developments
—
Later developments
—
Related milestones
—
Evidence & status at a glance
- Significance
- H3 · Context event
- Verification
- Paper released
- Evidence level
- E2 · Research record
- AI role
- Not applicable
- Formal assurance
- No formal assurance
Contribution & verification
- Mathematical novelty
- Not applicable
- Interface
- Not applicable
- AI contribution
- This is a field-formation event; no AI system performed mathematical work in the event itself.
- Human contribution
- John McCarthy, Marvin Minsky, Nathaniel Rochester and Claude Shannon formulated the proposal and organized the research program.
- Verification
- Paper released · E2 · Research record · No formal assurance
- Last reviewed
- 2026-09-15
Technical details
- Systems
- —
- Organizations
- dartmouth-college
- Problems
- —
- Methods
- —
Sources & artifacts
- A Proposal for the Dartmouth Summer Research Project on Artificial IntelligenceS1 · Primary research · Paper · accessed 2026-09-15
Verification history
- 2006-12-01 · Paper released · E2 · Research record
The AI Magazine archival publication reproduces and dates the original Dartmouth proposal.
Corrections
No corrections recorded.