{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "alphadev",
    "title": "AlphaDev: small sorting algorithms",
    "summary": "Discovers faster small sorting programs and reports their inclusion in an LLVM standard library.",
    "boundary": "Correctness, speed on particular hardware and broad applicability require separate validation. The complete article byline is recorded; individual roles remain source-bound. Neri’s follow-up and its own erratum distinguish looping routines, restricted input domains and hardware-specific timings; read the linked challenge before generalizing shortest-program or speed claims.",
    "area": "Algorithms",
    "topic": "Computing & AI",
    "year": 2023,
    "lane": "AI",
    "result": "ALGORITHM",
    "package_id": "alphadev",
    "target": {
      "record_id": "urn:uuid:2f12b96d-0361-461b-a3dd-f79dffcb23da",
      "version": 2,
      "content_hash": "sha256:d4589104051a29d8fd991f5a666daab15fdd9c199a8274c642791f42f39b6196"
    },
    "humans": [
      "Daniel J. Mankowitz",
      "Andrea Michi",
      "Anton Zhernov",
      "Marco Gelmi",
      "Marco Selvi",
      "Cosmin Paduraru",
      "Edouard Leurent",
      "Shariq Iqbal",
      "Jean-Baptiste Lespiau",
      "Alex Ahern",
      "Thomas Köppe",
      "Kevin Millikin",
      "Stephen Gaffney",
      "Sophie Elster",
      "Jackson Broshear",
      "Chris Gamble",
      "Kieran Milan",
      "Robert Tung",
      "Minjae Hwang",
      "Taylan Cemgil",
      "Mohammadamin Barekatain",
      "Yujia Li",
      "Amol Mandhane",
      "Thomas Hubert",
      "Julian Schrittwieser",
      "Demis Hassabis",
      "Pushmeet Kohli",
      "Martin Riedmiller",
      "Oriol Vinyals",
      "David Silver"
    ],
    "authors_complete": true,
    "human_role_note": "Listed source contributors; individual labor shares are not measured",
    "agents": [
      {
        "product": "AlphaDev",
        "model": "AlphaDev",
        "provider": "Google DeepMind",
        "role": "Research system / execution",
        "assurance": "SOURCE_REPORTED",
        "source": "alphadev-source"
      }
    ],
    "related": [
      "neri-sort3-followup"
    ],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "alphadev-source",
        "title": "Mankowitz et al., Faster sorting algorithms discovered using deep reinforcement learning (2023)",
        "url": "https://www.nature.com/articles/s41586-023-06004-9"
      },
      {
        "id": "alphadev-byline",
        "title": "Publisher-deposited byline: Faster sorting algorithms discovered using deep reinforcement learning",
        "url": "https://api.crossref.org/works/10.1038/s41586-023-06004-9"
      },
      {
        "id": "neri-sort3-paper",
        "title": "Cassio Neri, Shorter and faster than Sort3AlphaDev, arXiv:2307.14503v1 (2023)",
        "url": "https://arxiv.org/pdf/2307.14503v1"
      },
      {
        "id": "neri-sort3-erratum",
        "title": "Author repository: Sort3 erratum and later contribution credit, commit 431ac0efcc216792f10e8f23d24a8ee387b3c348",
        "url": "https://raw.githubusercontent.com/cassioneri/sort3/431ac0efcc216792f10e8f23d24a8ee387b3c348/README.md"
      },
      {
        "id": "neri-sort3-header",
        "title": "Author repository: sort.h, commit 431ac0efcc216792f10e8f23d24a8ee387b3c348",
        "url": "https://raw.githubusercontent.com/cassioneri/sort3/431ac0efcc216792f10e8f23d24a8ee387b3c348/sort.h"
      }
    ],
    "geography": {
      "country_codes": [
        "GB",
        "US"
      ],
      "location_basis": "Deepmind, London, UK.; Google, Mountain View, CA, USA.",
      "source_url": "https://europepmc.org/article/MED/37286649",
      "target": {
        "record_id": "urn:uuid:2f12b96d-0361-461b-a3dd-f79dffcb23da",
        "version": 2,
        "content_hash": "sha256:d4589104051a29d8fd991f5a666daab15fdd9c199a8274c642791f42f39b6196"
      },
      "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION",
      "reviewed_on": "2026-09-12",
      "nationality_inferred": false,
      "coverage_status": "COMPLETE",
      "country_labels": {
        "GB": "United Kingdom",
        "US": "United States"
      }
    },
    "points": "1800",
    "published_grade": {
      "id": "alphadev",
      "entry_id": "alphadev",
      "band": "C",
      "modifier": null,
      "target": {
        "record_id": "urn:uuid:2f12b96d-0361-461b-a3dd-f79dffcb23da",
        "version": 2,
        "content_hash": "sha256:d4589104051a29d8fd991f5a666daab15fdd9c199a8274c642791f42f39b6196"
      },
      "what_changed": "Discovers faster small sorting programs and reports their inclusion in an LLVM standard library.",
      "scope": "Discovers faster small sorting programs and reports their inclusion in an LLVM standard library. Scope limitation: Correctness, speed on particular hardware and broad applicability require separate validation. The complete article byline is recorded; individual roles remain source-bound. Neri’s follow-up and its own erratum distinguish looping routines, restricted input domains and hardware-specific timings; read the linked challenge before generalizing shortest-program or speed claims.",
      "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:2f12b96d-0361-461b-a3dd-f79dffcb23da",
        "version": 2,
        "content_hash": "sha256:d4589104051a29d8fd991f5a666daab15fdd9c199a8274c642791f42f39b6196"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": {
      "content_hash": "sha256:842e245b0d26c10cbf1392a4e4e6e6eeb6c1b1c5ff0e950ca16ac6350b4a0c66",
      "record_id": "urn:uuid:2f12b96d-0361-461b-a3dd-f79dffcb23da",
      "version": 1
    },
    "published_at": "2026-09-12T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Mankowitz et al., Faster sorting algorithms discovered using deep reinforcement learning (2023)",
            "url": "https://www.nature.com/articles/s41586-023-06004-9"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-1",
          "kind": "source_reference",
          "source": {
            "citation": "Publisher-deposited byline: Faster sorting algorithms discovered using deep reinforcement learning",
            "url": "https://api.crossref.org/works/10.1038/s41586-023-06004-9"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-2",
          "kind": "source_reference",
          "source": {
            "citation": "Cassio Neri, Shorter and faster than Sort3AlphaDev, arXiv:2307.14503v1 (2023)",
            "url": "https://arxiv.org/pdf/2307.14503v1"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-3",
          "kind": "source_reference",
          "source": {
            "citation": "Author repository: Sort3 erratum and later contribution credit, commit 431ac0efcc216792f10e8f23d24a8ee387b3c348",
            "url": "https://raw.githubusercontent.com/cassioneri/sort3/431ac0efcc216792f10e8f23d24a8ee387b3c348/README.md"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-4",
          "kind": "source_reference",
          "source": {
            "citation": "Author repository: sort.h, commit 431ac0efcc216792f10e8f23d24a8ee387b3c348",
            "url": "https://raw.githubusercontent.com/cassioneri/sort3/431ac0efcc216792f10e8f23d24a8ee387b3c348/sort.h"
          }
        }
      ],
      "origin": "AGENT_NATIVE",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "Correctness, speed on particular hardware and broad applicability require separate validation. The complete article byline is recorded; individual roles remain source-bound. Neri’s follow-up and its own erratum distinguish looping routines, restricted input domains and hardware-specific timings; read the linked challenge before generalizing shortest-program or speed claims.",
        "domain": "算法"
      },
      "sources": [
        {
          "citation": "Mankowitz et al., Faster sorting algorithms discovered using deep reinforcement learning (2023)",
          "url": "https://www.nature.com/articles/s41586-023-06004-9"
        },
        {
          "citation": "Publisher-deposited byline: Faster sorting algorithms discovered using deep reinforcement learning",
          "url": "https://api.crossref.org/works/10.1038/s41586-023-06004-9"
        },
        {
          "citation": "Cassio Neri, Shorter and faster than Sort3AlphaDev, arXiv:2307.14503v1 (2023)",
          "url": "https://arxiv.org/pdf/2307.14503v1"
        },
        {
          "citation": "Author repository: Sort3 erratum and later contribution credit, commit 431ac0efcc216792f10e8f23d24a8ee387b3c348",
          "url": "https://raw.githubusercontent.com/cassioneri/sort3/431ac0efcc216792f10e8f23d24a8ee387b3c348/README.md"
        },
        {
          "citation": "Author repository: sort.h, commit 431ac0efcc216792f10e8f23d24a8ee387b3c348",
          "url": "https://raw.githubusercontent.com/cassioneri/sort3/431ac0efcc216792f10e8f23d24a8ee387b3c348/sort.h"
        }
      ],
      "statement": "# AlphaDev: small sorting algorithms\n\nDiscovers faster small sorting programs and reports their inclusion in an LLVM standard library.\n\n## Scientific scope\n\nCorrectness, speed on particular hardware and broad applicability require separate validation. The complete article byline is recorded; individual roles remain source-bound. Neri’s follow-up and its own erratum distinguish looping routines, restricted input domains and hardware-specific timings; read the linked challenge before generalizing shortest-program or speed claims.\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\nDaniel J. Mankowitz; Andrea Michi; Anton Zhernov; Marco Gelmi; Marco Selvi; Cosmin Paduraru; Edouard Leurent; Shariq Iqbal; Jean-Baptiste Lespiau; Alex Ahern; Thomas Köppe; Kevin Millikin; Stephen Gaffney; Sophie Elster; Jackson Broshear; Chris Gamble; Kieran Milan; Robert Tung; Minjae Hwang; Taylan Cemgil; Mohammadamin Barekatain; Yujia Li; Amol Mandhane; Thomas Hubert; Julian Schrittwieser; Demis Hassabis; Pushmeet Kohli; Martin Riedmiller; Oriol Vinyals; David Silver\n\nListed source contributors; individual labor shares are not measured\n\nAlphaDev / Google DeepMind / AlphaDev: Research system / execution (source reported).\n\n## Original sources\n\n- [Mankowitz et al., Faster sorting algorithms discovered using deep reinforcement learning (2023)](https://www.nature.com/articles/s41586-023-06004-9)\n- [Publisher-deposited byline: Faster sorting algorithms discovered using deep reinforcement learning](https://api.crossref.org/works/10.1038/s41586-023-06004-9)\n- [Cassio Neri, Shorter and faster than Sort3AlphaDev, arXiv:2307.14503v1 (2023)](https://arxiv.org/pdf/2307.14503v1)\n- [Author repository: Sort3 erratum and later contribution credit, commit 431ac0efcc216792f10e8f23d24a8ee387b3c348](https://raw.githubusercontent.com/cassioneri/sort3/431ac0efcc216792f10e8f23d24a8ee387b3c348/README.md)\n- [Author repository: sort.h, commit 431ac0efcc216792f10e8f23d24a8ee387b3c348](https://raw.githubusercontent.com/cassioneri/sort3/431ac0efcc216792f10e8f23d24a8ee387b3c348/sort.h)\n",
      "summary": "Discovers faster small sorting programs and reports their inclusion in an LLVM standard library.",
      "title": "AlphaDev: small sorting algorithms"
    },
    "record_id": "urn:uuid:2f12b96d-0361-461b-a3dd-f79dffcb23da",
    "version": 2,
    "source_ref": {
      "record_id": "urn:uuid:2f12b96d-0361-461b-a3dd-f79dffcb23da",
      "version": 2,
      "content_hash": "sha256:d4589104051a29d8fd991f5a666daab15fdd9c199a8274c642791f42f39b6196"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:97cd19879ff16c4570c92155e910a5f2bbab04860db2866417abe0a4b88c7aff"
  },
  "target": {
    "record_id": "urn:uuid:2f12b96d-0361-461b-a3dd-f79dffcb23da",
    "version": 2,
    "content_hash": "sha256:d4589104051a29d8fd991f5a666daab15fdd9c199a8274c642791f42f39b6196"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "alphadev",
    "entry_id": "alphadev",
    "revision": 1,
    "title": "AlphaDev: small sorting algorithms",
    "context": "Algorithms",
    "track": "Scoped scientific or research-capability contribution",
    "band": "C",
    "modifier": null,
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-09-14",
    "evidence_cutoff": "2026-09-14",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Discovers faster small sorting programs and reports their inclusion in an LLVM standard library.",
    "scope": "Discovers faster small sorting programs and reports their inclusion in an LLVM standard library. Scope limitation: Correctness, speed on particular hardware and broad applicability require separate validation. The complete article byline is recorded; individual roles remain source-bound. Neri’s follow-up and its own erratum distinguish looping routines, restricted input domains and hardware-specific timings; read the linked challenge before generalizing shortest-program or speed claims.",
    "evidence_summary": "Assessment uses the catalogue-linked source evidence for the stated contribution. Correctness, speed on particular hardware and broad applicability require separate validation. The complete article byline is recorded; individual roles remain source-bound. Neri’s follow-up and its own erratum distinguish looping routines, restricted input domains and hardware-specific timings; read the linked challenge before generalizing shortest-program or speed claims.",
    "references": [
      {
        "title": "Mankowitz et al., Faster sorting algorithms discovered using deep reinforcement learning (2023)",
        "url": "https://www.nature.com/articles/s41586-023-06004-9",
        "locator": "Retained catalogue source evidence; Bibliography and stated result; no full proof audit"
      },
      {
        "title": "Publisher-deposited byline: Faster sorting algorithms discovered using deep reinforcement learning",
        "url": "https://api.crossref.org/works/10.1038/s41586-023-06004-9",
        "locator": "Retained catalogue source evidence; Complete ordered publisher-deposited author list and exact DOI inspected, checked against accessible primary author information. This is byline curation, not a new scientific review or individual role allocation."
      },
      {
        "title": "Cassio Neri, Shorter and faster than Sort3AlphaDev, arXiv:2307.14503v1 (2023)",
        "url": "https://arxiv.org/pdf/2307.14503v1",
        "locator": "Retained catalogue source evidence; All five pages read; Listing 1 and Listing 2 visually checked. Looping versus branchless programs, benchmark setup and no-originality statement retained. Native compilation and timings not reproduced."
      },
      {
        "title": "Author repository: Sort3 erratum and later contribution credit, commit 431ac0efcc216792f10e8f23d24a8ee387b3c348",
        "url": "https://raw.githubusercontent.com/cassioneri/sort3/431ac0efcc216792f10e8f23d24a8ee387b3c348/README.md",
        "locator": "Retained catalogue source evidence; Read the author correction restricting Sort3_15 to non-negative inputs and the separate acknowledgment of later Bernhard Kauer contributions."
      },
      {
        "title": "Author repository: sort.h, commit 431ac0efcc216792f10e8f23d24a8ee387b3c348",
        "url": "https://raw.githubusercontent.com/cassioneri/sort3/431ac0efcc216792f10e8f23d24a8ee387b3c348/sort.h",
        "locator": "Retained catalogue source evidence; Read the original AlphaDev reference, separately credited Kauer routine, Sort3_14 loop and Sort3_15 unsigned-carry lookup implementation. Source retained as text; no compilation or execution."
      }
    ],
    "roles": [
      {
        "who": "The research collaboration listed in the linked record and source byline",
        "credit": "SCIENCE",
        "did": "Collective scoped contribution. The complete recorded byline remains in the research record; this label does not collapse people into one individual."
      },
      {
        "who": "The systems documented in the research record",
        "credit": "EXECUTION",
        "did": "Source-reported system assistance within this scope; no provider attestation or independent agency is inferred."
      }
    ],
    "target": {
      "record_id": "urn:uuid:2f12b96d-0361-461b-a3dd-f79dffcb23da",
      "version": 2,
      "content_hash": "sha256:d4589104051a29d8fd991f5a666daab15fdd9c199a8274c642791f42f39b6196"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "1800"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}