Claim

Model ledger-default@0.1.0 ledger-strict@0.1.0 ledger-default@0.2.0 ledger-strict@0.2.0 ledger-default@0.3.0 (default) ledger-strict@0.3.0 Snapshot seq

Topics

Science · 03192ed8 Technology · 03192ed8

Assessment

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.

Show calculation

Your view

Registered views

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

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)