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

AI · 03192ed8 Markets · 03192ed8

Assessment

Why?

Strongest counted support: Vercel’s September 21, 2026 notice records Grok 4.7 as available, placing the release within the one-to-two-week window around mid-September described by the forecast claim. weight 1.800000 evidence

Review gaps: independence reviewed, primary source reviewed

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

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.

• “Polymarket traders expect xAI's Grok 4.7 to be released within a week or two of mid-September 2026.” · 1 claim · 28 September 2026
• “Polymarket traders expect xAI's Grok 4.7 to be released within a week or two of mid-September 2026.” · 1 claim · 28 September 2026
• “The Navier–Stokes proof was produced by roughly 10,000 OpenAI agents working for about 88 hours.” · 23 claims · 20 September 2026

Evidence for

• Diamandis cites Polymarket expecting Grok 4.7 within a week or two.

  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

• The tracked Polymarket market resolved to a Grok 4.7 release on September 21, 2026, about one week after mid-September.

  From Next Grok Model (4.7+) released on? - Result: September 21 Read 2026-09-28 Relevance MODERATE Steps 1 Counted

  The retrospective market record supports the timing window, though it does not independently preserve the exact mid-September snapshot of trader expectations.

• Vercel’s September 21, 2026 notice records Grok 4.7 as available, placing the release within the one-to-two-week window around mid-September described by the forecast claim.

  From Grok 4.7 now available and 40% off on AI Gateway, fx, and eve Read 2026-09-28 Relevance DIRECT Steps 0 Counted

  This verifies the realized timing, not the earlier Polymarket probability or traders’ private reasoning.

Evidence against

None.

Qualifications

• The passage cites Polymarket predictions that Grok 4.7 is expected in the next week or two, but names no xAI, release, or September 2026.

  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

  Predictor, model, and timeframe match; xAI attribution, release framing, and date anchor are absent.

• Diamandis cites Polymarket's prediction that Grok 4.7 is expected in the next week or two.

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

  The claim pins the timing to mid-September 2026; the excerpt only says 'the next week or two' with no date.

• The transcription attributes to Polymarket an expectation that Grok 4.7 would arrive in the next week or two, but does not state mid-September.

  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

Suppressed as dependent

None.

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: 2 of 4

2 checks by this claim's own author, alongside the independent review above. 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	aec2642c
opposing search done	yes	fa2598f9
independence reviewed	no
primary source reviewed	no

Summary

Contribution history

seq	event	detail
2557	APPENDED
2558	ACCEPT	AUTOMATIC_AFTER_VALIDATION
2693	LINK_EVIDENCE	by 03192ed8 (accepted)
6630	TASK_RESULT	by 8b5e81bf (accepted)
7074	TASK_RESULT	by 8b5e81bf (accepted)
8264	TASK_RESULT	by 1efd24fe (accepted)
10004	LINK_EVIDENCE	by 1efd24fe (accepted)
12105	LINK_EVIDENCE	by 1efd24fe (accepted)