{"data":{"event":{"id":"94dc0636-4e39-49ea-bc36-0168108529c9","slug":"openai-internal-math-manuscript-collection-2026-10","title":"OpenAI releases 722 mathematics manuscripts from an unreleased internal model","short_summary":"On 6 October 2026 OpenAI published 722 mathematics manuscripts grouped into 372 result families, produced mostly by an unreleased internal frontier model; some proofs have Lean formalizations, while others remain unverified.","full_description":"On 6 October 2026, OpenAI released a public collection of 722 mathematical manuscripts grouped into 372 families of related results. OpenAI says the vast majority were produced through a common procedure using an unreleased internal model; approximately 4,000 problems were posed, with about three hours of ChatGPT Pro thinking compute per result on average. The repository includes preprints, source files, citation and revision protocols, and Lean formalizations for many but not all proofs. OpenAI says some unformalized results could have issues and that additional formalizations will be added. The release includes claims about major open problems across mathematics, but this ledger entry treats the corpus as one provisional cluster and does not establish that every manuscript is correct or independently novel. Exceptions named by the repository include the Riemann zeta zero-free-region work and the Hodge conjecture result for CM abelian varieties; the 11/12 zero-free-region writeup was human-edited. Earlier individually recorded results from the same internal model, including the Navier–Stokes result, remain separate records and are not counted here as newly established theorems.","ledger_type":"benefit","primary_domain_id":"23d935bb-b857-4b2b-9471-d568bb848a66","event_status":"provisional","event_date":"2026-10-06T00:00:00.000Z","discovery_date":"2026-10-06T00:00:00.000Z","first_published_date":"2026-10-06T00:00:00.000Z","last_reviewed_date":"2026-10-06T00:00:00.000Z","geographic_scope":"International mathematics research community","affected_population":"Mathematicians and researchers with access to the public manuscript and proof-artifact repository","base_impact_tier":4,"base_score":"30.00","attribution_multiplier":"0.9000","evidence_multiplier":"0.3500","realization_multiplier":"0.6000","durability_multiplier":"0.9000","current_event_score":"3.827200","confidence_level":"medium","score_explanation":"A public corpus of 722 manuscripts across 372 result families is a Historic-scale mathematical research contribution if its central results withstand scrutiny (tier 4). OpenAI attributes the vast majority to the same unreleased internal research system already represented in the ledger (0.90); credit share is 0.75 to reflect human selection, grouping, editing exceptions, and the fact that this aggregate publication does not claim every result as exclusively model-produced. Evidence is a detailed public corpus and official account, not independent verification of the mathematics (0.35). Realization is a complete public manuscript collection with partial Lean formalization, not broad expert acceptance (0.60). Correct mathematical results are durable (0.90).","methodology_version_id":"8745541b-0f8e-4d5a-9b47-5291d3813a8d","original_methodology_version_id":"8745541b-0f8e-4d5a-9b47-5291d3813a8d","published_at":"2026-10-06T00:00:00.000Z","created_at":"2026-10-07T16:12:13.690Z","updated_at":"2026-10-07T16:12:13.690Z","flags":["Independent mathematical review pending","Not all manuscripts have Lean formalizations","Unreleased model identity","Aggregate corpus; individual results may be scored separately"],"domain_name":"Mathematics","domain_slug":"mathematics","methodology_version":"0.2"},"contributions":[{"id":"c3a84be0-9f25-4634-92ff-1ede6dcf0379","event_id":"94dc0636-4e39-49ea-bc36-0168108529c9","model_id":"8b0780ab-3f59-4f88-8ee4-00662f49a002","role_description":"Unreleased internal frontier model credited by OpenAI with producing the vast majority of the mathematics manuscripts in the October 2026 collection.","attribution_multiplier":"0.9000","credit_share":"0.7500","contribution_score":"3.827200","attribution_rationale":"OpenAI's official announcement and the repository identify an unreleased internal frontier model as the source of the broad collection. The repository names exceptions to the common generation procedure, and OpenAI researchers selected and grouped the manuscripts; individual earlier milestones remain separately represented.","attribution_confidence":"medium","first_used_date":"2026-08-28T00:00:00.000Z","model_version_if_known":null,"review_status":"approved","created_at":"2026-10-07T16:12:13.690Z","model_slug":"openai-internal-research-system-2026-09","model_name":"OpenAI Internal Research System — 2026-09","identity_class":"internal_unreleased","is_internal":true,"family_name":"GPT-6","family_slug":"openai-gpt-6","organization_name":"OpenAI","organization_slug":"openai"}],"sources":[{"id":"67973bb2-5ba0-45c2-a1ab-2001f0a9c638","event_id":"94dc0636-4e39-49ea-bc36-0168108529c9","url":"https://github.com/openai/math","canonical_url":"https://github.com/openai/math","source_type":"developer_announcement","publisher":"OpenAI / GitHub","author":null,"publication_date":"2026-10-06T00:00:00.000Z","retrieved_at":"2026-10-07T16:12:13.690Z","title":"openai/math: Mathematics manuscript collection","excerpt":null,"content_hash":null,"source_reliability_class":"low","is_primary_source":true,"is_independent":false,"is_peer_reviewed":false,"archived_url":null,"created_at":"2026-10-07T16:12:13.690Z"},{"id":"d1b2bb95-8794-434c-8295-0beaa1d2de83","event_id":"94dc0636-4e39-49ea-bc36-0168108529c9","url":"https://openai.com/index/sharing-ai-progress-in-mathematics/","canonical_url":"https://openai.com/index/sharing-ai-progress-in-mathematics/","source_type":"developer_announcement","publisher":"OpenAI","author":null,"publication_date":"2026-10-06T00:00:00.000Z","retrieved_at":"2026-10-07T16:12:13.690Z","title":"Sharing AI progress in mathematics","excerpt":null,"content_hash":null,"source_reliability_class":"low","is_primary_source":true,"is_independent":false,"is_peer_reviewed":false,"archived_url":null,"created_at":"2026-10-07T16:12:13.690Z"},{"id":"17da4f2e-64c3-4f1e-8a9b-25d00c9c30f9","event_id":"94dc0636-4e39-49ea-bc36-0168108529c9","url":"https://www.reddit.com/r/singularity/comments/1wzio50/openai_publishes_722_mathematical_proofs/","canonical_url":"https://www.reddit.com/r/singularity/comments/1wzio50/openai_publishes_722_mathematical_proofs/","source_type":"other","publisher":"r/singularity","author":null,"publication_date":"2026-10-07T00:00:00.000Z","retrieved_at":"2026-10-07T16:12:13.690Z","title":"OpenAI publishes 722 mathematical proofs & manuscripts","excerpt":null,"content_hash":null,"source_reliability_class":"low","is_primary_source":false,"is_independent":false,"is_peer_reviewed":false,"archived_url":null,"created_at":"2026-10-07T16:12:13.690Z"}],"claims":[{"id":"8c383925-768d-4e17-ba24-8df08d0059be","event_id":"94dc0636-4e39-49ea-bc36-0168108529c9","claim_text":"OpenAI published 722 mathematics manuscripts grouped into 372 result families in a public GitHub repository on 6 October 2026.","claim_type":"outcome","claim_status":"supported","confidence_score":null,"created_at":"2026-10-07T16:12:13.690Z","updated_at":"2026-10-07T16:12:13.690Z"},{"id":"8cecd43b-4bfb-48bf-b3e7-5e819c3b2dd9","event_id":"94dc0636-4e39-49ea-bc36-0168108529c9","claim_text":"OpenAI says the vast majority of the collection was produced with an unreleased internal model after posing approximately 4,000 problems.","claim_type":"attribution","claim_status":"supported","confidence_score":null,"created_at":"2026-10-07T16:12:13.690Z","updated_at":"2026-10-07T16:12:13.690Z"},{"id":"b4c38685-d50d-412b-86d5-d1188a90e491","event_id":"94dc0636-4e39-49ea-bc36-0168108529c9","claim_text":"Every manuscript in the collection has been independently verified and accepted by the mathematical community.","claim_type":"significance","claim_status":"disputed","confidence_score":null,"created_at":"2026-10-07T16:12:13.690Z","updated_at":"2026-10-07T16:12:13.690Z"},{"id":"dc120f76-b4fb-4eda-b53c-89aa36e4175f","event_id":"94dc0636-4e39-49ea-bc36-0168108529c9","claim_text":"All 722 manuscripts are accompanied by Lean formalizations.","claim_type":"outcome","claim_status":"disputed","confidence_score":null,"created_at":"2026-10-07T16:12:13.690Z","updated_at":"2026-10-07T16:12:13.690Z"}],"revisions":[{"id":"51f38af2-126b-41ef-8996-3fa99cb41d83","event_id":"94dc0636-4e39-49ea-bc36-0168108529c9","model_id":null,"previous_score":"0.000000","new_score":"3.827200","previous_factors":{},"new_factors":{"evidence":0.35,"base_score":30,"durability":0.9,"attribution":0.9,"realization":0.6},"change_reason":"Imported events under methodology 0.2.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-07T16:12:13.690Z"}],"secondary":[{"name":"Education & Knowledge Access","slug":"education-knowledge-access"},{"name":"Computer Science","slug":"computer-science"}]},"methodology_version":"0.1"}