{"collections":{"members":{"count":536,"page_size":256,"pages":["numbers/members/1b3ea5caada0354cd50ee655.json","numbers/members/005cec922f5398366bef728c.json","numbers/members/c5035f3cda5b296ba959f7bd.json"]},"observations":{"count":536,"page_size":256,"pages":["numbers/members/2d2c19ec76010eecc12c9cc4.json","numbers/members/1040106c25f04cc3d19be887.json","numbers/members/eef3bd95d192b4512525e803.json"]},"universe":{"count":536,"page_size":256,"pages":["numbers/members/90a7c3b441be2a20aa672d53.json","numbers/members/69832219be7ed2f9836f7823.json","numbers/members/3079908ea8b84eff60717751.json"]}},"generation_id":"sha256:e44fe048bf34d4e55b76af0e42f931ce1121c5c189edf0e8cd6061a5902b3e47","kind":"number-receipt","number":{"aggregation":"count","credit":{"boundary":"Inventory or textual extraction; no proof execution, scope review or exhaustive discovery is implied.","inputs":[{"credit":"Will Cook, OpenAI Math Atlas; source manuscripts and Lean quotations credited to OpenAI.","kind":"attributed-extraction","license":"Apache-2.0","pin":"8056826bbd00caea871ad036bd295182e2bef3e2","sha256":"sha256:c07f9b04d169dfc16d7291b629ab7d24f31997322fdab1bfaad86c204ad136a9","source":"data/statements.json"}],"kind":"computed-from-captured-ledger","pin":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","repository":"https://github.com/openai/math","source_fields":[{"path":"../ledger.json","pointer":"/challenges"}]},"hash_scope":"complete-receipt-except-sha256","issues":[],"key":"distinct_target_theorems","rule":"Distinct (solution_module, theorem_name) pairs, with every contributing configuration retained.","sha256":"sha256:b87ec3868fc7db853fecd174c8faaf95f26d6807f9d3f13efb50403da358f66f","state":"computed","unit":"configured target identities","value":536},"pin":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","reconstruction":"Concatenate each named collection in page order and restore it on number. The logical receipt digest binds the complete record; page hashes alone do not establish the aggregate.","release_id":"openai-math","schema":"statement-map-web/2"}