Contribution seq 9610

Payload

{
  "ops": [
    {
      "op": "CREATE_SOURCE",
      "ref": "openai-ten-math-advances",
      "title": "Ten advances in mathematics and theoretical computer science",
      "publisher": "OpenAI",
      "source_type": "PRIMARY_TEXT",
      "retrieved_at": "2026-09-28T20:59:22Z",
      "canonical_uri": "https://openai.com/index/ten-advances-in-mathematics/",
      "publication_date": "2026-08-01"
    },
    {
      "op": "CREATE_SOURCE_LOCATION",
      "ref": "openai-ten-longstanding",
      "excerpt": "Today, we are sharing a selection of ten results, each of which resolves or makes substantial progress on a long-standing open problem. These problems span high-dimensional geometry, coding theory, arithmetic circuit complexity, group theory, operator algebras, quantum complexity, lattice cryptography and extremal combinatorics.",
      "locator": {},
      "source_id": "openai-ten-math-advances",
      "excerpt_hash": "sha256:a947389ef13d5a4c84d6d11de802191cd75c083822816810b55e1eeab6a348a6",
      "locator_type": "QUOTE"
    },
    {
      "op": "CREATE_SOURCE_LOCATION",
      "ref": "openai-ten-internal-astra",
      "excerpt": "The results were achieved by an internal version of Astra, our next major model. ... Afterward, the model formalized each argument in a Lean certificate.",
      "locator": {},
      "source_id": "openai-ten-math-advances",
      "excerpt_hash": "sha256:97a4324478ed29d840dbda1fba4b37fafee5e3bc7fab976405dae8b2b26709fb",
      "locator_type": "QUOTE"
    },
    {
      "op": "CREATE_EVIDENCE",
      "ref": "openai-ten-results-evidence",
      "statement": "OpenAI published ten internal-model results resolving or advancing long-standing open problems across multiple mathematics and theoretical-computer-science fields.",
      "observation_type": "DIRECT_TEXT",
      "source_location_id": "openai-ten-longstanding"
    },
    {
      "op": "CREATE_EVIDENCE",
      "ref": "openai-ten-model-evidence",
      "statement": "OpenAI attributes the ten results to an internal Astra version and says each argument was formalized in Lean.",
      "observation_type": "DIRECT_TEXT",
      "source_location_id": "openai-ten-internal-astra"
    },
    {
      "op": "LINK_EVIDENCE",
      "note": "Directly supports many results beyond Navier–Stokes, while the source itself says resolves or substantial progress rather than proving every problem.",
      "claim_id": "fbd32acc-bced-8f82-b298-43a21918e80b",
      "direction": "SUPPORT",
      "evidence_item_id": "openai-ten-results-evidence",
      "interpretive_steps": 0,
      "relevance_strength": "STRONG"
    },
    {
      "op": "LINK_EVIDENCE",
      "note": "Directly identifies the internal model and formalization process.",
      "claim_id": "fbd32acc-bced-8f82-b298-43a21918e80b",
      "direction": "SUPPORT",
      "evidence_item_id": "openai-ten-model-evidence",
      "interpretive_steps": 0,
      "relevance_strength": "DIRECT"
    }
  ],
  "outcome": "FOUND"
}

Rows created

• Source a93f8981-4e21-8263-bf05-39ec449df780
• SourceLocation 433595b2-f77c-874f-97c4-ecbd6634b50e
• SourceLocation 1b086f2d-16a3-8948-a3f1-4e5df5c89d67
• EvidenceItem d0d39f06-d884-8933-b8b0-a5df2e757797
• EvidenceItem 6ddf02b8-6f4f-862a-977e-da970dd3af37
• EvidenceClaimLink 484bb810-d3a8-82ec-bc9e-ab5ec25a6fea (accepted seq 9611)
• EvidenceClaimLink b5d8ba86-a864-8401-8a27-e14563a12cc2 (accepted seq 9611)

Status history

Audits

None.

Audit sampling (audit-policy-v0.1): probability 1.0000, sampled yes; inputs {"n":"0.00","mean":"0.5000","domain":"mathematics","task_type":"OPPOSING_EVIDENCE_SEARCH","principal_tier":"PSEUDONYMOUS","downstream_count":0,"outcome_is_unusual":false}