Formalizing Convergent Instrumental Goals
A research paper by Tsvi Benson-Tilsen and Nate Soares, Machine Intelligence Research Institute, dated November 2015. The PDF prints no date; dated by its PDF metadata (created 24 November 2015) on the MIRI copy read. Later citations give 2016 (an AAAI workshop); not verified here.
- Issued by
- No issuing record yet. A missing record is a gap in coverage.
- Authors credited
- No authorship claim recorded yet. The source record lists Tsvi Benson-Tilsen and Nate Soares.
- Dates
- No date claim recorded yet. The source record gives the publication date as 2015-11.
- Exact source
- Formalizing Convergent Instrumental Goals Machine Intelligence Research Institute (intelligence.org) · published 2015-11 · Retrieved for the candidate pack on 2026-10-29 (SHA-256 738ab7cfac016791de6ae78dd16ec8c68f4a0bc727b782d9087bb6652ed781f1). MIRI PDF, undated; PDF metadata created 2015-11-24; the abstract column is partly lost in the text layer; any workshop-proceedings version was not compared. The cross-family check retrieved it again on 2026-10-31, with the same bytes.
Appears in
- Arguments about catastrophic risk from advanced AI →1 record on this document
Versions
No other versions of this document are recorded. The evidence applies to the source version listed above. Other versions, such as a preprint, working paper or journal publication, are not identified or substituted.
Documentary relations
Each relation is listed separately. Citing, crediting and reporting the use of a method are different acts, and none of them shows agreement or influence by itself.
Articulates · 1
Propositions whose criterion a passage of this document meets. The record says what the text states, in its register; it is not evidence that the proposition is true.
- Instrumental convergenceBenson-Tilsen and Soares's paper, dated here by its file of November 2015, gives a formal model in which it states that Omohundro's thesis holds, and states that agents in the model will not leave humans alone unless their utility function values human-occupied regions intrinsically.2015-11 · publication · Stated in source · Supported Inspect claim & evidence ↗Instrumental convergence: propositions page →
Not recorded for this document: cites · cited by · explicitly credits · reports using a method from · method reported as used by · applies parts of · parts applied by · discusses · reports evaluation of. A missing record does not show that the relation does not exist.