{"collections":{"members":{"count":16077,"page_size":256,"pages":["numbers/members/f16fcbb704caf646eaa2b673.json","numbers/members/36cf92a1e1943a8336e7510d.json","numbers/members/a0caafebb423c7a19e532d56.json","numbers/members/c434abe5eb64a6009d406142.json","numbers/members/ad36047e3c951222d8103f0b.json","numbers/members/f171b8dc23b7aee3ad1aa547.json","numbers/members/b96bdca6ba276bea29204f61.json","numbers/members/062bea4c62aa34559bad8d54.json","numbers/members/842d892917479212f8b418aa.json","numbers/members/355095696e41086548306d93.json","numbers/members/3d6d74a684050f17eace0b9e.json","numbers/members/ee98bc1c4d13c0c6f58e6e30.json","numbers/members/dd66d7b5330d10db7194792b.json","numbers/members/77ebc5ca47c8a53df55f245e.json","numbers/members/3efcb74845dbcd64897146c2.json","numbers/members/e40ce05dc80cb482fbfe4643.json","numbers/members/7cba257f266d5bb5f0c74ad4.json","numbers/members/45e91a621a70d0a669651cbd.json","numbers/members/bd7e12ae640ec833ac0bd0b4.json","numbers/members/b46d8a92f9fdae716bb54833.json","numbers/members/2c97cf90755eacd6f89be92f.json","numbers/members/a34b3d1736af7aded8ebcac7.json","numbers/members/be10625b14e399e9f2c1005f.json","numbers/members/8ae427229c6101c667d15549.json","numbers/members/75d596adb6095823029616a2.json","numbers/members/4f5e9026c1d49390ea3aff06.json","numbers/members/31662bd43019f7146d7b62d2.json","numbers/members/a24b633d93c02bc2b17fe35d.json","numbers/members/73a22f5027396109d7d20aee.json","numbers/members/231f254a5ab413ec586ed8b6.json","numbers/members/955f2ace23d8c9008036f60d.json","numbers/members/46f1ea623f1c35d287c2efba.json","numbers/members/7f32000c4c2699fa14830d27.json","numbers/members/6a947ba47e7df2a9a2a077f2.json","numbers/members/eec377e432f84558e513da16.json","numbers/members/aad009b2fe8653801b3abf53.json","numbers/members/53bc6dd897b1bfcfea49c78f.json","numbers/members/49daffb4dd97eaf468192803.json","numbers/members/b994f6748eedbaf4bd651b27.json","numbers/members/88930568c5ae86385ffdebe1.json","numbers/members/5e1322c6b5c866a1f350a6f3.json","numbers/members/92249b3b016d1ae4052fe3a3.json","numbers/members/e4e47e93034f66894dd917e2.json","numbers/members/43ed7521bd81882a1e4ca23f.json","numbers/members/0fdaec27e3e969d9f4b6e52e.json","numbers/members/13c754ef2825924c86d1fc8d.json","numbers/members/b3f3d1dd67eec879f0dd5aa0.json","numbers/members/41488fa75267109d2b53a1ef.json","numbers/members/35b83656fa452ed90f025bc7.json","numbers/members/bb8cc19130c7880e8811ec9b.json","numbers/members/12f00a989836d4200febbed2.json","numbers/members/560597e5c8bb9d97219728dd.json","numbers/members/afd3bb2fb58767449ffa89e6.json","numbers/members/a7c122cffbb5253349945017.json","numbers/members/f7c4bd61430da23568097b1e.json","numbers/members/47b16b2d5b7b7f994c1c03d0.json","numbers/members/7c29084f9f0560a264027516.json","numbers/members/74f240ffe71e40c5d7495aa3.json","numbers/members/42c62ed335558938d2b10d09.json","numbers/members/1b0805f82ecb1b27ca3b1a00.json","numbers/members/1c7b7b6f903e7c6a2fe4d737.json","numbers/members/c5b427e4f3e8285098281f91.json","numbers/members/b3e062ecab39ea07464f7ded.json"]},"observations":{"count":16077,"page_size":256,"pages":["numbers/members/1f1a2a81fe63343624477fcd.json","numbers/members/8e926bfc08c57be7db70c33d.json","numbers/members/cead5d9248fa392e44f437e5.json","numbers/members/ecc3c1c0d247ac3fc241a188.json","numbers/members/53453a007e55eb3f856aa889.json","numbers/members/d2945d22b5744410eb47cd33.json","numbers/members/802e6c50114d8ca1c76f5abd.json","numbers/members/8e3946b6e90396a1b47e61ff.json","numbers/members/2915ff5df601463200928adc.json","numbers/members/12c03bcbfb229073fb55de84.json","numbers/members/d80f810a1e0a9d148a39f98d.json","numbers/members/ed4261f99884e18723903dfa.json","numbers/members/76a748ccaf7282fbb06d6498.json","numbers/members/d63c17e6cafa7e10f0db21ba.json","numbers/members/b73cd409426b043bf8e6d150.json","numbers/members/b5e9a217d21b8147f2cb8252.json","numbers/members/0179fc036653a558de51173f.json","numbers/members/6bef60d6571f9433bc009ab3.json","numbers/members/23693255b0682636e231f1b3.json","numbers/members/2ac37c49922b7ef683143e4b.json","numbers/members/06aedc5534fc74fb6cfe5125.json","numbers/members/ea6a8f11e91a11f27db5b8a0.json","numbers/members/2d5e362528c2802890f3666a.json","numbers/members/c1034834ecc3e29637380513.json","numbers/members/4316bd368f7acb0d4be0084a.json","numbers/members/75c7f1b9b9cf9ef6338090f7.json","numbers/members/2094c43dce912ba76031f9f5.json","numbers/members/8d403e82298b81bbdb22a39f.json","numbers/members/b6af5967506b4365e18c3a21.json","numbers/members/c80745ab1b1810aecf40317a.json","numbers/members/1b507665da8de4d9b7f0a1c1.json","numbers/members/8325c0e7b3d98cea498ca41e.json","numbers/members/400031b4fdea95706d63c55b.json","numbers/members/4b48490fc169795a2cd9a7b4.json","numbers/members/2f8c2fa4632c9eb8358ff4f7.json","numbers/members/dc4e5f7e66d057c820870bb5.json","numbers/members/9550bd707d3d3b37d71adff8.json","numbers/members/e76f473e82e4063712e5a561.json","numbers/members/4386a163dbf0cff772b5f40f.json","numbers/members/7db5ec47c78b97ca4587125c.json","numbers/members/c72f234d55ad707c8516de34.json","numbers/members/5ab87a77d9464d204b42a366.json","numbers/members/6a4f92a426477f2452445047.json","numbers/members/21d25553a1ed0a9ac6413349.json","numbers/members/4a44d782e22a9ab8682e31ea.json","numbers/members/8ef19f296d6e4b8881fa9226.json","numbers/members/dad6cb8cff2aca8c7c0d0ae7.json","numbers/members/b6c1d7fec7d21ebf6fc6fab6.json","numbers/members/9846eb757a5ddc54a60b3cf1.json","numbers/members/eb05240f4de9b88a31c4aceb.json","numbers/members/679f3eeb0647030b815a2697.json","numbers/members/887ceb1b48155872101909e4.json","numbers/members/238f4f2431d785f230c4483c.json","numbers/members/73fed0c6184f5746ae017bfb.json","numbers/members/4f0fa11e7b19b8dd3bcaeca7.json","numbers/members/01a056e7e725116fce4a3405.json","numbers/members/d7851d6f8e61325963d84fe0.json","numbers/members/558d686b319da2d61cf696c4.json","numbers/members/7651d3d154d8cf73d99c1e4c.json","numbers/members/a1a7250370a2a4857d6b54ac.json","numbers/members/367d8b0567aea6f6129d0497.json","numbers/members/18d8af529607059f1283244d.json","numbers/members/33c92a020624219c14be0061.json"]},"universe":{"count":16077,"page_size":256,"pages":["numbers/members/a12197e17681c16ec5b68a74.json","numbers/members/4060f0198702197da4326822.json","numbers/members/c95353bff1b54beff8aa0a8f.json","numbers/members/552fb1c9a778a33c102ae581.json","numbers/members/acd4e9b3f1a55e8f15ee2b7f.json","numbers/members/30fb7528e8d7dee0686410d9.json","numbers/members/825cbd3da267da256bad50d2.json","numbers/members/a28c04c121ce14a0edcf7e43.json","numbers/members/30505369f23f655dc2f46a78.json","numbers/members/8c96d4913dcef9b3b505feea.json","numbers/members/69be58b5df1898da78b9eb3e.json","numbers/members/2a331682d29ad4db164eca2d.json","numbers/members/32eb7cce3d83c96165e250af.json","numbers/members/49b22f803b0c2078650c8791.json","numbers/members/81aab8a305861f304910e7bf.json","numbers/members/9d1c5c0e86ca2e37e3f2c8ae.json","numbers/members/386380adba290f58fe8c3624.json","numbers/members/59629017b02729fbd1469502.json","numbers/members/f91b5902d88d2cc278814f4b.json","numbers/members/939021006abe476750f2aa94.json","numbers/members/e11167e6a35589d1c1ef71b9.json","numbers/members/c744dab736fffac28fa7c0f1.json","numbers/members/bb84a87bc81b23fea02cb05e.json","numbers/members/fff32188441d14d7e4f2b265.json","numbers/members/38dc0c0ed925739beeac8841.json","numbers/members/2332f13f63591101c02825e7.json","numbers/members/398b9436a1f4c59a80b899d6.json","numbers/members/5769ba97ba362adc30257175.json","numbers/members/28b8892298dd742f1aba2b50.json","numbers/members/666a4c91729dc7e7bbd04a61.json","numbers/members/9bf0feaf08f45e1019c72803.json","numbers/members/5acb1a76871ad97543b0daaf.json","numbers/members/adc58d58723bf57f52bfbd21.json","numbers/members/8fb58ac13dfd96da96822d8b.json","numbers/members/e02df0c2503e7d00d0980dee.json","numbers/members/200085adcfd9110c99f57744.json","numbers/members/b9f2585ef81fdd891b7a5e02.json","numbers/members/5dc6ef8cc719ad48cb772920.json","numbers/members/375004ffa943c5c626362ea2.json","numbers/members/771b2805b86354f84e7f0ef2.json","numbers/members/00370ff00ec8c8b5ae5463be.json","numbers/members/faa20c388e4a06ac3263a211.json","numbers/members/f3dbbf1524ac1475cefcde7d.json","numbers/members/fdcc61fcbb4ebb4ada140c9b.json","numbers/members/87f0379aad07c9f2e8664abe.json","numbers/members/92c151bc2c3fb17a19ad4a74.json","numbers/members/5e9c1ae3929a6dd589894a40.json","numbers/members/22d08191c4e3f4ba89a43e21.json","numbers/members/8a1ea41698ade54339339cd8.json","numbers/members/c7107695f959d2e58e0b12a2.json","numbers/members/3f2db33a09cabd27095803de.json","numbers/members/00fbf084583a57c3e042a3bc.json","numbers/members/c9d9518dab702fd98283f61e.json","numbers/members/dc461bba8007c25ae2c3e803.json","numbers/members/4bbb9d2eebc9511cdc6a7a4c.json","numbers/members/ecb97d3a73aa75c577ee63b6.json","numbers/members/20e35283d54ee7d2f5e45027.json","numbers/members/60f9d5337ac144df3bbcc6b6.json","numbers/members/b4f5957f35cca02a1a6a2e18.json","numbers/members/48ad2b06f7a1f1d1be6f4c92.json","numbers/members/52eeab0b7d046eca57c6182c.json","numbers/members/2176b460bc79f5eb34742c20.json","numbers/members/84a4af4bd606c46cb59d1a7f.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:cc051f78a9def390c8504bc276449e72b9b289623643e23d55b1034007f99d6c","source":"data/manuscripts.json"},{"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:652edcd56c33b5dc9b4be2ff2d5fd1b293fd3f9ce4ae73944fef575f98116fdc","source":"data/works.json"}],"kind":"computed-from-captured-ledger","pin":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","repository":"https://github.com/openai/math","source_fields":[{"path":"../ledger.json","pointer":"/manuscripts"},{"path":"../ledger.json","pointer":"/works"}]},"hash_scope":"complete-receipt-except-sha256","issues":[],"key":"external_citations","rule":"Distinct (current manuscript ID, external bibliography key) occurrences; different keys grouped as one work remain distinct citations.","sha256":"sha256:909a1866abc5ce082230aaffb2356ab34fe709d62ff5b515958bd4c8f117dfe5","source_comparison":{"boundary":"Reported comparison only; the computed value uses the receipt membership and selection rule.","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:eb49d29733173039adccb27b75e56b3d8a77b07aab80c2c9d9a769c9a2c56bc8","source":"data/summary.json"}],"kind":"attributed-source-report","pin":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","repository":"https://github.com/openai/math","source_fields":[{"path":"../ledger.json","pointer":"/source_baseline_summary"}]},"definition":"Resolved bibliography keys in current manuscripts' TeX sources that point outside the collection, each manuscript and key counted once.","detail":{"path":"../ledger.json","pointer":"/source_baseline_summary/external_citations"},"kind":"source-reported-aggregate","reported_receipts":[{"key":"external_citations","rule":"Bibliography keys resolved to a reference outside the collection, each manuscript and key counted once.","source":"scripts/build_data.py","unit":"resolved external reference keys","universe":"openai/math at fd4aeeb2ee4f, current manuscripts' bibliographies","value":16077}],"value":16077},"state":"computed","unit":"manuscript/bibliography-key pairs","value":16077},"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"}