Claim

Nick Bostrom first formalized the simulation hypothesis in 2003.

Type HISTORICAL · truth-evaluable: yes · status at snapshot: ACTIVE · created seq 1275

Referenced 170 times: checked 3, looked up by assistants 0, viewed 124, shared 43. A count of attention, not evidence.

Topics

Science · 03192ed8 Technology · 03192ed8

Assessment

Supported

Score: 0.9779 under ledger-default@0.3.0 at snapshot 27745

3 of 4 review checks done · 3 counted

5 independent evidence lineages · review checks 3 of 4 · stability HIGH

Main unresolved issue: 8 counted evidence items have no independence review; repeats of one origin may be counted as several coverage:e998df5e-a138-894e-94df-188565b1d049

Not yet independently audited.Evidence points both ways.A quoted passage from ora.ox.ac.uk and simulation-argument.com was not found on the page when Galedra fetched it.A quoted passage is in something this server does not read, such as a PDF or a recording, so it has not been checked here.

Why?

Strongest counted support: Oxford’s repository identifies Nick Bostrom’s peer-reviewed Philosophical Quarterly paper as published in 2003 and records its simulation-argument thesis. weight 1.800000 evidence

Strongest counted contradiction: Bostrom's own site says a draft version of the simulation argument was published online in 2001. weight 0.918000 evidence

Suppressed as dependent: Speaker says the simulation hypothesis was first formalized by Nick Bostrom in 2003.; The excerpt says the simulation hypothesis was first formalized by Nick Bostrom in 2003; the transcript's name is garbled but clearly refers to Bostrom.

Review gaps: independence reviewed

What would most change this: One independent, direct measurement that contradicts this claim would move it from Supported to Supported.

Hide calculation

0.9779 under ledger-default@0.3.0 at snapshot 27745 · state Supported · Review checks: 3 of 4 · stability HIGH · 8 sources, 5 independent lineages

Model ledger-default@0.3.0 (the default model, not the answer) · snapshot 27745 · trace sha256:78c0775341dcc11dfdf2316dee274a90273323424a4c5761bf34feb5126e025d

Last changed at entry seq 14952; nothing logged since has borne on this claim.

How the number was reached

Each counted link is weighed by multiplying the factors the model declares; a factor it does not declare is not shown. Every factor name below links to what that number means.

Link	Working	Weight	Counted as
bf713eaa support	relevance STRONG 1.2 × observation DIRECT_TEXT 0.9 × interpretation 1 step, 1 − 0.15 × 1 0.850000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1	0.918000	0.918000
03b8f35e support	relevance DIRECT 2.0 × observation DIRECT_TEXT 0.9 × interpretation 1 step, 1 − 0.15 × 1 0.850000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance SELF 0.0 × edition NAMED_OR_UNRELATED 1	0.000000	0.000000 (dependent strongest only, kept 3137e6cf)
1249b311 support	relevance DIRECT 2.0 × observation DIRECT_TEXT 0.9 × interpretation 0 steps, 1 − 0.15 × 0 1.000000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1	1.800000	1.800000
b8ce3817 support	relevance DIRECT 2.0 × observation DIRECT_TEXT 0.9 × interpretation 1 step, 1 − 0.15 × 1 0.850000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1	1.530000	1.530000
2e369579 support	relevance DIRECT 2.0 × observation DIRECT_TEXT 0.9 × interpretation 1 step, 1 − 0.15 × 1 0.850000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance SELF 0.0 × edition NAMED_OR_UNRELATED 1	0.000000	0.000000 (dependent strongest only, kept 3137e6cf)
3137e6cf support	relevance MODERATE 0.6 × observation HEARSAY 0.1 × interpretation 1 step, 1 − 0.15 × 1 0.850000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance SELF 0.0 × edition NAMED_OR_UNRELATED 1	0.000000	0.000000
b70801ba contradict	relevance STRONG 1.2 × observation DIRECT_TEXT 0.9 × interpretation 1 step, 1 − 0.15 × 1 0.850000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1	0.918000	0.918000
889f31ac support	relevance MODERATE 0.6 × observation DIRECT_TEXT 0.9 × interpretation 1 step, 1 − 0.15 × 1 0.850000 × authenticity UNVERIFIED 1.0 × extraction UNVERIFIED 1.0 × provenance INDEPENDENT 1.0 × edition NAMED_OR_UNRELATED 1	0.459000	0.459000

prior 0.50 → log-odds 0.000000 + 3.789000 (the counted weights) = 3.789000 → probability 0.9779

Under neighbouring settings of the same model: 0.9342 to 0.9928, a spread of 0.0586.

Half-even rounding, six places for weights and four for the probability. The same inputs under the same model reproduce this exactly; that is what the trace hash above is for. How a score is worked out explains every factor, why it is there, and what the model sets it to.

Your view

Registered views

Nobody has registered a view yet.

Registered views are personal belief, not evidence: they never change Galedra's assessment. Affiliations are self-declared and shown only for groups of 5 or more.

Checked as part of

Statements this claim was broken out of. The claim is scored on its own; a statement's reading only counts its claims.

“Nick Bostrom first formalized the simulation hypothesis in 2003.” · 1 claim · 29 September 2026
“Nick Bostrom first formalized the simulation hypothesis in 2003.” · 1 claim · 20 September 2026
“The Navier–Stokes proof was produced by roughly 10,000 OpenAI agents working for about 88 hours.” · 15 claims · 20 September 2026

Evidence for

Diamandis dates Nick Bostrom's formalization of the simulation hypothesis to 2003.

From OpenAI Agents Hijack a German Website, Jensen Declares AGI Arrived, and OpenAI Solves Navier-Stokes Read 2026-09-20 Relevance MODERATE Steps 1 Counted
Speaker says the simulation hypothesis was first formalized by Nick Bostrom in 2003.

From OpenAI Agents Hijack a German Website, Jensen Declares AGI Arrived, and OpenAI Solves Navier-Stokes Read 2026-09-20 Relevance DIRECT Steps 1 Counted

Person, act of first formalizing and the year all match the claim. 'Nick Bostonramm' is a transcription mangling of Bostrom. No paper or venue is named, and the attribution and date are externally checkable against the original publication.
Bostrom's 2003 paper gave the formally explicated version of the simulation hypothesis.

From The Simulated Universe Hypothesis Read 2026-09-22 Relevance DIRECT Steps 1 Counted

Explicitly says the formal explication came from Bostrom's 2003 paper.
Bostrom's 2003 paper popularized and formally argued the simulation hypothesis.

From Simulation Argument Read 2026-09-22 Relevance STRONG Steps 1 Counted

Dates Bostrom's canonical paper to 2003 in Philosophical Quarterly.
The excerpt says the simulation hypothesis was first formalized by Nick Bostrom in 2003; the transcript's name is garbled but clearly refers to Bostrom.

From OpenAI Agents Hijack a German Website, Jensen Declares AGI Arrived, and OpenAI Solves Navier-Stokes Read 2026-09-20 Relevance DIRECT Steps 1 Counted
Oxford's archive identifies Bostrom's peer-reviewed simulation paper as published in 2003 and summarizes its formal three-proposition argument.

From Are you living in a computer simulation? Read 2026-09-28 Relevance MODERATE Steps 1 Counted

Directly supports Bostrom formalizing the argument in 2003, but the archive excerpt alone does not establish that he was the first person ever to formalize it.
Oxford’s repository identifies Nick Bostrom’s peer-reviewed Philosophical Quarterly paper as published in 2003 and records its simulation-argument thesis.

From Are you living in a computer simulation? Read 2026-09-29 Relevance DIRECT Steps 0 Counted

The source directly verifies the 2003 publication and formal argument; “first formalized” is a historical-priority claim broader than the repository metadata itself.

Evidence against

Bostrom's own site says a draft version of the simulation argument was published online in 2001.

From The Simulation Argument Read 2026-09-20 Relevance STRONG Steps 1 Counted

Cuts against the 2003 date: Bostrom's formalization circulated as a May 2001 draft; 2003 is the Philosophical Quarterly publication year, not first formalization. Separately, what he formalized is a trilemma, not "the simulation hypothesis" as such, and Hans Moravec stated the idea in near-argument form in 1998 — so "first" is also doubtful.

Qualifications

None.

Suppressed as dependent

Evidence	Group	Kept instead
2f3272ea		3137e6cf
0e7f7676		3137e6cf

Inferences

Concluded from

None.

Used as a premise in

None.

An inference is interpretation, not evidence: it never changes the assessment of its conclusion. Each premise is a claim with its own evidence.

Threads

None. Threads are for disagreements about how a determination was made — a statement whose figures are not in the passage it rests on, two sources that may share an origin. Something about the world belongs in the evidence above.

Claim edges

None. Edges are stored and displayed; v0.1 does not propagate probability across them.

Review checklist

Review checks: 3 of 4

3 checks by this claim's own author, alongside the independent review above. 1 OPPOSING EVIDENCE SEARCH · 1 QUALIFIER CHECK · 1 EVIDENCE VERIFICATION. A check by the person who recorded a claim does not raise its review coverage.

Check	Done	By
qualifiers reviewed	yes	071a8b6d
opposing search done	yes	c07c27c8
independence reviewed	no
primary source reviewed	yes	1249b311, b70801ba, 889f31ac

Summary

Supported. The main support is: Bostrom's 2003 paper popularized and formally argued the simulation hypothesis. baef50be

Against that, contradiction: Bostrom's own site says a draft version of the simulation argument was published online in 2001. 58e5069e

2 further items repeat the same origin and are not independent evidence. 2f3272ea0e7f7676

A search for evidence in the opposing direction found something; see the counted evidence. c07c27c8

Review checks: 3 of 4. coverage:e998df5e-a138-894e-94df-188565b1d049

Generated by stub-v0.1; every sentence cites graph ids.

Contribution history

seq	event	detail
1275	APPENDED
1276	ACCEPT	AUTOMATIC_AFTER_VALIDATION
1355	LINK_EVIDENCE	by 03192ed8 (accepted)
3999	TASK_RESULT	by 03192ed8 (accepted)
4062	LINK_EVIDENCE	by 03192ed8 (accepted)
7339	TASK_RESULT	by 8b5e81bf (accepted)
8038	TASK_RESULT	by 1efd24fe (accepted)
10322	TASK_RESULT	by 1efd24fe (accepted)
14951	LINK_EVIDENCE	by 1efd24fe (accepted)

Score trace

{
  "claim": "e998df5e-a138-894e-94df-188565b1d049",
  "links": [
    {
      "link": "05e80671-9a38-8d2f-a0ac-1c63bf713eaa",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "08af0b72-5cdf-8ba8-adfa-edd8baef50be",
      "direction": "SUPPORT",
      "magnitude": "0.918000",
      "relevance": "STRONG",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "WEBSITE",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.918000",
      "interpretive_steps": 1
    },
    {
      "kept": "714e948f-f8a7-8ac0-9ca4-35d03137e6cf",
      "link": "14fd3ff2-c52f-8aa0-9a00-2d9803b8f35e",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "dd87e09e-dfb1-8985-9e11-ed0a2f3272ea",
      "direction": "SUPPORT",
      "magnitude": "0.000000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "SELF",
      "observation": "DIRECT_TEXT",
      "source_type": "VIDEO",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 1
    },
    {
      "link": "1531141e-b4ef-8681-811b-729a1249b311",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "6fd4c243-3038-8502-bad6-56652f494ed3",
      "direction": "SUPPORT",
      "magnitude": "1.800000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "1.800000",
      "interpretive_steps": 0
    },
    {
      "link": "2be2cf0f-08ab-8b29-8f02-9cafb8ce3817",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "bca6409a-b564-8f9e-8f90-54ad619ded2d",
      "direction": "SUPPORT",
      "magnitude": "1.530000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "WEBSITE",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "1.530000",
      "interpretive_steps": 1
    },
    {
      "kept": "714e948f-f8a7-8ac0-9ca4-35d03137e6cf",
      "link": "5f935acb-fd1a-8548-9650-d33f2e369579",
      "group": null,
      "reason": "dependent_strongest_only",
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "a08cde3d-ca77-8b6b-a536-e35f0e7f7676",
      "direction": "SUPPORT",
      "magnitude": "0.000000",
      "relevance": "DIRECT",
      "extraction": "UNVERIFIED",
      "provenance": "SELF",
      "observation": "DIRECT_TEXT",
      "source_type": "VIDEO",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 1
    },
    {
      "link": "714e948f-f8a7-8ac0-9ca4-35d03137e6cf",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "27cafbc4-3298-8171-832d-9bd04caede3f",
      "direction": "SUPPORT",
      "magnitude": "0.000000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "SELF",
      "observation": "HEARSAY",
      "source_type": "VIDEO",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.000000",
      "interpretive_steps": 1
    },
    {
      "link": "8b04d634-1c0e-8e34-8b6e-3643b70801ba",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "89425514-50a2-85c9-82fb-1b7b58e5069e",
      "direction": "CONTRADICT",
      "magnitude": "0.918000",
      "relevance": "STRONG",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.918000",
      "interpretive_steps": 1
    },
    {
      "link": "d72c89d3-f8a4-8486-a344-0968889f31ac",
      "group": null,
      "edition": "NAMED_OR_UNRELATED",
      "evidence": "00e30e18-43e0-83f6-85cd-3a96dcf72e47",
      "direction": "SUPPORT",
      "magnitude": "0.459000",
      "relevance": "MODERATE",
      "extraction": "UNVERIFIED",
      "provenance": "INDEPENDENT",
      "observation": "DIRECT_TEXT",
      "source_type": "PRIMARY_TEXT",
      "authenticity": "UNVERIFIED",
      "audit_confirmed": false,
      "effective_weight": "0.459000",
      "interpretive_steps": 1
    }
  ],
  "model": "ledger-default@0.3.0",
  "prior": "0.50",
  "variants": {
    "spread": "0.0586",
    "permissive": "0.9928",
    "conservative": "0.9342"
  },
  "code_hash": "sha256:c61a6fdf35a754a0d7e958df149036a083c0eaeb7d2d2e52704ec32b0c36def7",
  "contested": true,
  "stability": "HIGH",
  "claim_type": "HISTORICAL",
  "config_hash": "sha256:86768038080b8ab5233f1e4b7aba10af05b5bb44caa432095150b90e81209809",
  "probability": "0.9779",
  "provisional": true,
  "evidence_sum": "3.789000",
  "snapshot_seq": 14952,
  "prior_log_odds": "0.000000",
  "support_groups": 4,
  "model_dependent": false,
  "review_coverage": "0.75",
  "truth_evaluable": true,
  "assessment_state": "SUPPORTED",
  "review_checklist": {
    "qualifiers_reviewed": {
      "by": [
        "01a0bc4a-a1f3-70b6-919a-6c19071a8b6d"
      ],
      "ok": true
    },
    "opposing_search_done": {
      "by": [
        "01a0bc4a-a1dd-71bc-947c-bce6c07c27c8"
      ],
      "ok": true
    },
    "independence_reviewed": {
      "by": [],
      "ok": false
    },
    "primary_source_reviewed": {
      "by": [
        "1531141e-b4ef-8681-811b-729a1249b311",
        "8b04d634-1c0e-8e34-8b6e-3643b70801ba",
        "d72c89d3-f8a4-8486-a344-0968889f31ac"
      ],
      "ok": true
    }
  },
  "contradict_groups": 1,
  "rounding_boundary": false,
  "posterior_log_odds": "3.789000",
  "not_applicable_reason": null,
  "independence_unreviewed": 8
}