{"data":{"event":{"id":"2ea71b1c-1f22-41e4-be71-61dd65635475","slug":"gpt56-sol-short-superpermutations","title":"GPT-5.6 Sol / Codex produces shorter superpermutations for n=8, 9, and 10","short_summary":"On 26 July 2026 Epoch recorded new superpermutation constructions for n=8, 9, and 10 that beat prior upper bounds, accepted by an exact verifier, from a GPT-5.6 Sol / Codex session.","full_description":"A superpermutation on n symbols contains every permutation as a contiguous block. Minimal lengths for n≥8 are a long-running computational problem. Epoch’s FrontierMath open-problem page marks the improved sequences Solved (AI) with an exact verifier. Credit is the named Sol release used via Codex, not Astra.","ledger_type":"benefit","primary_domain_id":"23d935bb-b857-4b2b-9471-d568bb848a66","event_status":"provisional","event_date":"2026-07-26T00:00:00.000Z","discovery_date":"2026-07-26T00:00:00.000Z","first_published_date":"2026-07-26T00:00:00.000Z","last_reviewed_date":"2026-07-26T00:00:00.000Z","geographic_scope":"International","affected_population":"Combinatorics research community","base_impact_tier":2,"base_score":"3.00","attribution_multiplier":"0.6500","evidence_multiplier":"0.5000","realization_multiplier":"0.7000","durability_multiplier":"0.5500","current_event_score":"0.375400","confidence_level":"medium","score_explanation":"Improved explicit superpermutation lengths are notable constructions (tier 2), not a closed theory. Sol/Codex co-developed them (0.65). Evidence is an exact verifier (0.50). Realization is finite accepted sequences (0.70).","methodology_version_id":"d7881163-fb23-4e71-8625-bac1a8662c0f","original_methodology_version_id":"d7881163-fb23-4e71-8625-bac1a8662c0f","published_at":"2026-07-26T00:00:00.000Z","created_at":"2026-09-13T22:56:05.431Z","updated_at":"2026-09-13T22:56:05.431Z","flags":[],"domain_name":"Mathematics","domain_slug":"mathematics","methodology_version":"0.1"},"contributions":[{"id":"13bd32b5-a4c1-4560-bbaf-e64aa19ff92d","event_id":"2ea71b1c-1f22-41e4-be71-61dd65635475","model_id":"8caf038b-a43c-49d6-bd85-c3ff83dbd402","role_description":"Named Sol release, used in a Codex session, that produced the shorter n=8,9,10 superpermutations Epoch accepted.","attribution_multiplier":"0.6500","credit_share":"1.0000","contribution_score":"0.375400","attribution_rationale":"Epoch and the compiled sheet credit a GPT-5.6 Sol / Codex session, not Astra.","attribution_confidence":"medium","first_used_date":"2026-07-26T00:00:00.000Z","model_version_if_known":null,"review_status":"approved","created_at":"2026-09-13T22:56:05.431Z","model_slug":"gpt-5-6-sol","model_name":"GPT-5.6 Sol","identity_class":"named_release","is_internal":false,"family_name":"GPT-5.6","family_slug":"openai-gpt-5-6","organization_name":"OpenAI","organization_slug":"openai"}],"sources":[{"id":"b558b154-f2d3-461f-b10d-52af7ef6ee2b","event_id":"2ea71b1c-1f22-41e4-be71-61dd65635475","url":"https://epoch.ai/frontiermath/open-problems/superpermutations","canonical_url":"https://epoch.ai/frontiermath/open-problems/superpermutations","source_type":"other","publisher":"Epoch AI","author":null,"publication_date":"2026-07-26T00:00:00.000Z","retrieved_at":"2026-09-13T22:56:05.431Z","title":"Short superpermutations (FrontierMath Open Problems)","excerpt":null,"content_hash":null,"source_reliability_class":"medium","is_primary_source":true,"is_independent":true,"is_peer_reviewed":false,"archived_url":null,"created_at":"2026-09-13T22:56:05.431Z"}],"claims":[{"id":"cc8e5f76-354b-4486-8e51-e6cc6bc4f7ff","event_id":"2ea71b1c-1f22-41e4-be71-61dd65635475","claim_text":"New superpermutation sequences for n=8, 9, and 10 beat prior upper bounds and were accepted by Epoch’s exact verifier.","claim_type":"outcome","claim_status":"supported","confidence_score":null,"created_at":"2026-09-13T22:56:05.431Z","updated_at":"2026-09-13T22:56:05.431Z"}],"revisions":[{"id":"689971de-6c2a-4e78-a8d4-a4cb15d87d59","event_id":"2ea71b1c-1f22-41e4-be71-61dd65635475","model_id":null,"previous_score":"0.000000","new_score":"0.375400","previous_factors":{},"new_factors":{"evidence":0.5,"base_score":3,"durability":0.55,"attribution":0.65,"realization":0.7},"change_reason":"Imported events under methodology 0.1.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-09-13T22:56:05.431Z"}],"secondary":[{"name":"Computer Science","slug":"computer-science"}]},"methodology_version":"0.1"}