WebMCP Challenge · Evidence Room

Let the agent gather.
You make the call.

Five page tools read a frozen public math corpus. One stages an evidence packet. None can choose, confirm, or create the receipt.

Inspect the boundary

Fixed corpus · 3 claims · 2 sources

One result. Three different evidence states.

The point is not to flatten uncertainty. It is to keep the verified mathematics separate from the still company-reported provenance.

01challenged

The 1946 unit-distance conjecture has a counterexample

A human-verified counterexample disproves the unit-distance conjecture posed by Paul Erdős in 1946.

confirmed evidence · 2 sources
Uncertainty

The mathematics is human-verified. This claim does not by itself establish how independently the model generated the original proof.

02learned

Nine external mathematicians published a human-verified account

Nine external mathematicians published a simplified, human-verified version of the counterexample and its argument.

confirmed evidence · 2 sources
Uncertainty

This verifies the mathematical content, not every claim about the internal generation process.

03held

The exact model-generation process remains company-reported

OpenAI reports that an internal model generated the counterexample, while the public companion paper verifies the mathematics without independently reproducing the full generation process.

partial evidence · 2 sources
Uncertainty

The public sources do not provide an independently reproducible record of the internal model run.

Missing: A public, independently reproducible provenance record for the original generation

OpenAIAn OpenAI model has disproved a central conjecture in discrete geometryThis is the company's account of the model run; it is not an independently reproducible generation record.Alon, Bloom, Gowers, Litt, Sawin, Shankar, Tsimerman, Wang, and WoodRemarks on the disproof of the unit distance conjectureThe paper verifies the mathematical result; it does not independently reproduce the complete internal model-generation process.

Shared live page

Agent work stays visible.

Waiting for a tool call or human demo

Registered inventory

list_claimsreadget_claimreadtrace_sourcesreadcompare_claimsreadget_pressure_testreadprepare_evidence_packetstage

Visible packet

No packet staged

A compatible agent can use the sixth tool, or you can stage the same packet from the visible demo.

Human confirmation required

The tool path ends before the decision.

Stage a packet to unlock the decision surface.

Honest architecture

Structured access, not delegated judgment.

  1. 01Discover

    The compatible agent sees six page-scoped schemas.

  2. 02Read

    Five tools return only identifiers and facts in the frozen corpus.

  3. 03Stage

    One tool changes visible ephemeral page state.

  4. 04Decide

    A person chooses and confirms after the tool boundary ends.

  5. 05Verify

    The receipt hash and derived fields are checked against the corpus.