Claim · 1958 · publication · Stated in source · Supported

“Heuristic Problem Solving: The Next Advance in Operations Research” (1958) states a prediction by Herbert A. Simon and Allen Newell: “a digital computer will discover and prove an important new mathematical theorem”; horizon as stated: within ten years. The record says nothing about whether the event happened.

One recorded claim. The claim panel gives its qualification, the source passages with their place in each source, and how it was checked.

What it connects

Heuristic Problem Solving: The Next Advance in Operations Research → states a prediction → a digital computer will discover and prove an important new mathematical theorem

Where it appears

Predictions on record →

Claim and evidence

Heuristic Problem Solving: The Next Advance in Operations Researchstates a prediction ↓a digital computer will discover and prove an important new mathematical theorem

Machine-checkedStated in sourceSupported

Supporting evidence: primary · 1 source

Date: 1958 · publication Records dated 1958 →

Scope and limitsPrediction 2 of the four numbered predictions introduced by "I am willing to make the following predictions"; the speaker is Simon, and the opening footnote says "its content is a joint product of the authors". The first is recorded separately.

The evidence 02

primary sourceSupports the claim

Heuristic Problem Solving: The Next Advance in Operations Research

Operations Research 6 (1): 1–10 · 1958

Cite the original source

Cite the original document, not Selekoa. Check these details against it.

Source excerpt

“That within ten years a digital computer will discover and prove an important new mathematical theorem.”

Location in source Printed p. 7 / bundle PDF p. 13, prediction 2

Machine-checked · 2026-11-05

Source details and check notes

Authors: Herbert A. Simon; Allen Newell
Version: Scan of the printed article (pp. 1–10) in a course-readings PDF of 2007 at cse.buffalo.edu, without a text layer; read visually by a reviewer from a different model family and by an automated research assistant of the preparing model family. The publisher page (doi.org) returned HTTP 403. Operations Research 6 (1), issue dated "January - February 1958" on printed p. 1. The opening footnote dates the address to 14 November 1957.
Canonical address: Open the canonical source ↗
Accessed: 2026-11-05
Language: English (en)
Attribution: Herbert A. Simon, Allen Newell, “Heuristic Problem Solving: The Next Advance in Operations Research”, 1958.
Reuse: No open redistribution licence asserted. Bibliographic metadata, editorial paraphrases and short attributed quotations (at most 50 words each). Recheck terms before wider redistribution.
Check notes: Read by a reviewer from a different model family on 2026-11-03 and on the page image by the automated research assistant that prepared the record on 2026-11-05. Copy read: Scan of the printed article in a 2007 course-readings PDF (cse.buffalo.edu), no text layer; read visually by a reviewer from a different model family on 2026-11-03 and by the automated research assistant that prepared the record on 2026-11-05. Machine-checked; no human editorial review.

primary sourceSupports the claim

Heuristic Problem Solving: The Next Advance in Operations Research

Operations Research 6 (1): 1–10 · 1958

Cite the original source

Cite the original document, not Selekoa. Check these details against it.

Source excerpt

“On the basis of these developments, and the speed with which research in this field is progressing, I am willing to make the following predictions, to be realized within the next ten years:”

Location in source Printed p. 7 / bundle PDF p. 13

Machine-checked · 2026-11-05

Source details and check notes

Authors: Herbert A. Simon; Allen Newell
Version: Scan of the printed article (pp. 1–10) in a course-readings PDF of 2007 at cse.buffalo.edu, without a text layer; read visually by a reviewer from a different model family and by an automated research assistant of the preparing model family. The publisher page (doi.org) returned HTTP 403. Operations Research 6 (1), issue dated "January - February 1958" on printed p. 1. The opening footnote dates the address to 14 November 1957.
Canonical address: Open the canonical source ↗
Accessed: 2026-11-05
Language: English (en)
Attribution: Herbert A. Simon, Allen Newell, “Heuristic Problem Solving: The Next Advance in Operations Research”, 1958.
Reuse: No open redistribution licence asserted. Bibliographic metadata, editorial paraphrases and short attributed quotations (at most 50 words each). Recheck terms before wider redistribution.
Check notes: Read on the page image by an automated research assistant of the preparing model family on 2026-11-03. Copy read: Scan of the printed article in a 2007 course-readings PDF (cse.buffalo.edu), no text layer; read visually by a reviewer from a different model family on 2026-11-03 and by the automated research assistant that prepared the record on 2026-11-05. Machine-checked; no human editorial review.

Status and meaning

Editorial status. Machine-checked. Machines found this record and checked it against its sources; no person accepted it individually. Each evidence record above shows how it was checked.

Relation. The document states a prediction: an event, by a date or within a horizon, in the document’s own words. The record is dated by the document, never by the target date. It documents what the text states and when; it says nothing about whether the event happened, and it implies no agreement or influence.

Date. Publication date of the text. Operations Research 6 (1), January–February 1958; the text of an address of 14 November 1957.

Record ID pr-a-simon-newell-1958-theorem