{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "aks-primes-in-p-2004",
    "title": "Agrawal, Kayal and Saxena: PRIMES is in P",
    "summary": "Gave an unconditional deterministic polynomial-time algorithm for deciding whether an input integer is prime or composite.",
    "boundary": "The record is the exact 2004 Annals paper. Earlier probabilistic tests, conditional deterministic tests, later runtime improvements and cryptographic uses remain separate.",
    "area": "Arithmetic and number theory",
    "year": 2004,
    "lane": "HUMAN",
    "result": "ALGORITHM",
    "package_id": "aks-primes-in-p-2004",
    "target": {
      "record_id": "urn:uuid:6b06bf0d-84bb-4508-aa04-02a27a28e79e",
      "version": 1,
      "content_hash": "sha256:b3744c7d7bb718e1c4d2c6f047d849e995204bfddfa40962461b989d16fe3bed"
    },
    "humans": [
      "Manindra Agrawal",
      "Neeraj Kayal",
      "Nitin Saxena"
    ],
    "authors_complete": true,
    "human_role_note": "The named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.",
    "agents": [],
    "related": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "annals-aks-2004",
        "title": "Annals of Mathematics, PRIMES is in P",
        "url": "https://annals.math.princeton.edu/2004/160-2/p12"
      },
      {
        "id": "annals-aks-2004-pdf",
        "title": "Agrawal, Kayal and Saxena, PRIMES is in P full paper",
        "url": "https://annals.math.princeton.edu/wp-content/uploads/annals-v160-n2-p12.pdf"
      }
    ],
    "geography": {
      "country_codes": [
        "IN"
      ],
      "location_basis": "Documented research locations or paper affiliations for this contribution. Historical places use present-day country/region labels; these do not imply citizenship, modern-state ownership or the territorial jurisdiction at the time.",
      "source_url": "https://annals.math.princeton.edu/wp-content/uploads/annals-v160-n2-p12.pdf",
      "target": {
        "record_id": "urn:uuid:6b06bf0d-84bb-4508-aa04-02a27a28e79e",
        "version": 1,
        "content_hash": "sha256:b3744c7d7bb718e1c4d2c6f047d849e995204bfddfa40962461b989d16fe3bed"
      },
      "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION",
      "reviewed_on": "2026-09-26",
      "nationality_inferred": false,
      "sources": [
        {
          "title": "Attribution source",
          "url": "https://annals.math.princeton.edu/wp-content/uploads/annals-v160-n2-p12.pdf"
        }
      ],
      "coverage_status": "COMPLETE",
      "country_labels": {
        "IN": "India"
      }
    },
    "points": "255000",
    "published_grade": {
      "id": "aks-primes-in-p-2004",
      "entry_id": "aks-primes-in-p-2004",
      "band": "S",
      "modifier": "-",
      "target": {
        "record_id": "urn:uuid:6b06bf0d-84bb-4508-aa04-02a27a28e79e",
        "version": 1,
        "content_hash": "sha256:b3744c7d7bb718e1c4d2c6f047d849e995204bfddfa40962461b989d16fe3bed"
      },
      "what_changed": "Primality was placed constructively in deterministic P.",
      "scope": "Exact three-author 2004 paper; subsequent faster variants and applications excluded.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:6b06bf0d-84bb-4508-aa04-02a27a28e79e",
        "version": 1,
        "content_hash": "sha256:b3744c7d7bb718e1c4d2c6f047d849e995204bfddfa40962461b989d16fe3bed"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-09-25T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Manindra Agrawal",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formulator"
          ],
          "source": {
            "citation": "Annals of Mathematics, PRIMES is in P",
            "url": "https://annals.math.princeton.edu/2004/160-2/p12"
          }
        },
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Neeraj Kayal",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formulator"
          ],
          "source": {
            "citation": "Annals of Mathematics, PRIMES is in P",
            "url": "https://annals.math.princeton.edu/2004/160-2/p12"
          }
        },
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Nitin Saxena",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formulator"
          ],
          "source": {
            "citation": "Annals of Mathematics, PRIMES is in P",
            "url": "https://annals.math.princeton.edu/2004/160-2/p12"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Annals of Mathematics, PRIMES is in P",
            "url": "https://annals.math.princeton.edu/2004/160-2/p12"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-1",
          "kind": "source_reference",
          "source": {
            "citation": "Agrawal, Kayal and Saxena, PRIMES is in P full paper",
            "url": "https://annals.math.princeton.edu/wp-content/uploads/annals-v160-n2-p12.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The record is the exact 2004 Annals paper. Earlier probabilistic tests, conditional deterministic tests, later runtime improvements and cryptographic uses remain separate.",
        "domain": "Arithmetic and number theory"
      },
      "sources": [
        {
          "citation": "Annals of Mathematics, PRIMES is in P",
          "url": "https://annals.math.princeton.edu/2004/160-2/p12"
        },
        {
          "citation": "Agrawal, Kayal and Saxena, PRIMES is in P full paper",
          "url": "https://annals.math.princeton.edu/wp-content/uploads/annals-v160-n2-p12.pdf"
        }
      ],
      "statement": "# Agrawal, Kayal and Saxena: PRIMES is in P\n\nGave an unconditional deterministic polynomial-time algorithm for deciding whether an input integer is prime or composite.\n\n## Scientific scope\n\nThe record is the exact 2004 Annals paper. Earlier probabilistic tests, conditional deterministic tests, later runtime improvements and cryptographic uses remain separate.\n\n## Reading status\n\nThis is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.\n\n## People and systems\n\nManindra Agrawal; Neeraj Kayal; Nitin Saxena\n\nThe named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.\n\n\n\n## Original sources\n\n- [Annals of Mathematics, PRIMES is in P](https://annals.math.princeton.edu/2004/160-2/p12)\n- [Agrawal, Kayal and Saxena, PRIMES is in P full paper](https://annals.math.princeton.edu/wp-content/uploads/annals-v160-n2-p12.pdf)\n",
      "summary": "Gave an unconditional deterministic polynomial-time algorithm for deciding whether an input integer is prime or composite.",
      "title": "Agrawal, Kayal and Saxena: PRIMES is in P"
    },
    "record_id": "urn:uuid:6b06bf0d-84bb-4508-aa04-02a27a28e79e",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:6b06bf0d-84bb-4508-aa04-02a27a28e79e",
      "version": 1,
      "content_hash": "sha256:b3744c7d7bb718e1c4d2c6f047d849e995204bfddfa40962461b989d16fe3bed"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:ecc11a4eb15247bb176e0549019b33e93694c149260d7274e05d7aeaebc1b449"
  },
  "target": {
    "record_id": "urn:uuid:6b06bf0d-84bb-4508-aa04-02a27a28e79e",
    "version": 1,
    "content_hash": "sha256:b3744c7d7bb718e1c4d2c6f047d849e995204bfddfa40962461b989d16fe3bed"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "aks-primes-in-p-2004",
    "entry_id": "aks-primes-in-p-2004",
    "revision": 1,
    "title": "Agrawal, Kayal and Saxena: PRIMES is in P",
    "context": "Algorithms and number theory",
    "track": "Complexity-theoretic algorithm",
    "band": "S",
    "modifier": "-",
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-09-25",
    "evidence_cutoff": "2026-09-25",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Primality was placed constructively in deterministic P.",
    "scope": "Exact three-author 2004 paper; subsequent faster variants and applications excluded.",
    "evidence_summary": "The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact 2004 Annals paper. Earlier probabilistic tests, conditional deterministic tests, later runtime improvements and cryptographic uses remain separate.",
    "references": [
      {
        "title": "Annals of Mathematics, PRIMES is in P",
        "url": "https://annals.math.princeton.edu/2004/160-2/p12",
        "locator": "Source for the stated contribution; scientific claims remain bounded to the linked work."
      },
      {
        "title": "Agrawal, Kayal and Saxena, PRIMES is in P full paper",
        "url": "https://annals.math.princeton.edu/wp-content/uploads/annals-v160-n2-p12.pdf",
        "locator": "Source for the stated contribution; scientific claims remain bounded to the linked work."
      }
    ],
    "roles": [
      {
        "who": "Manindra Agrawal",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      },
      {
        "who": "Neeraj Kayal",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      },
      {
        "who": "Nitin Saxena",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      }
    ],
    "target": {
      "record_id": "urn:uuid:6b06bf0d-84bb-4508-aa04-02a27a28e79e",
      "version": 1,
      "content_hash": "sha256:b3744c7d7bb718e1c4d2c6f047d849e995204bfddfa40962461b989d16fe3bed"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "255000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}