{"collections":{"members":{"count":11019,"page_size":256,"pages":["numbers/members/4477b4c9815ac22ca26b59cb.json","numbers/members/25533f491b706b3e218ef6b0.json","numbers/members/9762b0024e5af67cccd92738.json","numbers/members/f52b43cc32a5b76baae55650.json","numbers/members/d47343a47205e9003dc7e2ce.json","numbers/members/85f7cda81e25c49dc84d01c5.json","numbers/members/35b1cb75f28654e8c0c20237.json","numbers/members/78fcd8ac50b31e70d406c395.json","numbers/members/8d2bd3beb3e7d6628919198b.json","numbers/members/1bc9a731a3acf038a95f792d.json","numbers/members/6dd0e7da41a0d4de9447b4a6.json","numbers/members/976752fde738d6247bf6cc91.json","numbers/members/5751131d570b5df4f213b210.json","numbers/members/5c716b0e1976cd69e8b52135.json","numbers/members/907f0e780e08e0439602dd5a.json","numbers/members/e9575f5811fcff33f0a6fa0e.json","numbers/members/7ebdbc1796af0eccf29e7f5b.json","numbers/members/2f506d92a8549a3fa29ad1cf.json","numbers/members/20bae973fe97380aba53e3e3.json","numbers/members/0d0ef00e9dcefdb1cbaa3f41.json","numbers/members/03fa7e68bbce706ba92c5e42.json","numbers/members/a23f2d31718cf8a52883c3af.json","numbers/members/8c998c8b0ad5be8d7fcc32fa.json","numbers/members/6ecf2a753339474f23ceb1d4.json","numbers/members/a5ae8d6ac6100e8786a7c4c4.json","numbers/members/c38c94461d9c311d5d99a02f.json","numbers/members/cd932ce5608bab5679af00d4.json","numbers/members/cbf2a494b2feb55bf851ea79.json","numbers/members/2fe449d841f6df89bfedb983.json","numbers/members/1126bbbfadb75eb0d4971c48.json","numbers/members/b4e61b8f2af5f2fbea5b04b9.json","numbers/members/ce7b27c6d3f0fd8e64366720.json","numbers/members/1f8a18d9b27562ff379dcbf6.json","numbers/members/83f88f34883d0ad142d48866.json","numbers/members/d473e27c3e51abba2de360d8.json","numbers/members/0dc69238b6d7f25bca719451.json","numbers/members/23c8beb34bfbff3c765f10ed.json","numbers/members/2951c24e092b92eb0af20fbc.json","numbers/members/f2ce2ec6c9207ad9e747ecb2.json","numbers/members/40482ef9c614050510135d6b.json","numbers/members/1cb0028d67d9613052e32daa.json","numbers/members/4c22459e6d41ca1450f9e590.json","numbers/members/5dfa1361526710cce6a98c54.json","numbers/members/c604c2506af5f71b5d4105a1.json"]},"observations":{"count":11019,"page_size":256,"pages":["numbers/members/52dd9a53aaf15ec6b416f11d.json","numbers/members/e8eff4efd4f327eab6778ab1.json","numbers/members/d1f8cf9137397446ad9c7f2a.json","numbers/members/a33d1fe727799f147ada5d95.json","numbers/members/f38fcbe7b5786d3aff6ee52d.json","numbers/members/fc6fefba6700ccbbe824d106.json","numbers/members/75c67ed0033b282502b2641b.json","numbers/members/9b1f74ee133f86978bd7d302.json","numbers/members/04191591d8180d3a0e671a65.json","numbers/members/b70b4cf2a3e07334fafbf7f3.json","numbers/members/07fe17bb4f7241709c83857d.json","numbers/members/d4e1a10b7281eec8b13f7dcf.json","numbers/members/09ca826be52b8b66cbbf9e50.json","numbers/members/23c56d57ca3f8a3ab8e9cc9a.json","numbers/members/02cdfbf3ccb320f2063d35db.json","numbers/members/ae577d8e4b9aac2cd4af2212.json","numbers/members/799fdcd1c463836712029d62.json","numbers/members/da86d743fcecc04db14a2ed9.json","numbers/members/eb96c837a745558af49cfda5.json","numbers/members/0206ea299c4552f7d0839534.json","numbers/members/ad8b3b157815747d6aec243c.json","numbers/members/c23af125b07f1c67f8ec71a6.json","numbers/members/974f4c7a5f3f2ef093732efb.json","numbers/members/7f50dabf677c9fbd747591c2.json","numbers/members/f42bb2e0e4df3f3209e91772.json","numbers/members/9b257f9a078511cbceac5c85.json","numbers/members/3924ddb7b4fbb4e5dcaf5d62.json","numbers/members/a4ec06062403670f631bd23d.json","numbers/members/0feb93268713c40e7a8f6091.json","numbers/members/a2fcfb902f5df9f013ac1f19.json","numbers/members/cae84190feced2ae7cabf702.json","numbers/members/a26b4ebc5e2d43115ad6439b.json","numbers/members/dd4aa3c39c8e8a500b72f44e.json","numbers/members/fd4b88879fabda6331c3a252.json","numbers/members/74e2e0dabe48abb13b2a368a.json","numbers/members/9b2248b9536a37f5c61ba96e.json","numbers/members/48373ea3265253ce49cc99cd.json","numbers/members/51541f4dc89b5e04e9a63cfa.json","numbers/members/a2c83542c60f121ad8fbe76b.json","numbers/members/bd51c970d0c042d7933e8c85.json","numbers/members/f6566c57793e5ec480dbf43d.json","numbers/members/0dec3a6bd680a544bf104e95.json","numbers/members/f2ce72e5c32f64d445286f67.json","numbers/members/a418b7316096bbd7878aa2f5.json"]},"universe":{"count":11019,"page_size":256,"pages":["numbers/members/b1d2809b060ae2f922b8c58d.json","numbers/members/1ef14622ad667c2f26e6ffca.json","numbers/members/9fc3b23a626150e705351488.json","numbers/members/bae7d3761864a464dc32bf1a.json","numbers/members/bca4e808282d9a30615c00bd.json","numbers/members/628fd4214f15744dae1a04d6.json","numbers/members/9d2f91d162e4c06c02451232.json","numbers/members/b29570522e61cc158a831483.json","numbers/members/6ae35e136b463564433fe4b8.json","numbers/members/0e77fa44b06606e418b0e1c0.json","numbers/members/8b76570f894cf0cbdeb64e32.json","numbers/members/accd2ab2980cb3967fa7daec.json","numbers/members/75acda52b79f31e67fb989d5.json","numbers/members/27fe38851226486f07c45f13.json","numbers/members/8ca999e169a684456824646a.json","numbers/members/7427cc313457076eb7f36775.json","numbers/members/e96e75f4617533dc9621cf80.json","numbers/members/fe5b63fafa0d6fa1459e022a.json","numbers/members/551420ccb02c09a7a34170a4.json","numbers/members/78a8eca4ffcf23bd67208fd9.json","numbers/members/cc3d98ba6dddb27c5ced38c3.json","numbers/members/04e57205e8ec7316d9413041.json","numbers/members/372876ea4810513b0436d6c2.json","numbers/members/1245756c4f4f7385ddb85de7.json","numbers/members/4d7d169a4308273ec085b76d.json","numbers/members/c59d60033c35d59cb6188261.json","numbers/members/643eb6117e4ed60aaad73f8b.json","numbers/members/76041850e2a934a3a2e1ea64.json","numbers/members/973b9cd138bf72b3c53524f9.json","numbers/members/5eff0690e2b4013ec47e25e4.json","numbers/members/6b5e6370d43c5fb644129a17.json","numbers/members/bc83f9bdc80f5fa55b6d75c0.json","numbers/members/52c9e15d9536c4b78f43e5c0.json","numbers/members/a0927cca1b8b86bc05eb6a07.json","numbers/members/0dcc6a2f2b37c20065e743b9.json","numbers/members/ae45f6069f43dc8fe7af4cbb.json","numbers/members/a42e6b79268565a4c3004ec4.json","numbers/members/e1b3ce27aebe1a964bba08d6.json","numbers/members/90bc7b53c784c8c25ecf1989.json","numbers/members/72dddb0b0de76ef1c3aa784b.json","numbers/members/425f4471ada2e443bba1a4df.json","numbers/members/7cdb9c57a3443f10732a84e8.json","numbers/members/a84fac37c29357e96f729096.json","numbers/members/2454c26be23d7fe3b01da8f2.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:652edcd56c33b5dc9b4be2ff2d5fd1b293fd3f9ce4ae73944fef575f98116fdc","source":"data/works.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:cc051f78a9def390c8504bc276449e72b9b289623643e23d55b1034007f99d6c","source":"data/manuscripts.json"}],"kind":"computed-from-captured-ledger","pin":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","repository":"https://github.com/openai/math","source_fields":[{"path":"../ledger.json","pointer":"/works"},{"path":"../ledger.json","pointer":"/manuscripts"}]},"hash_scope":"complete-receipt-except-sha256","issues":[],"key":"external_works_cited","rule":"Grouped external work IDs cited by current manuscripts. Automatic DOI, then arXiv, then normalized-title grouping with source alias rules is unaudited.","sha256":"sha256:60b8292f57053c50095a0ab0b8942156be5a5913b7dfac13f4e11a86b42cbb39","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":"References outside the collection grouped automatically by DOI, then arXiv id, then full normalised title; a title-only reference joins the one DOI or arXiv record with the same full title (and year, when both give one), keeping the merged keys as aliases in works.json. No person has audited the grouping, so a work can still be split or merged by mistake.","detail":{"path":"../ledger.json","pointer":"/source_baseline_summary/external_works_cited"},"kind":"source-reported-aggregate","reported_receipts":[{"key":"external_works_cited","rule":"References grouped by DOI, then arXiv id, then full title, with exact-title matches joined to their DOI or arXiv record and kept as aliases. Unaudited.","source":"scripts/build_data.py","unit":"automatically grouped references","universe":"openai/math at fd4aeeb2ee4f, current manuscripts' bibliographies","value":11019}],"value":11019},"state":"computed","unit":"automatically grouped works","value":11019},"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"}