{"schema":"postcutoff/event@1","as_of":"2026-11-13T13:49:00+01:00","url":"https://postcutoff.com/e/2023-06-07-alphadev-sorting/","md":"https://postcutoff.com/e/2023-06-07-alphadev-sorting/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2023-06-07-alphadev-sorting","date":"2023-06-07","date_precision":"day","short_title":"AlphaDev discovers faster small-sort routines, merged into LLVM's C++ standard library","deck":null,"takeaway":"AlphaDev (Nature, 7 Jun 2023) treated writing assembly as a game and found sort3/sort4/sort5 routines shorter than human versions; they were merged into LLVM libc++.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"disputed","labels":["Disputed"]},"sources":[{"n":1,"title":"Faster sorting algorithms discovered using deep reinforcement learning (Nature)","url":"https://www.nature.com/articles/s41586-023-06004-9","type":"paper","group":"primary","domain":"nature.com"},{"n":2,"title":"DeepMind: AlphaDev discovers faster sorting algorithms","url":"https://deepmind.google/blog/alphadev-discovers-faster-sorting-algorithms/","type":"official","group":"primary","domain":"deepmind.google"},{"n":3,"title":"Cassio Neri: shorter and faster than Sort3AlphaDev (arXiv 2307.14503)","url":"https://arxiv.org/abs/2307.14503","type":"discussion","group":"reactions","domain":"arxiv.org"}],"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Google DeepMind"],"title":"AlphaDev discovers faster small-sort routines, merged into LLVM's C++ standard library","summary":"AlphaDev (Nature, 7 Jun 2023) treated writing assembly as a game and found sort3/sort4/sort5 routines shorter than human versions; they were merged into LLVM libc++. Critics argued the gains were small tricks a compiler or GPT-4 could also find.","key_facts":["Sort routines merged into LLVM libc++, used by millions of programs","DeepMind: up to 70% faster for short sequences, ~1.7% for sequences >250k elements","Critics: essentially a known sorting network plus one removed mov instruction; Cassio Neri published a shorter, faster sort3 (arXiv 2307.14503)"],"key_numbers":[],"tags":["algorithms","sorting","reinforcement-learning","compilers"],"science":{"field":"computer-science","subfield":"algorithms / program synthesis","problem":"Optimal assembly for fixed-size sorting","result":"RL-discovered sort3–sort5 routines with fewer instructions than human-written libc++ code, adopted upstream.","open_since":"","ai_system":["AlphaDev"],"human_role":"Autonomous search; humans integrated code into LLVM","verification":{"key":"peer-review","label":"Peer-reviewed","text":"Peer-reviewed in Nature; code merged into LLVM"},"status":"disputed","shock":""},"body_md":"## What happened\n\nAlphaDev found instruction sequences for sorting 3–5 elements that saved instructions over decades-old library code. LLVM maintainers accepted them.\n\n## Why it matters\n\nIt was AI-discovered code shipping in core infrastructure, though experts argued about how novel the discovery really was.","disputed":[],"related":[{"id":"2022-10-05-alphatensor-matrix-multiplication","url":"https://postcutoff.com/e/2022-10-05-alphatensor-matrix-multiplication/","date":"2022-10-05","date_precision":"day","short_title":"AlphaTensor discovers faster matrix multiplication algorithms, beating Strassen's 1969 record for 4×4 mod 2","deck":null,"takeaway":"It was the first AI-found improvement to a famous algorithmic record.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["DeepMind"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-09-29","type":"filed","text":"Created"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-09-29","run":null,"sources_read":null,"updated":"2026-09-29","human_review":null,"version":{"date":"2026-10-04"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":null,"in_training_data":true},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":null,"in_training_data":true},{"model_id":"gemini-4-hydrogen","name":"Gemini 4 Hydrogen","cutoff":"2026-03","days_after":null,"in_training_data":true},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":null,"in_training_data":true}],"short_url":null}